public static class LLJava.Case extends LLJava.Node
switch
case.
Modifier and Type | Field and Description |
---|---|
protected LLJava.CodePoint |
body
Generated by umod; model author's documentation MISSING.
|
protected boolean |
isDefault
Generated by umod; model author's documentation MISSING.
|
protected CheckedSet<Integer> |
labels
Generated by umod; model author's documentation MISSING.
|
location
format
Constructor and Description |
---|
Case(CheckedSet<Integer> labels,
boolean isDefault,
LLJava.CodePoint body)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Case(LLJava.CodePoint body)
Constructor generated according to specification #1
Constructor defined according to directive "C 1/..". |
Modifier and Type | Method and Description |
---|---|
void |
descend_labels(LLJava.MATCH_ONLY_00 visitor) |
LLJava.Case |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
LLJava.CodePoint |
get_body()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.Case> |
get_body(Pattern<? super LLJava.CodePoint> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
boolean |
get_isDefault()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.Case> |
get_isDefault(Pattern<? super Boolean> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
CheckedSet<Integer> |
get_labels()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.Case> |
get_labels(Pattern<? super CheckedSet<Integer>> 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.Case |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_body(LLJava.CodePoint val)
Generated by umod; model author's documentation MISSING.
|
boolean |
set_isDefault(boolean val)
Generated by umod; model author's documentation MISSING.
|
boolean |
set_labels(CheckedSet<Integer> val)
Generated by umod; model author's documentation MISSING.
|
get_location, get_location, set_location
protected CheckedSet<Integer> labels
CheckedSet
<Integer
(never null)>(never null)protected boolean isDefault
get_isDefault()
,
set_isDefault(boolean)
protected LLJava.CodePoint body
LLJava.CodePoint
(never null)public Case(CheckedSet<Integer> labels, boolean isDefault, LLJava.CodePoint body)
public Case(LLJava.CodePoint body)
body
- is copied to field body
public LLJava.Case doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.Node
public static String getFormatHint()
labels{'case'
$this':'}[/]/$switch isDefault{true:'default'':',}/>body
public Format format()
format
in interface Formattable
format
in class LLJava.Node
public LLJava.Case initFrom(Object o0)
initFrom
in class LLJava.Node
public CheckedSet<Integer> get_labels()
CheckedSet
<Integer
(never null)>(never null)public boolean set_labels(CheckedSet<Integer> val)
val
- the new value of type CheckedSet
<Integer
(never null)>(never null)labels
public void descend_labels(LLJava.MATCH_ONLY_00 visitor)
public boolean get_isDefault()
public boolean set_isDefault(boolean val)
val
- the new value of type boolean(never null)isDefault
public LLJava.CodePoint get_body()
LLJava.CodePoint
(never
null)public boolean set_body(LLJava.CodePoint val)
val
- the new value of type LLJava.CodePoint
(never null)body
public static Pattern<LLJava.Case> get_labels(Pattern<? super CheckedSet<Integer>> p)
LLJava.__Patterns
.public static Pattern<LLJava.Case> get_isDefault(Pattern<? super Boolean> p)
LLJava.__Patterns
.public static Pattern<LLJava.Case> get_body(Pattern<? super LLJava.CodePoint> p)
LLJava.__Patterns
.see also the complete user documentation .