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

Annotation Interface TestAccumulation

@Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf({}) @DefaultQualifierInHierarchy public @interface TestAccumulation
A test accumulation analysis qualifier. It accumulates generic strings.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    String[]
    value
    Accumulated strings.

  • Element Details

    • value

      String[] value
      Accumulated strings.
      Returns:
      the strings
      Default:
      {}