Package org.checkerframework.checker.calledmethods

Class Summary

Class	Description
CalledMethodsAnalysis	The analysis for the Called Methods Checker.
CalledMethodsAnnotatedTypeFactory	The annotated type factory for the Called Methods Checker.
CalledMethodsChecker	The Called Methods Checker tracks the methods that have definitely been called on an object.
CalledMethodsTransfer	A transfer function that accumulates the names of methods called.
CalledMethodsVisitor	This visitor implements the custom error message "finalizer.invocation.invalid".