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 void
store
(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
-