JavaScript is disabled on your browser.
Skip navigation links
Overview
Class
Tree
Deprecated
Index
Search
Help
org.checkerframework.framework.test.junit
AnnotationBuilderTest
Prim
Contents
Hide sidebar
❮
❯
Show sidebar
Description
Required Element Summary
Element Details
a
Annotation Interface AnnotationBuilderTest.Prim
Enclosing class:
AnnotationBuilderTest
public static @interface
AnnotationBuilderTest.Prim
Required Element Summary
Required Elements
Modifier and Type
Required Element
Description
int
a
Element Details
a
int
a