Class ElementAnnotationUtil
- java.lang.Object
-
- org.checkerframework.framework.util.element.ElementAnnotationUtil
-
public class ElementAnnotationUtil extends java.lang.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 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 Description ElementAnnotationUtil()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
applyAllElementAnnotations(java.util.List<? extends AnnotatedTypeMirror> types, java.util.List<? extends javax.lang.model.element.Element> elements, AnnotatedTypeFactory typeFactory)
For each type/element pair, add all of the annotations stored in Element to type.
-
-
-
Method Detail
-
applyAllElementAnnotations
public static void applyAllElementAnnotations(java.util.List<? extends AnnotatedTypeMirror> types, java.util.List<? extends javax.lang.model.element.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 annotationselements
- the elements that may contain annotations to apply. elements.size must == types.sizetypeFactory
- the type factory used to create the AnnotatedTypeMirrors contained by types
-
-