Package org.checkerframework.framework.test.junit

Class AnnotationBuilderTest

java.lang.Object

org.checkerframework.framework.test.junit.AnnotationBuilderTest

public class AnnotationBuilderTest
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static @interface	AnnotationBuilderTest.A
static @interface	AnnotationBuilderTest.Anno
static @interface	AnnotationBuilderTest.B
static @interface	AnnotationBuilderTest.ClassElt
static @interface	AnnotationBuilderTest.ContainingAnno
static @interface	AnnotationBuilderTest.EnumElt
static @interface	AnnotationBuilderTest.Mult
static @interface	AnnotationBuilderTest.MyAnno
static @interface	AnnotationBuilderTest.Prim
static @interface	AnnotationBuilderTest.RestrictedClassElt

Constructor Summary

Constructors

Constructor	Description
AnnotationBuilderTest()

Method Summary

Modifier and Type	Method	Description
void	addingValuesAfterBuilding()
void	buildingTwice()
void	createAnnoWithoutValues()
void	createAnnoWithoutValues1()
void	createAnnoWithValues0()
void	illegalValue()
void	listArrayObject()
void	listArrayObjectWrongType()
void	listArrayObjectWrongType1()
void	listArrayPrimitive()
void	multiple1()
void	multiple2()
void	multiple3()
void	notFoundElements()
void	primitiveValue()
void	primitiveValueWithException()
void	testAnnoAsArgNegative()
void	testAnnoAsArgPositive()
void	testClassNegative()
void	testClassPositive()
void	testEnumNegative()
void	testEnumNegative2()
void	testEnumPositive()
void	testRestClassPositive()
void	testRetClassNegative()
void	testToString1()
void	testToString2()
void	testToString3()
void	testToString4()
void	testToString5()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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()