public static class DTD.Abbrev extends DTD.CP
Modifier and Type | Field and Description |
---|---|
protected static int |
BASE_HASH |
protected DTD.CP |
body
Generated by umod; model author's documentation MISSING.
|
protected String |
name
Generated by umod; model author's documentation MISSING.
|
ANY, EMPTY
format
Constructor and Description |
---|
Abbrev(int modifier,
String name,
DTD.CP body)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Abbrev(String name,
DTD.CP body)
Constructor generated according to specification #1
Constructor defined according to directive "C 1/..". |
Modifier and Type | Method and Description |
---|---|
DTD.Abbrev |
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.
|
DTD.CP |
get_body()
Generated by umod; model author's documentation MISSING.
|
static Pattern<DTD.Abbrev> |
get_body(Pattern<? super DTD.CP> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
String |
get_name()
Generated by umod; model author's documentation MISSING.
|
static Pattern<DTD.Abbrev> |
get_name(Pattern<? super 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.Abbrev |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
DTD.CP |
modify(int modifier) |
DTD.Abbrev |
with_body(DTD.CP val)
Generated by umod; model author's documentation MISSING.
|
DTD.Abbrev |
with_name(String val)
Generated by umod; model author's documentation MISSING.
|
boolean |
x_equals(DTD.Abbrev e0) |
combine, get_modifier, get_modifier, with_modifier
x_equals
protected static final int BASE_HASH
protected String name
get_name()
,
with_name(java.lang.String)
protected DTD.CP body
DTD.CP
(never null)get_body()
,
with_body(eu.bandm.tools.dtd.DTD.CP)
public Abbrev(int modifier, String name, DTD.CP body)
modifier
- is copied to field DTD.CP.modifier
name
- is copied to field name
body
- is copied to field body
public DTD.Abbrev doclone()
Cloneable
is known
to be implemented.public static String getFormatHint()
('(%'name';)'$switch
$mode{1:'[[='body']]'}$switch
modifier{0:$throw,1:'?',2:'*',3:'+'})?('%'name';'$switch
$mode{1:'[[='body']]'})
public Format format()
format
in interface Formattable
format
in class DTD.CP
public boolean equals(Object e0)
ALGEBRAIC
.equals
in class DTD.ContentModel
public boolean x_equals(DTD.Abbrev e0)
public int hashCode()
ALGEBRAIC
.hashCode
in class DTD.ContentModel
public DTD.Abbrev initFrom(Object o0)
public String get_name()
public DTD.Abbrev with_name(String val)
val
- the new value of type java.lang.String(never null)name
public DTD.CP get_body()
DTD.CP
(never null)public DTD.Abbrev with_body(DTD.CP val)
public static Pattern<DTD.Abbrev> get_name(Pattern<? super String> p)
DTD.__Patterns
.public static Pattern<DTD.Abbrev> get_body(Pattern<? super DTD.CP> p)
DTD.__Patterns
.see also the complete user documentation .