Package org.checkerframework.afu.scenelib

Class AnnotationFactory

java.lang.Object

org.checkerframework.afu.scenelib.AnnotationFactory

public final class AnnotationFactory
extends Object

A very simple AnnotationFactory that creates Annotations. It is interested in all annotations and determines their definitions automatically from the fields supplied. Use the singleton saf.

Field Summary

Fields

Modifier and Type	Field	Description
static final AnnotationFactory	saf	The singleton AnnotationFactory.

Method Summary

Modifier and Type	Method	Description
AnnotationBuilder	beginAnnotation(@BinaryName String typeName, Set<Annotation> tlAnnotationsHere, String source)	Returns an AnnotationBuilder appropriate for building an Annotation of the given type name.
AnnotationBuilder	beginAnnotation(Annotation a, Map<String,AnnotationDef> adefs)	Returns an AnnotationBuilder.
AnnotationBuilder	beginAnnotation(AnnotationDef def, String source)	Returns an AnnotationBuilder appropriate for building an Annotation of the given type name.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

saf

public static final AnnotationFactory saf

The singleton AnnotationFactory.

Method Details

beginAnnotation

public AnnotationBuilder beginAnnotation(AnnotationDef def,
 String source)

Returns an AnnotationBuilder appropriate for building an Annotation of the given type name.

Parameters:

def - the definition for the annotation to be built

beginAnnotation

public AnnotationBuilder beginAnnotation(Annotation a,
 Map<String,AnnotationDef> adefs)

Returns an AnnotationBuilder. Tries to look up the AnnotationDef in adefs; if not found, inserts in adefs.

beginAnnotation

public AnnotationBuilder beginAnnotation(@BinaryName String typeName,
 Set<Annotation> tlAnnotationsHere,
 String source)

Returns an AnnotationBuilder appropriate for building an Annotation of the given type name.

Parameters:

typeName - the name of the annotation being built

tlAnnotationsHere - the top-level meta-annotations on the annotation being built

source - where the annotation came from, such as a filename

Returns:

an AnnotationBuilder appropriate for building a Annotation of the given type name