public static class LLJava.Switch extends LLJava.Instruction
Modifier and Type | Field and Description |
---|---|
protected CheckedList<LLJava.Case> |
cases
Generated by umod; model author's documentation MISSING.
|
post, pre
location
format
Constructor and Description |
---|
Switch()
Synthetic minimal constructor provided by the umod compiler.
|
Switch(CheckedList<LLJava.Case> cases)
Constructor generated according to specification #1
Constructor defined according to directive "C 1/..". |
Modifier and Type | Method and Description |
---|---|
void |
descend_cases(LLJava.MATCH_ONLY_00 visitor) |
LLJava.Switch |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
CheckedList<LLJava.Case> |
get_cases()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.Switch> |
get_cases(Pattern<? super CheckedList<LLJava.Case>> 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.Switch |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_cases(CheckedList<LLJava.Case> 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 CheckedList<LLJava.Case> cases
CheckedList
<LLJava.Case
(never
null)>(never null)public Switch(CheckedList<LLJava.Case> cases)
cases
- is copied to field cases
public Switch()
public LLJava.Switch doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.Instruction
public static String getFormatHint()
'switch' '{'/cases[/]/'}'
public Format format()
format
in interface Formattable
format
in class LLJava.Instruction
public LLJava.Switch initFrom(Object o0)
initFrom
in class LLJava.Instruction
public CheckedList<LLJava.Case> get_cases()
CheckedList
<LLJava.Case
(never
null)>(never null)public boolean set_cases(CheckedList<LLJava.Case> val)
val
- the new value of type CheckedList
<LLJava.Case
(never
null)>(never null)cases
public void descend_cases(LLJava.MATCH_ONLY_00 visitor)
public static Pattern<LLJava.Switch> get_cases(Pattern<? super CheckedList<LLJava.Case>> p)
LLJava.__Patterns
.see also the complete user documentation .