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

Packages that use LLJava.GotoRef

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

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

Modifier and Type	Field and Description
protected LLJava.GotoRef	LLJava.Exception.target The entry point to the catch(){} code.
protected LLJava.GotoRef	LLJava.Goto.target Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Field and Description
static java.util.function.Function<LLJava.GotoRef,LLJava.Name>	LLJava.GotoRef.get_id Deprecated. Use new '::' method reference instead.
static java.util.function.Function<LLJava.Exception,LLJava.GotoRef>	LLJava.Exception.get_target Deprecated. Use new '::' method reference instead.
static java.util.function.Function<LLJava.Goto,LLJava.GotoRef>	LLJava.Goto.get_target Deprecated. Use new '::' method reference instead.
static java.util.function.Function<LLJava.GotoRef,LLJava.Block>	LLJava.GotoRef.get_target Deprecated. Use new '::' method reference instead.

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

Modifier and Type	Method and Description
LLJava.GotoRef	LLJava.GotoRef.doclone() Clones this object.
LLJava.GotoRef	LLJava.__SAX_Parser.fill_GotoRef(java.lang.Object res)
LLJava.GotoRef	LLJava.Exception.get_target() The entry point to the catch(){} code.
LLJava.GotoRef	LLJava.Goto.get_target() Generated by umod; model author's documentation MISSING.
LLJava.GotoRef	LLJava.GotoRef.initFrom(java.lang.Object o0) Copies values of all common fields from the argument.
LLJava.GotoRef	LLJava.__SAX_Parser.matchSAX_GotoRef()
LLJava.GotoRef	ControlFlowSynthesizer.point(int pc)
static LLJava.GotoRef	Factory.refCode(LLJava.Name name)

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

Modifier and Type	Method and Description
static Pattern<LLJava.GotoRef>	LLJava.GotoRef.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.GotoRef>	LLJava.GotoRef.get_target(Pattern<? super LLJava.Block> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<? super LLJava.GotoRef>	LLJava.__Patterns.term_GotoRef(Pattern<? super LLJava.CodeRef> 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.GotoRef

Modifier and Type	Method and Description
protected void	LLJava.MATCH_ONLY_00.action(LLJava.GotoRef e0)
protected void	LLJava.MultiVisitor.action(LLJava.GotoRef e0)
protected void	LLJava.Visitor.action(LLJava.GotoRef e0)
protected void	LLJava.__Formatter.action(LLJava.GotoRef el)
void	LLJava.__SAX_Writer.action(LLJava.GotoRef e0)
protected void	LLJava.MultiVisitor.descend(LLJava.GotoRef e0)
void	LLJava.__SAX_Writer.dumpfields(LLJava.GotoRef e0)
void	LLJava.__SAX_Parser.XMLPARSER_GotoRef.fillFields(LLJava.GotoRef newobj)
void	LLJava.MATCH_ONLY_00.match(LLJava.GotoRef e0)
void	LLJava.__SAX_Parser.XMLPARSER_GotoRef.parsefields(LLJava.GotoRef newobj)
protected void	LLJava.MultiVisitor.post(LLJava.GotoRef e0)
protected void	LLJava.MultiVisitor.pre(LLJava.GotoRef e0)
boolean	LLJava.Exception.set_target(LLJava.GotoRef val) The entry point to the catch(){} code.
boolean	LLJava.Goto.set_target(LLJava.GotoRef val) Generated by umod; model author's documentation MISSING.
protected Format	LLJava.__Formatter.toFormat(LLJava.GotoRef el)

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

Modifier and Type	Method and Description
static Pattern<java.lang.Object>	LLJava.__Patterns.cast_GotoRef(Pattern<? super LLJava.GotoRef> p)
static Pattern<LLJava.Exception>	LLJava.Exception.get_target(Pattern<? super LLJava.GotoRef> 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.GotoRef> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<? super LLJava.Exception>	LLJava.__Patterns.term_Exception(Pattern<? super LLJava.Node> superpattern, Pattern<? super LLJava.GotoInterval> p_range, Pattern<? super LLJava.ClassReference> p_type, Pattern<? super LLJava.GotoRef> p_target)
static Pattern<? super LLJava.Goto>	LLJava.__Patterns.term_Goto(Pattern<? super LLJava.Jump> superpattern, Pattern<? super LLJava.GotoRef> p_target)

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

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

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

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

Modifier and Type	Field and Description
Expression<SourceId,LLJavaLexer3.TokenType,LLJava.GotoRef>	LLJavaGrammar3.gotoReference

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

Modifier and Type	Method and Description
protected LLJava.Goto	LLJavaParser3.gotoInstruction(MessageReceiver<? super SimpleMessage<SourceId>> msgs, Location<SourceId> location, LLJava.GotoRef target)
protected abstract LLJava.Goto	LLJavaGrammar3.gotoInstruction(MessageReceiver<? super SimpleMessage<SourceId>> msgs, Location<SourceId> location, LLJava.GotoRef target)