public static class LLJava.Goto extends LLJava.Jump
Modifier and Type | Field and Description |
---|---|
protected LLJava.GotoPoint |
target
Generated by umod; model author's documentation MISSING.
|
post, pre
location
format
Constructor and Description |
---|
Goto(LLJava.GotoPoint target)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
LLJava.Goto |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
LLJava.GotoPoint |
get_target()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.Goto> |
get_target(Pattern<? super LLJava.GotoPoint> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static String |
getFormatHint()
Delivers the format specification from the umod source.
|
LLJava.Goto |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_target(LLJava.GotoPoint val)
Generated by umod; model author's documentation MISSING.
|
get_post, get_post, get_pre, get_pre, set_post, set_pre
toString
get_location, get_location, set_location
protected LLJava.GotoPoint target
LLJava.GotoPoint
(never null)public Goto(LLJava.GotoPoint target)
target
- is copied to field target
public LLJava.Goto doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.Jump
public static String getFormatHint()
target
public Format format()
format
in interface Formattable
format
in class LLJava.Jump
public LLJava.Goto initFrom(Object o0)
initFrom
in class LLJava.Jump
public LLJava.GotoPoint get_target()
LLJava.GotoPoint
(never
null)public boolean set_target(LLJava.GotoPoint val)
val
- the new value of type LLJava.GotoPoint
(never null)target
public static Pattern<LLJava.Goto> get_target(Pattern<? super LLJava.GotoPoint> p)
LLJava.__Patterns
.see also the complete user documentation .