Checker Qual 3.38.0 · org.checkerframework.checker.calledmethods.qual

Annotation Summary

Modifier and Type	Annotation and Description
public @interface	CalledMethods If an expression has type `@CalledMethods({"m1", "m2"})`, then methods `m1` and `m2` have definitely been called on its value.
public @interface	CalledMethodsBottom The bottom type for the Called Methods type system.
public @interface	CalledMethodsPredicate This annotation represents a predicate on `@CalledMethods` annotations.
public @interface	EnsuresCalledMethods Indicates that the method, if it terminates successfully, always invokes the given methods on the given expressions.
public @interface	EnsuresCalledMethodsIf Indicates that the method, if it terminates with the given result, invokes the given methods on the given expressions.
public @interface	EnsuresCalledMethodsVarArgs Indicates that the method, if it terminates successfully, always invokes the given methods on all of the arguments passed in the varargs position.
public @interface	RequiresCalledMethods Indicates a method precondition: when the method is invoked, the specified expressions must have had the specified methods called on them.