Annotation Interface CalledMethodsPredicate
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(CalledMethods.class)
public @interface CalledMethodsPredicate
This annotation represents a predicate on
@
CalledMethods
annotations. If method
c()
's receiver type is annotated with @CalledMethodsPredicate("a || b")
, then it
is acceptable to call either method a()
or method b()
before calling method
c()
.- See the Checker Framework Manual:
- Called Methods Checker
-
Required Element Summary
-
Element Details
-
value
String valueA boolean expression constructed from the following grammar:S → method name | S && S | S || S | !S | (S)
The expression uses standard Java operator precedence: "!" then "&&" then "||".
- Returns:
- the boolean expression
-