public static class LLJava.ArrayType extends LLJava.RefType
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected LLJava.Type |
element
Generated by umod; model author's documentation MISSING.
|
format
Constructor and Description |
---|
ArrayType(LLJava.Type element)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
LLJava.ArrayType |
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.
|
LLJava.Type |
get_element()
Generated by umod; model author's documentation MISSING.
|
static Pattern<LLJava.ArrayType> |
get_element(Pattern<? super LLJava.Type> 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.ArrayType |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
LLJava.ArrayType |
with_element(LLJava.Type val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(LLJava.ArrayType e0) |
protected static final int BASE_HASH
protected LLJava.Type element
LLJava.Type
(never null)public ArrayType(LLJava.Type element)
element
- is copied to field element
public LLJava.ArrayType doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.RefType
public static String getFormatHint()
element'[]'
public Format format()
format
in interface Formattable
format
in class LLJava.RefType
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(LLJava.ArrayType e0)
public int hashCode()
ALGEBRAIC
.public LLJava.ArrayType initFrom(Object o0)
initFrom
in class LLJava.RefType
public LLJava.Type get_element()
LLJava.Type
(never null)public LLJava.ArrayType with_element(LLJava.Type val)
val
- the new value of type LLJava.Type
(never null)element
public static Pattern<LLJava.ArrayType> get_element(Pattern<? super LLJava.Type> p)
LLJava.__Patterns
.see also the complete user documentation .