Package 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	Description
DeclarationsIntoElements()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

DeclarationsIntoElements

public DeclarationsIntoElements()

Method Details

store

public static void store(ProcessingEnvironment env,
 AnnotatedTypeFactory atypeFactory,
 com.sun.source.tree.ClassTree tree)

The entry point.

Parameters:

atypeFactory - the type factory

tree - the ClassTree to process