Class AnnotationBuilderTest
java.lang.Object
org.checkerframework.framework.test.junit.AnnotationBuilderTest
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic @interface
static @interface
static @interface
static @interface
static @interface
static @interface
static @interface
static @interface
static @interface
static @interface
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
-
Constructor Details
-
AnnotationBuilderTest
public AnnotationBuilderTest()
-
-
Method Details
-
createAnnoWithoutValues
public void createAnnoWithoutValues() -
createAnnoWithoutValues1
public void createAnnoWithoutValues1() -
createAnnoWithValues0
public void createAnnoWithValues0() -
buildingTwice
public void buildingTwice() -
addingValuesAfterBuilding
public void addingValuesAfterBuilding() -
notFoundElements
public void notFoundElements() -
illegalValue
public void illegalValue() -
listArrayPrimitive
public void listArrayPrimitive() -
listArrayObject
public void listArrayObject() -
listArrayObjectWrongType
public void listArrayObjectWrongType() -
listArrayObjectWrongType1
public void listArrayObjectWrongType1() -
primitiveValue
public void primitiveValue() -
primitiveValueWithException
public void primitiveValueWithException() -
multiple1
public void multiple1() -
multiple2
public void multiple2() -
multiple3
public void multiple3() -
testClassPositive
public void testClassPositive() -
testClassNegative
public void testClassNegative() -
testRestClassPositive
public void testRestClassPositive() -
testRetClassNegative
public void testRetClassNegative() -
testEnumPositive
public void testEnumPositive() -
testEnumNegative
public void testEnumNegative() -
testEnumNegative2
public void testEnumNegative2() -
testToString1
public void testToString1() -
testToString2
public void testToString2() -
testToString3
public void testToString3() -
testToString4
public void testToString4() -
testToString5
public void testToString5() -
testAnnoAsArgPositive
public void testAnnoAsArgPositive() -
testAnnoAsArgNegative
public void testAnnoAsArgNegative()
-