Package org.checkerframework.afu.scenelib.field
package org.checkerframework.afu.scenelib.field
annotations.field
provides classes that store the types of annotation fields.-
ClassDescriptionAFTVisitor<R,
T> AnAnnotationAFT
represents a subannotation as the type of an annotation field and contains the definition of the subannotation.AnAnnotationFieldType
represents a type that can be the type of an annotation field.AnArrayAFT
represents an annotation field type that is an array.ABasicAFT
represents a primitive orString
annotation field type.AClassTokenAFT
is the type of an annotation field that holds a class token (something like
).String
.classAnEnumAFT
is the type of an annotation field that can hold an constant from a certain enumeration type.Common superclass for non-arrayAnnotationFieldType
s so thatArrayAFT
can accept only scalar element types, enforcing the Java language's prohibition of multidimensional arrays as annotation field types.