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

Packages that use LLJava.Name

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.
eu.bandm.tools.lljava.parser

Uses of LLJava.Name in eu.bandm.tools.lljava.absy

Subclasses of LLJava.Name in eu.bandm.tools.lljava.absy

Modifier and Type	Class and Description
static class	LLJava.ExplicitName Name given in source code.
static class	LLJava.ImplicitName Synthethic name, not given in source code.

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

Modifier and Type	Field and Description
protected LLJava.Name	LLJava.GotoInterval.end Generated by umod; model author's documentation MISSING.
protected LLJava.Name	LLJava.GotoPoint.id Generated by umod; model author's documentation MISSING.
protected LLJava.Name	LLJava.Label.name Generated by umod; model author's documentation MISSING.
protected LLJava.Name	LLJava.Local.name Generated by umod; model author's documentation MISSING.
protected LLJava.Name	LLJava.Parameter.name Generated by umod; model author's documentation MISSING.
protected LLJava.Name	LLJava.Variable.name Generated by umod; model author's documentation MISSING.
protected LLJava.Name	LLJava.VariableRef.name Generated by umod; model author's documentation MISSING.
protected LLJava.Name	LLJava.GotoInterval.start Generated by umod; model author's documentation MISSING.

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

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

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

Modifier and Type	Method and Description
static LLJava.Name	Factory.anon()
static LLJava.Name	SemanticUtils.anonymous()
LLJava.Name	LLJava.Name.doclone() Clones this object.
LLJava.Name	LLJava.GotoInterval.get_end() Generated by umod; model author's documentation MISSING.
LLJava.Name	LLJava.GotoPoint.get_id() Generated by umod; model author's documentation MISSING.
LLJava.Name	LLJava.Label.get_name() Generated by umod; model author's documentation MISSING.
LLJava.Name	LLJava.Local.get_name() Generated by umod; model author's documentation MISSING.
LLJava.Name	LLJava.Parameter.get_name() Generated by umod; model author's documentation MISSING.
LLJava.Name	LLJava.Variable.get_name() Generated by umod; model author's documentation MISSING.
LLJava.Name	LLJava.VariableRef.get_name() Generated by umod; model author's documentation MISSING.
LLJava.Name	LLJava.GotoInterval.get_start() Generated by umod; model author's documentation MISSING.
LLJava.Name	LLJava.Name.initFrom(Object o0) Copies values of all common fields from the argument.

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

Modifier and Type	Method and Description
CheckedMap_RD<LLJava.Name,LLJava.Block>	LLJava.Block.get_controlEnv() Generated by umod; model author's documentation MISSING.
CheckedMap_RD<LLJava.Name,LLJava.Variable>	LLJava.Block.get_dataEnv() Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Name>	LLJava.Block.get_labels() Generated by umod; model author's documentation MISSING.
static Pattern<? super LLJava.Name>	LLJava.__Patterns.term_Name(Pattern<Object> superpattern)

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

