public static class DTD.Enumerated extends DTD.AttType
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected CheckedList<String> |
tokens
Generated by umod; model author's documentation MISSING.
|
CDATA, ENTITIES, ENTITY, ID, IDREF, IDREFS, NMTOKEN, NMTOKENS
format
Constructor and Description |
---|
Enumerated()
Synthetic minimal constructor provided by the umod compiler.
|
Enumerated(CheckedList<String> tokens)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
DTD.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.
|
CheckedList<String> |
get_tokens()
Generated by umod; model author's documentation MISSING.
|
static Pattern<DTD.Enumerated> |
get_tokens(Pattern<? super CheckedList<String>> 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 . |
DTD.Enumerated |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
DTD.Enumerated |
with_tokens(CheckedList<String> val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(DTD.Enumerated e0) |
protected static final int BASE_HASH
protected CheckedList<String> tokens
CheckedList
<java.lang.String(never
null)>(never null)public Enumerated(CheckedList<String> tokens)
tokens
- is copied to field tokens
public Enumerated()
public DTD.Enumerated doclone()
Cloneable
is known
to be implemented.doclone
in class DTD.AttType
public static String getFormatHint()
tokens['('|' | ';')']
public Format format()
format
in interface Formattable
format
in class DTD.AttType
public boolean equals(Object e0)
ALGEBRAIC
.public boolean x_equals(DTD.Enumerated e0)
public int hashCode()
ALGEBRAIC
.public DTD.Enumerated initFrom(Object o0)
initFrom
in class DTD.AttType
public CheckedList<String> get_tokens()
CheckedList
<java.lang.String(never
null)>(never null)public DTD.Enumerated with_tokens(CheckedList<String> val)
val
- the new value of type CheckedList
<java.lang.String(never
null)>(never null)tokens
public static Pattern<DTD.Enumerated> get_tokens(Pattern<? super CheckedList<String>> p)
DTD.__Patterns
.see also the complete user documentation .