Class AnnotationBuilderTest

java.lang.Object
org.checkerframework.framework.test.junit.AnnotationBuilderTest

public class AnnotationBuilderTest extends Object
  • 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()