Package org.checkerframework.afu.scenelib.field

Class BasicAFT

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

public final class BasicAFT
extends ScalarAFT

A BasicAFT represents a primitive or String annotation field type. Get one using forType(Class).

Field Summary

Fields

Modifier and Type	Field	Description
static final Map<Class<?>,BasicAFT>	bafts	Maps from type to BasicAFT.
final Class<?>	type	The Java type backing this annotation field type.

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.
static BasicAFT	forType(Class<?> type)	Returns the BasicAFT for type, which should be primitive (e.g., int.class) or String.
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

type

public final Class<?> type

The Java type backing this annotation field type.

bafts

public static final Map<Class<?>,BasicAFT> bafts

Maps from type to BasicAFT. Contains every BasicAFT.

Method Details

forType

public static BasicAFT forType(Class<?> type)

Returns the BasicAFT for type, which should be primitive (e.g., int.class) or String. Returns null if type is not appropriate for a basic annotation field type.

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