Package org.checkerframework.framework.type

Class DeclarationsIntoElements

java.lang.Object

org.checkerframework.framework.type.DeclarationsIntoElements

public final 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. It also adds @Pure to the compiler-generated accessors of a record.

This is similar to TypesIntoElements but for declaration annotations.

This class deals with javac internals and liberally imports such classes.

Method Summary

Modifier and Type	Method	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

Method Details

store

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

The entry point.

Parameters:

env - the processing environment

atypeFactory - the type factory

tree - the ClassTree to process