Package org.checkerframework.framework.testchecker.testaccumulation.qual

Annotation Interface TestAccumulationPredicate

@Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(TestAccumulation.class) public @interface TestAccumulationPredicate
A test accumulation predicate annotation.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String
    value
    A boolean expression indicating which values have been accumulated.

  • Element Details

    • value

      String value
      A boolean expression indicating which values have been accumulated.
      Returns:
      a boolean expression indicating which values have been accumulated
      See the Checker Framework Manual:
      Checker Framework