org.checkerframework.checker.calledmethods.qual

Annotation Type CalledMethodsPredicate

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=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

Required Elements

Modifier and Type	Required Element and Description
String	value A boolean expression constructed from the following grammar:

Element Detail

value

public abstract String value

A 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