Package org.checkerframework.afu.scenelib.field


package org.checkerframework.afu.scenelib.field
annotations.field provides classes that store the types of annotation fields.
  • Class
    Description
     
    An AnnotationAFT represents a subannotation as the type of an annotation field and contains the definition of the subannotation.
    An AnnotationFieldType represents a type that can be the type of an annotation field.
    An ArrayAFT represents an annotation field type that is an array.
    A BasicAFT represents a primitive or String annotation field type.
    A ClassTokenAFT is the type of an annotation field that holds a class token (something like String.class).
    An EnumAFT is the type of an annotation field that can hold an constant from a certain enumeration type.
    Common superclass for non-array AnnotationFieldTypes so that ArrayAFT can accept only scalar element types, enforcing the Java language's prohibition of multidimensional arrays as annotation field types.