Package org.checkerframework.checker.calledmethods.qual

Annotation Type 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

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

    • Element Detail

      • value

        java.lang.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