org.checkerframework.framework.util.element

Class ElementAnnotationUtil

java.lang.Object

org.checkerframework.framework.util.element.ElementAnnotationUtil

public class ElementAnnotationUtil
extends Object

Utility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element). This class also contains package private methods used by the ElementAnnotationAppliers that do most of the work.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ElementAnnotationUtil.ErrorTypeKindException An ERROR TypeKind was found.
static class	ElementAnnotationUtil.UnexpectedAnnotationLocationException Exception indicating an invalid location for an annotation was found.

Constructor Summary

Constructors

Constructor and Description
ElementAnnotationUtil()

Method Summary

Modifier and Type	Method and Description
static void	applyAllElementAnnotations(List<? extends AnnotatedTypeMirror> types, List<? extends Element> elements, AnnotatedTypeFactory typeFactory) For each type/element pair, add all of the annotations stored in Element to type.

Methods inherited from class java.lang.Object

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

Constructor Detail

ElementAnnotationUtil

public ElementAnnotationUtil()

Method Detail

applyAllElementAnnotations

public static void applyAllElementAnnotations(List<? extends AnnotatedTypeMirror> types,
                                              List<? extends Element> elements,
                                              AnnotatedTypeFactory typeFactory)

For each type/element pair, add all of the annotations stored in Element to type. See apply for more details.

Parameters:

types - the types to which we wish to apply element annotations

elements - the elements that may contain annotations to apply. elements.size must == types.size

typeFactory - the type factory used to create the AnnotatedTypeMirrors contained by types