Uses of Class
eu.bandm.tools.lljava.absy.TypeChecker.Focus

Packages that use TypeChecker.Focus

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 TypeChecker.Focus in eu.bandm.tools.lljava.absy

Fields in eu.bandm.tools.lljava.absy declared as TypeChecker.Focus

Modifier and Type	Field	Description
(package private) final TypeChecker.Focus	TypeChecker.Inferrer.InstructionProcessor.focus

Fields in eu.bandm.tools.lljava.absy with type parameters of type TypeChecker.Focus

Modifier and Type	Field	Description
(package private) final Map<LLJava.Instruction,TypeChecker.Focus>	TypeChecker.Inferrer.map

Methods in eu.bandm.tools.lljava.absy that return TypeChecker.Focus

Modifier and Type	Method	Description
(package private) TypeChecker.Focus	TypeChecker.Inferrer.InstructionProcessor.get()
TypeChecker.Focus	TypeChecker.Focus.join(LLJava.StackFrame t)
(package private) TypeChecker.Focus	TypeChecker.Inferrer.process(LLJava.Method context, LLJava.Instruction i)