Annotation Interface AnnotationBuilderTest.EnumElt

Enclosing class:
AnnotationBuilderTest

public static @interface AnnotationBuilderTest.EnumElt
  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    org.checkerframework.framework.test.junit.AnnotationBuilderTest.MyEnum
     
  • Element Details

    • value

      org.checkerframework.framework.test.junit.AnnotationBuilderTest.MyEnum value