Package org.checkerframework.afu.scenelib.field

Class ArrayAFT

java.lang.Object

org.checkerframework.afu.scenelib.util.EqualByStringRepresentation

org.checkerframework.afu.scenelib.field.AnnotationFieldType

org.checkerframework.afu.scenelib.field.ArrayAFT

public final class ArrayAFT
extends AnnotationFieldType

An ArrayAFT represents an annotation field type that is an array.

Field Summary

Fields

Modifier and Type	Field	Description
final @Nullable ScalarAFT	elementType	The element type of the array, or null if it is unknown (see AnnotationBuilder.addEmptyArrayField(java.lang.String)).

Constructor Summary

Constructors

Constructor	Description
ArrayAFT(@Nullable ScalarAFT elementType)	Constructs a new ArrayAFT representing an array type with the given element 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.
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

elementType

public final @Nullable ScalarAFT elementType

The element type of the array, or null if it is unknown (see AnnotationBuilder.addEmptyArrayField(java.lang.String)).

Constructor Details

ArrayAFT

public ArrayAFT(@Nullable ScalarAFT elementType)

Constructs a new ArrayAFT representing an array type with the given element type. elementType may be null to indicate that the element type is unknown (see AnnotationBuilder.addEmptyArrayField(java.lang.String)).

Parameters:

elementType - the element type of the array, or null if it is unknown

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