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	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	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	Description
(package private) final Map<LLJava.Name,LLJava.Block>	ContextChecker.EnvironmentAnnotator.controlEnv
(package private) final Map<LLJava.Name,LLJava.Block>	ContextChecker.LabelFinder.controlEnv
protected CheckedMap_RD<LLJava.Name,LLJava.Block>	LLJava.Block.controlEnv	Generated by umod; model author's documentation MISSING.
(package private) final Map<LLJava.Name,LLJava.Slot>	ContextChecker.EnvironmentAnnotator.dataEnv
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	Description
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.
(package private) LLJava.Name	ControlFlowSynthesizer.label(int pc)

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

Modifier and Type	Method	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<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	Description
protected void	LLJava.__Formatter.action(LLJava.Name el)
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)
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)
void	LLJava.MATCH_ONLY_00.match(LLJava.Name e0)
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.
(package private) LLJava.Block	ContextChecker.EnvironmentAnnotator.resolveControl(LLJava.Name label)
(package private) LLJava.Slot	ContextChecker.EnvironmentAnnotator.resolveData(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	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<LLJava.ExplicitName>	LLJava.__Patterns.term_ExplicitName(Pattern<? super LLJava.Name> superpattern, Pattern<? super LLJava.Id> p_id)
static Pattern<LLJava.ImplicitName>	LLJava.__Patterns.term_ImplicitName(Pattern<? super LLJava.Name> superpattern, Pattern<? super LLJava.Anonymity> p_id)

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

Modifier	Constructor	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/..".

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

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

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	Description
final 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	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	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)