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