Package org.checkerframework.checker.calledmethods.qual
package org.checkerframework.checker.calledmethods.qual
-
Annotation InterfacesClassDescriptionIf an expression has type
@CalledMethods({"m1", "m2"}), then methodsm1andm2have definitely been called on its value.The bottom type for the Called Methods type system.This annotation represents a predicate on@CalledMethodsannotations.Indicates that the method, if it terminates successfully, always invokes the given methods on the given expressions.A wrapper annotation that makes theEnsuresCalledMethodsannotation repeatable.Indicates that the method, if it terminates with the given result, invokes the given methods on the given expressions.A wrapper annotation that makes theEnsuresCalledMethodsIfannotation repeatable.Indicates that the method, if it terminates successfully, always invokes the given methods on all of the arguments passed in the varargs position.Indicates a method precondition: when the method is invoked, the specified expressions must have had the specified methods called on them.A wrapper annotation that makes theRequiresCalledMethodsannotation repeatable.