public static class LLJava.StackFrame extends Object implements Cloneable, Formattable
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected CheckedList<LLJava.VType> |
locals
Generated by umod; model author's documentation MISSING.
|
protected CheckedList<LLJava.VType> |
operands
Generated by umod; model author's documentation MISSING.
|
protected boolean |
uninitThis
Generated by umod; model author's documentation MISSING.
|
format
Constructor and Description |
---|
StackFrame()
Synthetic minimal constructor provided by the umod compiler.
|
Modifier and Type | Method and Description |
---|---|
void |
descend_locals(LLJava.MATCH_ONLY_00 visitor) |
void |
descend_operands(LLJava.MATCH_ONLY_00 visitor) |
LLJava.StackFrame |
doclone()
Clones this object.
|
boolean |
equals(Object e0)
Generated by umod because this class is
ALGEBRAIC . |
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
CheckedList<LLJava.VType> |
get_locals()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.StackFrame> |
get_locals(Pattern<? super CheckedList<LLJava.VType>> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
CheckedList<LLJava.VType> |
get_operands()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.StackFrame> |
get_operands(Pattern<? super CheckedList<LLJava.VType>> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
boolean |
get_uninitThis()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.StackFrame> |
get_uninitThis(Pattern<? super Boolean> 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.
|
int |
hashCode()
Generated by umod because this class is
ALGEBRAIC . |
LLJava.StackFrame |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
LLJava.StackFrame |
with_locals(CheckedList<LLJava.VType> val)
Generated by umod; model author's documentation MISSING.
|
LLJava.StackFrame |
with_operands(CheckedList<LLJava.VType> val)
Generated by umod; model author's documentation MISSING.
|
LLJava.StackFrame |
with_uninitThis(boolean val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(LLJava.StackFrame e0) |
protected static final int BASE_HASH
protected CheckedList<LLJava.VType> locals
CheckedList
<LLJava.VType
(never
null)>(never null)protected CheckedList<LLJava.VType> operands
CheckedList
<LLJava.VType
(never
null)>(never null)protected boolean uninitThis
get_uninitThis()
,
with_uninitThis(boolean)
public StackFrame()
public LLJava.StackFrame doclone()
Cloneable
is known
to be implemented.public static String getFormatHint()
locals['[',',' ,] '/'
operands[,',' ,']']
public Format format()
format
in interface Formattable
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(LLJava.StackFrame e0)
public int hashCode()
ALGEBRAIC
.public LLJava.StackFrame initFrom(Object o0)
public CheckedList<LLJava.VType> get_locals()
CheckedList
<LLJava.VType
(never
null)>(never null)public LLJava.StackFrame with_locals(CheckedList<LLJava.VType> val)
val
- the new value of type CheckedList
<LLJava.VType
(never
null)>(never null)locals
public void descend_locals(LLJava.MATCH_ONLY_00 visitor)
public CheckedList<LLJava.VType> get_operands()
CheckedList
<LLJava.VType
(never
null)>(never null)public LLJava.StackFrame with_operands(CheckedList<LLJava.VType> val)
val
- the new value of type CheckedList
<LLJava.VType
(never
null)>(never null)operands
public void descend_operands(LLJava.MATCH_ONLY_00 visitor)
public boolean get_uninitThis()
public LLJava.StackFrame with_uninitThis(boolean val)
val
- the new value of type boolean(never null)uninitThis
public static Pattern<LLJava.StackFrame> get_locals(Pattern<? super CheckedList<LLJava.VType>> p)
LLJava.__Patterns
.public static Pattern<LLJava.StackFrame> get_operands(Pattern<? super CheckedList<LLJava.VType>> p)
LLJava.__Patterns
.public static Pattern<LLJava.StackFrame> get_uninitThis(Pattern<? super Boolean> p)
LLJava.__Patterns
.see also the complete user documentation .