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