Package org.checkerframework.checker.calledmethods
package org.checkerframework.checker.calledmethods
-
ClassesClassDescriptionThe analysis for the Called Methods Checker.The annotated type factory for the Called Methods Checker.The Called Methods Checker tracks the methods that have definitely been called on an object.A transfer function that accumulates the names of methods called.This visitor implements the custom error message "finalizer.invocation".A postcondition contract that a method calls the given method on the given expression when that method throws an exception.