Package org.checkerframework.checker.calledmethods.qual

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

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

  • Element Details

    • value

      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