org.checkerframework.checker.calledmethods.qual

public @Interface CalledMethodsPredicate

Annotations

@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:CalledMethods

Imports

java.lang.annotation.ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf

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().

Method Summary

Modifier and Type	Method and Description
public String	Returns: the boolean expression 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 "\|\|".

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

value	back to summary
public 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:String the boolean expression

value

back to summary

public 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:String: the boolean expression