public static class DTM.Enumerated extends DTM.AttributeType
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
static Function<DTM.Enumerated,CheckedSet<String>> |
get_values
Deprecated.
Use new '::' method reference instead.
|
protected CheckedSet<String> |
values
Generated by umod; model author's documentation MISSING.
|
format
Constructor and Description |
---|
Enumerated()
Synthetic minimal constructor provided by the umod compiler.
|
Modifier and Type | Method and Description |
---|---|
DTM.Enumerated |
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.
|
CheckedSet<String> |
get_values()
Generated by umod; model author's documentation MISSING.
|
static String |
getFormatHint()
Delivers the format specification from the umod source.
|
int |
hashCode()
Generated by umod because this class is
ALGEBRAIC . |
DTM.Enumerated |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
DTM.Enumerated |
with_values(CheckedSet<String> val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(DTM.Enumerated e0) |
protected static final int BASE_HASH
protected CheckedSet<String> values
CheckedSet
<java.lang.String(never
null)>(never null)@Deprecated public static final Function<DTM.Enumerated,CheckedSet<String>> get_values
public Enumerated()
public DTM.Enumerated doclone()
Cloneable
is known
to be implemented.doclone
in class DTM.AttributeType
public static String getFormatHint()
values['(', '|' ,')']
public Format format()
format
in interface Formattable
format
in class DTM.AttributeType
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(DTM.Enumerated e0)
public int hashCode()
ALGEBRAIC
.public DTM.Enumerated initFrom(Object o0)
initFrom
in class DTM.AttributeType
public CheckedSet<String> get_values()
CheckedSet
<java.lang.String(never
null)>(never null)public DTM.Enumerated with_values(CheckedSet<String> val)
val
- the new value of type CheckedSet
<java.lang.String(never
null)>(never null)values
see also the complete user documentation .