Class TypesIntoElements
java.lang.Object
org.checkerframework.framework.type.TypesIntoElements
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.
- 
Method Summary
Modifier and TypeMethodDescriptionstatic voidstore(ProcessingEnvironment processingEnv, AnnotatedTypeFactory atypeFactory, ClassTree tree) The entry point. 
- 
Method Details
- 
store
public static void store(ProcessingEnvironment processingEnv, AnnotatedTypeFactory atypeFactory, ClassTree tree) The entry point.- Parameters:
 processingEnv- the environmentatypeFactory- the type factorytree- the ClassTree to process
 
 -