Package org.checkerframework.afu.scenelib.field

Class ClassTokenAFT

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.ClassTokenAFT

public final class ClassTokenAFT
extends ScalarAFT

A ClassTokenAFT is the type of an annotation field that holds a class token (something like String.class).

Use the singleton ctaft.

Even if the field type was originally some parameterization Class<...> , the annotation scene library represents it as a plain ClassTokenAFT.

Field Summary

Fields

Modifier and Type	Field	Description
static final ClassTokenAFT	ctaft	The singleton ClassTokenAFT.

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()	Returns the string representation of the type that would appear in an index file.

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

ctaft

public static final ClassTokenAFT ctaft

The singleton ClassTokenAFT.

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

Description copied from class: AnnotationFieldType

Returns the string representation of the type that would appear in an index file. Used by IndexFileWriter.

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