checkers.types

Class TypeFromElement

@NonNull java.lang.Object

checkers.types.TypeFromElement

public class TypeFromElement
extends @NonNull Object

A utility class used to extract the annotations from an element and inserts them into the elements type.

Constructor Summary

Constructors

Constructor and Description
TypeFromElement()

Method Summary

Methods

Modifier and Type	Method and Description
static void	annotate(@Mutable AnnotatedTypeMirror type, @Nullable Element element) Extracts type annotations from the element and inserts them into the type of the element.
static void	annotateSupers(List<AnnotatedTypeMirror.AnnotatedDeclaredType> supertypes, TypeElement element)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeFromElement

public TypeFromElement()

Method Detail

annotate

public static void annotate(@Mutable AnnotatedTypeMirror type,
            @Nullable Element element)

Extracts type annotations from the element and inserts them into the type of the element. The element could be one of: 1. TypeElement of a class or an interface 2. ExecutableElement of a method or a constructor 3. VariableElement of a field or a method parameter 4. TypeParameterElement of a method or a class type parameter

annotateSupers

public static void annotateSupers(List<AnnotatedTypeMirror.AnnotatedDeclaredType> supertypes,
                  TypeElement element)