Uses of Class
eu.bandm.tools.lljava.absy.ContextChecker.EnvironmentAnnotator

Packages that use ContextChecker.EnvironmentAnnotator

Package	Description
eu.bandm.tools.lljava.absy	Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes.

Uses of ContextChecker.EnvironmentAnnotator in eu.bandm.tools.lljava.absy

Fields in eu.bandm.tools.lljava.absy declared as ContextChecker.EnvironmentAnnotator

Modifier and Type	Field	Description
(package private) final ContextChecker.EnvironmentAnnotator	ContextChecker.EnvironmentAnnotator.parent

Constructors in eu.bandm.tools.lljava.absy with parameters of type ContextChecker.EnvironmentAnnotator

Modifier	Constructor	Description
(package private)	EnvironmentAnnotator(ContextChecker.EnvironmentAnnotator parent)
(package private)	EnvironmentAnnotator(ContextChecker.EnvironmentAnnotator parent, Map<LLJava.Name,LLJava.Slot> dataEnv)