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

Packages that use LLJava.Variable

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

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

Modifier and Type	Field and Description
protected LLJava.Variable	LLJava.Local.variable The variable declared by this statement.
protected LLJava.Variable	LLJava.Parameter.variable The variable represented by this parameter specification.

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

Modifier and Type	Field and Description
protected CheckedMap_RD<LLJava.Name,LLJava.Variable>	LLJava.Block.dataEnv Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
static LLJava.Variable	SemanticUtils.anonymous(LLJava.Type type)
LLJava.Variable	LLJava.Variable.doclone() Clones this object.
LLJava.Variable	LLJava.Local.get_variable() The variable declared by this statement.
LLJava.Variable	LLJava.Parameter.get_variable() The variable represented by this parameter specification.
LLJava.Variable	LLJava.Variable.initFrom(Object o0) Copies values of all common fields from the argument.
static LLJava.Variable	Factory.newVariable(LLJava.Type type)
static LLJava.Variable	Factory.newVariable(LLJava.Type type, LLJava.Name name)
static LLJava.Variable	Factory.newVariable(LLJava.Type type, String name)
LLJava.Variable	LLJava.Variable.with_name(LLJava.Name val) Generated by umod; model author's documentation MISSING.
LLJava.Variable	LLJava.Variable.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.Variable

Modifier and Type	Method and Description
CheckedMap_RD<LLJava.Name,LLJava.Variable>	LLJava.Block.get_dataEnv() Generated by umod; model author's documentation MISSING.
static Pattern<LLJava.Variable>	LLJava.Variable.get_name(Pattern<? super LLJava.Name> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Variable>	LLJava.Variable.get_type(Pattern<? super LLJava.Type> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<? super LLJava.Variable>	LLJava.__Patterns.term_Variable(Pattern<Object> superpattern, Pattern<? super LLJava.Type> p_type, Pattern<? super LLJava.Name> p_name)

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

Modifier and Type	Method and Description
protected void	LLJava.MATCH_ONLY_00.action(LLJava.Variable e0)
protected void	LLJava.MultiVisitor.action(LLJava.Variable e0)
protected void	LLJava.Visitor.action(LLJava.Variable e0)
protected void	LLJava.__Formatter.action(LLJava.Variable el)
protected void	LLJava.MultiVisitor.descend(LLJava.Variable e0)
static LLJava.Instruction	Factory.load(LLJava.Variable var)
static LLJava.Statement	Factory.local(LLJava.Variable var, LLJava.Statement... initializer)
void	LLJava.MATCH_ONLY_00.match(LLJava.Variable e0)
protected void	LLJava.MultiVisitor.post(LLJava.Variable e0)
protected void	LLJava.MultiVisitor.pre(LLJava.Variable e0)
void	LLJava.Block.put_dataEnv(LLJava.Name key0, LLJava.Variable value) Convenience un-Currying method.
static LLJava.VariableRef	Factory.ref(LLJava.Variable var)
boolean	LLJava.Local.set_variable(LLJava.Variable val) The variable declared by this statement.
boolean	LLJava.Parameter.set_variable(LLJava.Variable val) The variable represented by this parameter specification.
static LLJava.Instruction	Factory.store(LLJava.Variable var)
protected Format	LLJava.__Formatter.toFormat(LLJava.Variable el)
boolean	LLJava.Variable.x_equals(LLJava.Variable e0)

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

Modifier and Type	Method and Description
static Pattern<Object>	LLJava.__Patterns.cast_Variable(Pattern<? super LLJava.Variable> p)
static Pattern<LLJava.Block>	LLJava.Block.get_dataEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Variable>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Local>	LLJava.Local.get_variable(Pattern<? super LLJava.Variable> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Parameter>	LLJava.Parameter.get_variable(Pattern<? super LLJava.Variable> p) Lifts a pattern which matches the field value to one which matches this whole object.
boolean	LLJava.Block.set_dataEnv(CheckedMap_RD<LLJava.Name,LLJava.Variable> val) Generated by umod; model author's documentation MISSING.
static Pattern<? super LLJava.Block>	LLJava.__Patterns.term_Block(Pattern<? super LLJava.Statement> superpattern, Pattern<? super CheckedList<LLJava.Name>> p_labels, Pattern<? super Boolean> p_implicit, Pattern<? super CheckedList<LLJava.Statement>> p_elems, Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Block>> p_controlEnv, Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Variable>> p_dataEnv)
static Pattern<? super LLJava.Local>	LLJava.__Patterns.term_Local(Pattern<? super LLJava.Statement> superpattern, Pattern<? super LLJava.TypeExpr> p_type, Pattern<? super LLJava.Name> p_name, Pattern<? super LLJava.Variable> p_variable)
static Pattern<? super LLJava.Parameter>	LLJava.__Patterns.term_Parameter(Pattern<? super LLJava.Modifiable> superpattern, Pattern<? super LLJava.TypeExpr> p_type, Pattern<? super LLJava.Name> p_name, Pattern<? super LLJava.Variable> p_variable)