Modifier and Type	Method and Description
protected void	LLJava.MATCH_ONLY_00.action(LLJava.Name e0)
protected void	LLJava.MultiVisitor.action(LLJava.Name e0)
protected void	LLJava.Visitor.action(LLJava.Name e0)
protected void	LLJava.__Formatter.action(LLJava.Name el)
boolean	LLJava.Block.containsKey_controlEnv(LLJava.Name key0) Convenience un-Currying method.
boolean	LLJava.Block.containsKey_dataEnv(LLJava.Name key0) Convenience un-Currying method.
protected void	LLJava.MultiVisitor.descend(LLJava.Name e0)
static LLJava.Instruction	Factory.goto_(LLJava.Name target)
static LLJava.Instruction	Factory.if_(LLJava.Condition cond, LLJava.Name target)
void	LLJava.MATCH_ONLY_00.match(LLJava.Name e0)
static LLJava.Variable	Factory.newVariable(LLJava.Type type, LLJava.Name name)
protected void	LLJava.MultiVisitor.post(LLJava.Name e0)
protected void	LLJava.MultiVisitor.pre(LLJava.Name e0)
void	LLJava.Block.put_controlEnv(LLJava.Name key0, LLJava.Block value) Convenience un-Currying method.
void	LLJava.Block.put_dataEnv(LLJava.Name key0, LLJava.Variable value) Convenience un-Currying method.
static GotoRef	Factory.refCode(LLJava.Name name)
boolean	LLJava.GotoInterval.set_end(LLJava.Name val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.GotoPoint.set_id(LLJava.Name val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.Label.set_name(LLJava.Name val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.Local.set_name(LLJava.Name val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.Parameter.set_name(LLJava.Name val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.VariableRef.set_name(LLJava.Name val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.GotoInterval.set_start(LLJava.Name val) Generated by umod; model author's documentation MISSING.
protected Format	LLJava.__Formatter.toFormat(LLJava.Name el)
LLJava.Variable	LLJava.Variable.with_name(LLJava.Name val) Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
static Pattern<Object>	LLJava.__Patterns.cast_Name(Pattern<? super LLJava.Name> p)
static Pattern<LLJava.Block>	LLJava.Block.get_controlEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Block>> p) Lifts a pattern which matches the field value to one which matches this whole object.
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.GotoInterval>	LLJava.GotoInterval.get_end(Pattern<? super LLJava.Name> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.GotoPoint>	LLJava.GotoPoint.get_id(Pattern<? super LLJava.Name> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Block>	LLJava.Block.get_labels(Pattern<? super CheckedList<LLJava.Name>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Label>	LLJava.Label.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.Local>	LLJava.Local.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.Parameter>	LLJava.Parameter.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_name(Pattern<? super LLJava.Name> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.VariableRef>	LLJava.VariableRef.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.GotoInterval>	LLJava.GotoInterval.get_start(Pattern<? super LLJava.Name> p) Lifts a pattern which matches the field value to one which matches this whole object.
boolean	LLJava.Block.set_controlEnv(CheckedMap_RD<LLJava.Name,LLJava.Block> val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.Block.set_dataEnv(CheckedMap_RD<LLJava.Name,LLJava.Variable> val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.Block.set_labels(CheckedList<LLJava.Name> 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.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.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.ExplicitName>	LLJava.__Patterns.term_ExplicitName(Pattern<? super LLJava.Name> superpattern, Pattern<? super LLJava.Id> p_id)
static Pattern<? super LLJava.GotoInterval>	LLJava.__Patterns.term_GotoInterval(Pattern<? super LLJava.CodeInterval> superpattern, Pattern<? super LLJava.Name> p_start, Pattern<? super LLJava.Name> p_end, Pattern<? super LLJava.Block> p_startTarget, Pattern<? super LLJava.Block> p_endTarget)
static Pattern<? super LLJava.GotoInterval>	LLJava.__Patterns.term_GotoInterval(Pattern<? super LLJava.CodeInterval> superpattern, Pattern<? super LLJava.Name> p_start, Pattern<? super LLJava.Name> p_end, Pattern<? super LLJava.Block> p_startTarget, Pattern<? super LLJava.Block> p_endTarget)
static Pattern<? super LLJava.GotoPoint>	LLJava.__Patterns.term_GotoPoint(Pattern<? super LLJava.CodePoint> superpattern, Pattern<? super LLJava.Name> p_id, Pattern<? super LLJava.Block> p_target)
static Pattern<? super LLJava.ImplicitName>	LLJava.__Patterns.term_ImplicitName(Pattern<? super LLJava.Name> superpattern, Pattern<? super LLJava.Anonymity> p_id)
static Pattern<? super LLJava.Label>	LLJava.__Patterns.term_Label(Pattern<? super LLJava.Statement> superpattern, Pattern<? super LLJava.Name> p_name)
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)
static Pattern<? super LLJava.Variable>	LLJava.__Patterns.term_Variable(Pattern<Object> superpattern, Pattern<? super LLJava.Type> p_type, Pattern<? super LLJava.Name> p_name)
static Pattern<? super LLJava.VariableRef>	LLJava.__Patterns.term_VariableRef(Pattern<? super LLJava.VariableAccess> superpattern, Pattern<? super LLJava.Name> p_name)

Constructors in eu.bandm.tools.lljava.absy with parameters of type LLJava.Name

Constructor and Description
GotoInterval(LLJava.Name start) Synthetic minimal constructor provided by the umod compiler.
GotoInterval(LLJava.Name start, LLJava.Name end) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
GotoPoint(LLJava.Name id) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
Label(LLJava.Name name) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
Local(LLJava.TypeExpr type, LLJava.Name name) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
Parameter(LLJava.TypeExpr type, LLJava.Name name) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
Variable(LLJava.Type type, LLJava.Name name) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
VariableRef(LLJava.Name name) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Uses of LLJava.Name in eu.bandm.tools.lljava.parser

Fields in eu.bandm.tools.lljava.parser with type parameters of type LLJava.Name

Modifier and Type	Field and Description
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Name>	LLJavaGrammar.localName

Methods in eu.bandm.tools.lljava.parser with parameters of type LLJava.Name

Modifier and Type	Method and Description
protected abstract LLJava.GotoInterval	LLJavaGrammar.gotoInterval(Reducer.Context<SourceId> context, LLJava.Name start, Optional<LLJava.Name> end)
protected LLJava.GotoInterval	LLJavaParser.gotoInterval(Reducer.Context<SourceId> context, LLJava.Name start, Optional<LLJava.Name> end)

Method parameters in eu.bandm.tools.lljava.parser with type arguments of type LLJava.Name

Modifier and Type	Method and Description
protected abstract LLJava.GotoInterval	LLJavaGrammar.gotoInterval(Reducer.Context<SourceId> context, LLJava.Name start, Optional<LLJava.Name> end)
protected LLJava.GotoInterval	LLJavaParser.gotoInterval(Reducer.Context<SourceId> context, LLJava.Name start, Optional<LLJava.Name> end)
protected abstract LLJava.Parameter	LLJavaGrammar.methodParameter(Reducer.Context<SourceId> context, List<LLJava.ModifierExpr> modifiers, LLJava.TypeExpr type, Optional<LLJava.Name> name)
protected LLJava.Parameter	LLJavaParser.methodParameter(Reducer.Context<SourceId> context, List<LLJava.ModifierExpr> modifiers, LLJava.TypeExpr type, Optional<LLJava.Name> name)