org.checkerframework.framework.type

Class DeclarationsIntoElements

java.lang.Object

org.checkerframework.framework.type.DeclarationsIntoElements

public class DeclarationsIntoElements
extends Object

A helper class that puts the declaration annotations from a method declaration back into the corresponding Elements, so that they get stored in the bytecode by the compiler. This is similar to TypesIntoElements but for declaration annotations. This class deals with javac internals and liberally imports such classes.

Constructor Summary

Constructors

Constructor and Description
DeclarationsIntoElements()

Method Summary

Modifier and Type	Method and Description
static void	store(ProcessingEnvironment env, 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

DeclarationsIntoElements

public DeclarationsIntoElements()

Method Detail

store

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

The entry point.

Parameters:

atypeFactory - The type factory.

tree - The ClassTree to process.