Package org.checkerframework.afu.scenelib.field

Class EnumAFT

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

public final class EnumAFT
extends ScalarAFT

An EnumAFT is the type of an annotation field that can hold an constant from a certain enumeration type.

Field Summary

Fields

Modifier and Type	Field	Description
final String	typeName	The name of the enumeration type whose constants the annotation field can hold.

Constructor Summary

Constructors

Constructor	Description
EnumAFT(String typeName)	Constructs an EnumAFT for an annotation field that can hold constants of the enumeration type with the given name.

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

typeName

public final String typeName

The name of the enumeration type whose constants the annotation field can hold.

Constructor Details

EnumAFT

public EnumAFT(String typeName)

Constructs an EnumAFT for an annotation field that can hold constants of the enumeration type with the given name.

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