org.checkerframework.framework.type

Class TypesIntoElements

java.lang.Object

org.checkerframework.framework.type.TypesIntoElements

public class TypesIntoElements
extends Object

A helper class that puts the annotations from an AnnotatedTypeMirrors back into the corresponding Elements, so that they get stored in the bytecode by the compiler. This has kind-of the symmetric function to TypeFromElement. This class deals with javac internals and liberally imports such classes.

Constructor Summary

Constructors

Constructor and Description
TypesIntoElements()

Method Summary

Modifier and Type	Method and Description
static void	store(ProcessingEnvironment processingEnv, AnnotatedTypeFactory atypeFactory, ClassTree tree) The entry point.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypesIntoElements

public TypesIntoElements()

Method Detail

store

public static void store(ProcessingEnvironment processingEnv,
                         AnnotatedTypeFactory atypeFactory,
                         ClassTree tree)

The entry point.

Parameters:

processingEnv - The environment.

atypeFactory - The type factory.

tree - The ClassTree to process.