org.checkerframework.common.wholeprograminference

Class AnnotationConverter

java.lang.Object

org.checkerframework.common.wholeprograminference.AnnotationConverter

public class AnnotationConverter
extends Object

This class has auxiliary methods that performs conversion between Annotation and AnnotationMirror.

Constructor Summary

Constructors

Constructor and Description
AnnotationConverter()

Method Summary

Modifier and Type	Method and Description
protected static void	addFieldToAnnotationBuilder(String fieldKey, Object obj, AnnotationBuilder builder) Adds a field to an AnnotationBuilder.
protected static scenelib.annotations.Annotation	annotationMirrorToAnnotation(AnnotationMirror am) Converts an AnnotationMirror into an Annotation.
protected static AnnotationMirror	annotationToAnnotationMirror(scenelib.annotations.Annotation anno, ProcessingEnvironment processingEnv) Converts an Annotation into an AnnotationMirror.
protected static scenelib.annotations.field.AnnotationFieldType	getAnnotationFieldType(ExecutableElement ee, Object value) Returns an AnnotationFieldType given an ExecutableElement or value.

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotationConverter

public AnnotationConverter()

Method Detail

annotationMirrorToAnnotation

protected static scenelib.annotations.Annotation annotationMirrorToAnnotation(AnnotationMirror am)

Converts an AnnotationMirror into an Annotation.

annotationToAnnotationMirror

protected static AnnotationMirror annotationToAnnotationMirror(scenelib.annotations.Annotation anno,
                                                               ProcessingEnvironment processingEnv)

Converts an Annotation into an AnnotationMirror.

getAnnotationFieldType

protected static scenelib.annotations.field.AnnotationFieldType getAnnotationFieldType(ExecutableElement ee,
                                                                                       Object value)

Returns an AnnotationFieldType given an ExecutableElement or value.

addFieldToAnnotationBuilder

protected static void addFieldToAnnotationBuilder(String fieldKey,
                                                  Object obj,
                                                  AnnotationBuilder builder)

Adds a field to an AnnotationBuilder.

Parameters:

fieldKey - is the name of the field

obj - is the value of the field

builder - is the AnnotationBuilder