Package org.checkerframework.framework.util.element
package org.checkerframework.framework.util.element
-
ClassDescriptionApplies the annotations present for a class type parameter onto an AnnotatedTypeVariable.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).An ERROR TypeKind was found.Exception indicating an invalid location for an annotation was found.Adds annotations from element to the return type, formal parameter types, type parameters, and throws clauses of the AnnotatedExecutableType type.Applies the annotations present for a method type parameter onto an AnnotatedTypeVariable.Adds annotations to one formal parameter of a method or lambda within a method.When discovering supertypes of an AnnotatedTypeMirror we want to annotate each supertype with the annotations of the subtypes class declaration.Apply annotations to a declared type based on its declaration.Apply annotations to the use of a type parameter declaration.Applies annotations to variable declaration (providing they are not the use of a TYPE_PARAMETER).