public static class LLJava.Slot extends Object implements Cloneable, Formattable
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected int |
index
The index is base ONE and maximally 2 ^ 222
(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":822.9-823.9, cf. |
protected LLJava.Type |
type
Generated by umod; model author's documentation MISSING.
|
format
Constructor and Description |
---|
Slot(LLJava.Type type,
int index)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
LLJava.Slot |
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_index()
The index is base ONE and maximally 2 ^ 222
(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":822.9-823.9, cf. |
static Pattern<LLJava.Slot> |
get_index(Pattern<? super Integer> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
LLJava.Type |
get_type()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.Slot> |
get_type(Pattern<? super LLJava.Type> 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.Slot |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
String |
toString() |
LLJava.Slot |
with_index(int val)
The index is base ONE and maximally 2 ^ 222
(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":822.9-823.9, cf. |
LLJava.Slot |
with_type(LLJava.Type val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(LLJava.Slot e0) |
protected static final int BASE_HASH
protected LLJava.Type type
LLJava.Type
(never null)protected int index
get_index()
,
with_index(int)
public Slot(LLJava.Type type, int index)
public LLJava.Slot 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.Slot e0)
public int hashCode()
ALGEBRAIC
.public LLJava.Slot initFrom(Object o0)
public LLJava.Type get_type()
LLJava.Type
(never null)public LLJava.Slot with_type(LLJava.Type val)
val
- the new value of type LLJava.Type
(never null)type
public int get_index()
public LLJava.Slot with_index(int val)
val
- the new value of type int(never null)index
public static Pattern<LLJava.Slot> get_type(Pattern<? super LLJava.Type> p)
LLJava.__Patterns
.public static Pattern<LLJava.Slot> get_index(Pattern<? super Integer> p)
LLJava.__Patterns
.see also the complete user documentation .