Class TypesIntoElements

java.lang.Object
org.checkerframework.framework.type.TypesIntoElements

public final 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.

  • Method Details

    • 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