public static class LLJava.StackFrameDelta extends Object implements Cloneable, Formattable
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected int |
delta
Generated by umod; model author's documentation MISSING.
|
protected LLJava.StackFrame |
next
Generated by umod; model author's documentation MISSING.
|
format
Constructor and Description |
---|
StackFrameDelta(int delta,
LLJava.StackFrame next)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
LLJava.StackFrameDelta |
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 by inheritance from some ancestor class.
|
int |
get_delta()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.StackFrameDelta> |
get_delta(Pattern<? super Integer> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
LLJava.StackFrame |
get_next()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.StackFrameDelta> |
get_next(Pattern<? super LLJava.StackFrame> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
int |
hashCode()
Generated by umod because this class is
ALGEBRAIC . |
LLJava.StackFrameDelta |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
LLJava.StackFrameDelta |
with_delta(int val)
Generated by umod; model author's documentation MISSING.
|
LLJava.StackFrameDelta |
with_next(LLJava.StackFrame val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(LLJava.StackFrameDelta e0) |
protected static final int BASE_HASH
protected int delta
get_delta()
,
with_delta(int)
protected LLJava.StackFrame next
LLJava.StackFrame
(never null)public StackFrameDelta(int delta, LLJava.StackFrame next)
public LLJava.StackFrameDelta doclone()
Cloneable
is known
to be implemented.public Format format()
format
in interface Formattable
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(LLJava.StackFrameDelta e0)
public int hashCode()
ALGEBRAIC
.public LLJava.StackFrameDelta initFrom(Object o0)
public int get_delta()
public LLJava.StackFrameDelta with_delta(int val)
val
- the new value of type int(never null)delta
public LLJava.StackFrame get_next()
LLJava.StackFrame
(never
null)public LLJava.StackFrameDelta with_next(LLJava.StackFrame val)
val
- the new value of type LLJava.StackFrame
(never null)next
public static Pattern<LLJava.StackFrameDelta> get_delta(Pattern<? super Integer> p)
LLJava.__Patterns
.public static Pattern<LLJava.StackFrameDelta> get_next(Pattern<? super LLJava.StackFrame> p)
LLJava.__Patterns
.see also the complete user documentation .