Annotation Interface RequiresCalledMethods
@Documented
@Retention(RUNTIME)
@PreconditionAnnotation(qualifier=CalledMethods.class)
@Target({METHOD,CONSTRUCTOR})
public @interface RequiresCalledMethods
Indicates a method precondition: when the method is invoked, the specified expressions must have
had the specified methods called on them.
Do not use this annotation for formal parameters; instead, give their type a @
CalledMethods
annotation. The @RequiresCalledMethods
annotation is intended for other
expressions, such as field accesses or method calls.
- See the Checker Framework Manual:
- Called Methods Checker
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic @interface
A wrapper annotation that makes theRequiresCalledMethods
annotation repeatable. -
Required Element Summary
-
Element Details
-
value
String[] valueThe Java expressions that must have had methods called on them.- Returns:
- the Java expressions that must have had methods called on them
- See Also:
-
methods
The methods guaranteed to be invoked on the expressions.- Returns:
- the methods guaranteed to be invoked on the expressions
-