Uses of Class
eu.bandm.tools.lljava.absy.LLJava.Slot

Packages that use LLJava.Slot

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 LLJava.Slot in eu.bandm.tools.lljava.absy

Fields in eu.bandm.tools.lljava.absy declared as LLJava.Slot

Modifier and Type	Field	Description
protected LLJava.Slot	LLJava.VariableAccess.target	Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.lljava.absy with type parameters of type LLJava.Slot

Modifier and Type	Field	Description
(package private) final Map<LLJava.Name,LLJava.Slot>	ContextChecker.EnvironmentAnnotator.dataEnv

Methods in eu.bandm.tools.lljava.absy that return LLJava.Slot

Modifier and Type	Method	Description
LLJava.Slot	LLJava.Slot.doclone()	Clones this object.
LLJava.Slot	LLJava.VariableAccess.get_target()	Generated by umod; model author's documentation MISSING.
LLJava.Slot	LLJava.Slot.initFrom(Object o0)	Copies values of all common fields from the argument.
(package private) LLJava.Slot	ContextChecker.EnvironmentAnnotator.resolveData(LLJava.Name name)
LLJava.Slot	LLJava.Slot.with_index(int val)	The index is base ONE and maximally 2 ^ 222 (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":824.9-825.9, see this pretty print.)
LLJava.Slot	LLJava.Slot.with_type(LLJava.Type val)	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.lljava.absy that return types with arguments of type LLJava.Slot

Modifier and Type	Method	Description
static Pattern<LLJava.Slot>	LLJava.Slot.get_index(Pattern<? super Integer> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Slot>	LLJava.Slot.get_type(Pattern<? super LLJava.Type> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Slot>	LLJava.__Patterns.term_Slot(Pattern<Object> superpattern, Pattern<? super LLJava.Type> p_type, Pattern<? super Integer> p_index)

Methods in eu.bandm.tools.lljava.absy with parameters of type LLJava.Slot

Modifier and Type	Method	Description
protected void	LLJava.__Formatter.action(LLJava.Slot el)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.Slot e0)
protected void	LLJava.MultiVisitor.action(LLJava.Slot e0)
protected void	LLJava.Visitor.action(LLJava.Slot e0)
protected void	LLJava.MultiVisitor.descend(LLJava.Slot e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.Slot e0)
protected void	LLJava.MultiVisitor.post(LLJava.Slot e0)
protected void	LLJava.MultiVisitor.pre(LLJava.Slot e0)
boolean	LLJava.VariableAccess.set_target(LLJava.Slot val)	Generated by umod; model author's documentation MISSING.
protected Format	LLJava.__Formatter.toFormat(LLJava.Slot el)
boolean	LLJava.Slot.x_equals(LLJava.Slot e0)

Method parameters in eu.bandm.tools.lljava.absy with type arguments of type LLJava.Slot

Modifier and Type	Method	Description
static Pattern<Object>	LLJava.__Patterns.cast_Slot(Pattern<? super LLJava.Slot> p)
static Pattern<LLJava.VariableAccess>	LLJava.VariableAccess.get_target(Pattern<? super LLJava.Slot> p)	Lifts a pattern which matches the field value to one which matches this whole object.

Constructor parameters in eu.bandm.tools.lljava.absy with type arguments of type LLJava.Slot

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