org.checkerframework.checker.objectconstruction.qual

Annotation Type CalledMethodsPredicate

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=CalledMethodsTop.class)
public @interface CalledMethodsPredicate

This annotation represents a predicate on @CalledMethods annotations that must be true. It is intended to extend the possible LUB of the @CalledMethods type system to permit methods to be annotated to require a disjunction of method calls. So, for instance, if it was acceptable to call method a() or method b() before calling method c(), then c()'s receiver should have an @CalledMethodsPredicate annotation with the argument "a || b"

The argument is a string. The string must be constructed from the following grammar:

S → method name | (S) | S && S | S || S

That is, the permitted elements are method names, parentheses, and the strings "&&" and "||". "&&" has higher precedence than "||", following standard Java operator semantics.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.String	value

Element Detail

value

public abstract java.lang.String value