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

Packages that use LLJava.GotoPoint

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

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

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

Modifier and Type	Field	Description
protected LLJava.GotoPoint	LLJava.Exception.target	The entry point to the catch(){} code. (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":435.9-436.13, see this pretty print.) The type of this field is LLJava.GotoPoint(never null) It is set by every possible constructor.
protected LLJava.GotoPoint	LLJava.Goto.target	Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method	Description
LLJava.GotoPoint	LLJava.GotoPoint.doclone()	Clones this object.
LLJava.GotoPoint	LLJava.Exception.get_target()	The entry point to the catch(){} code. (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":435.9-436.13, see this pretty print.) Generated getter method.
LLJava.GotoPoint	LLJava.Goto.get_target()	Generated by umod; model author's documentation MISSING.
LLJava.GotoPoint	LLJava.GotoPoint.initFrom(Object o0)	Copies values of all common fields from the argument.
LLJava.GotoPoint	ControlFlowSynthesizer.point(int pc)
(package private) LLJava.GotoPoint	CodeSerializer.unline(LLJava.CodePoint i)

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

Modifier and Type	Method	Description
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.GotoPoint>	LLJava.GotoPoint.get_target(Pattern<? super LLJava.Block> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.GotoPoint>	LLJava.__Patterns.term_GotoPoint(Pattern<? super LLJava.CodePoint> superpattern, Pattern<? super LLJava.Name> p_id, Pattern<? super LLJava.Block> p_target)

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

Modifier and Type	Method	Description
protected void	ContextChecker.EnvironmentAnnotator.action(LLJava.GotoPoint x)
protected void	LLJava.__Formatter.action(LLJava.GotoPoint el)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.GotoPoint e0)
protected void	LLJava.MultiVisitor.action(LLJava.GotoPoint e0)
protected void	LLJava.Visitor.action(LLJava.GotoPoint e0)
protected void	LLJava.MultiVisitor.descend(LLJava.GotoPoint e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.GotoPoint e0)
protected void	LLJava.MultiVisitor.post(LLJava.GotoPoint e0)
protected void	LLJava.MultiVisitor.pre(LLJava.GotoPoint e0)
boolean	LLJava.Exception.set_target(LLJava.GotoPoint val)	The entry point to the catch(){} code. (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":435.9-436.13, see this pretty print.) Updates the (mutable) instance destructively.
boolean	LLJava.Goto.set_target(LLJava.GotoPoint val)	Generated by umod; model author's documentation MISSING.
protected Format	LLJava.__Formatter.toFormat(LLJava.GotoPoint el)

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

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

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

Modifier	Constructor	Description
	Exception(LLJava.GotoInterval range, LLJava.ClassReference type, LLJava.GotoPoint target)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	Exception(LLJava.GotoInterval range, LLJava.GotoPoint target)	Synthetic minimal constructor provided by the umod compiler.
	Goto(LLJava.GotoPoint target)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Uses of LLJava.GotoPoint in eu.bandm.tools.lljava.live.impl

Methods in eu.bandm.tools.lljava.live.impl that return LLJava.GotoPoint

Modifier and Type	Method	Description
LLJava.GotoPoint	BaseCompilationContextImpl.LabelInfo.gotoRef()

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

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

Modifier and Type	Field	Description
final Expression<SourceId,LLJavaLexer.TokenType,LLJava.GotoPoint>	LLJavaGrammar.gotoReference

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

Modifier and Type	Method	Description
protected abstract LLJava.Goto	LLJavaGrammar.gotoInstruction(Reducer.Context<SourceId> context, LLJava.GotoPoint target)
protected LLJava.Goto	LLJavaParser.gotoInstruction(Reducer.Context<SourceId> context, LLJava.GotoPoint target)