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