Package org.checkerframework.checker.testchecker.ainfer.qual

Annotation Interface AinferSiblingWithFields

@SubtypeOf(AinferParent.class) @Target({TYPE_USE,TYPE_PARAMETER}) public @interface AinferSiblingWithFields
Toy type system for testing field inference.
See Also:

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    String[]
    value
     
    String
    value2
     

  • Element Details

    • value

      String[] value
      Default:
      {}

    • value2

      String value2
      Default:
      ""