Package org.checkerframework.afu.scenelib.field

Class AnnotationAFT

java.lang.Object

org.checkerframework.afu.scenelib.util.EqualByStringRepresentation

org.checkerframework.afu.scenelib.field.AnnotationFieldType

org.checkerframework.afu.scenelib.field.ScalarAFT

org.checkerframework.afu.scenelib.field.AnnotationAFT

public final class AnnotationAFT
extends ScalarAFT

An AnnotationAFT represents a subannotation as the type of an annotation field and contains the definition of the subannotation.

Field Summary

Fields

Modifier and Type	Field	Description
final AnnotationDef	annotationDef	The definition of the subannotation.

Constructor Summary

Constructors

Constructor	Description
AnnotationAFT(AnnotationDef annotationDef)	Constructs a new AnnotationAFT for a subannotation of the given definition.

Method Summary

Modifier and Type	Method	Description
<R, T> R	accept(AFTVisitor<R,T> v, T arg)
void	format(StringBuilder sb, Object o)	Formats an annotation field value.
boolean	isValidValue(Object o)	Returns true if this value is valid for this AnnotationFieldType.
String	toString()	The string representation of an AnnotationAFT looks like @Foo even though the subannotation definition is logically part of the AnnotationAFT.

Methods inherited from class org.checkerframework.afu.scenelib.field.AnnotationFieldType

format, fromClass, unify

Methods inherited from class org.checkerframework.afu.scenelib.util.EqualByStringRepresentation

equals, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

annotationDef

public final AnnotationDef annotationDef

The definition of the subannotation.

Constructor Details

AnnotationAFT

public AnnotationAFT(AnnotationDef annotationDef)

Constructs a new AnnotationAFT for a subannotation of the given definition.

Method Details

isValidValue

public boolean isValidValue(Object o)

Description copied from class: AnnotationFieldType

Returns true if this value is valid for this AnnotationFieldType.

Specified by:

isValidValue in class AnnotationFieldType

toString

public String toString()

The string representation of an AnnotationAFT looks like @Foo even though the subannotation definition is logically part of the AnnotationAFT. This is because the subannotation field type appears as @Foo in an index file and the subannotation definition is written separately.

Specified by:

toString in class AnnotationFieldType

format

public void format(StringBuilder sb,
 Object o)

Description copied from class: AnnotationFieldType

Formats an annotation field value.

Specified by:

format in class AnnotationFieldType

Parameters:

sb - where to format the value to

o - the value to format

accept

public <R,
T> R accept(AFTVisitor<R,T> v,
 T arg)

Specified by:

accept in class AnnotationFieldType