public static class DTD.Notation extends DTD.MarkupDecl
Modifier and Type | Field and Description |
---|---|
protected XMLDocumentIdentifier |
id
Generated by umod; model author's documentation MISSING.
|
protected String |
name
Generated by umod; model author's documentation MISSING.
|
location, locations
format
Constructor and Description |
---|
Notation(Location<XMLDocumentIdentifier> location,
String name,
XMLDocumentIdentifier id)
Constructor generated according to specification #99
Constructor defined according to directive "C 99/..". |
Notation(String name,
XMLDocumentIdentifier id)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
DTD.Notation |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
XMLDocumentIdentifier |
get_id()
Generated by umod; model author's documentation MISSING.
|
static Pattern<DTD.Notation> |
get_id(Pattern<? super XMLDocumentIdentifier> 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.Notation> |
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.
|
DTD.Notation |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_id(XMLDocumentIdentifier val)
Generated by umod; model author's documentation MISSING.
|
boolean |
set_name(String val)
Generated by umod; model author's documentation MISSING.
|
descend_locations, get_location, get_location, get_locations, get_locations, set_location, set_locations
protected String name
get_name()
,
set_name(java.lang.String)
protected XMLDocumentIdentifier id
XMLDocumentIdentifier
(never null)public Notation(Location<XMLDocumentIdentifier> location, String name, XMLDocumentIdentifier id)
location
- is copied to field DTD.MarkupDecl.location
name
- is copied to field name
id
- is copied to field id
public Notation(String name, XMLDocumentIdentifier id)
public DTD.Notation doclone()
Cloneable
is known
to be implemented.doclone
in class DTD.MarkupDecl
public static String getFormatHint()
'<!NOTATION' name 2>id
public Format format()
format
in interface Formattable
format
in class DTD.MarkupDecl
public DTD.Notation initFrom(Object o0)
initFrom
in class DTD.MarkupDecl
public String get_name()
public boolean set_name(String val)
val
- the new value of type java.lang.String(never null)name
public XMLDocumentIdentifier get_id()
XMLDocumentIdentifier
(never null)public boolean set_id(XMLDocumentIdentifier val)
val
- the new value of type XMLDocumentIdentifier
(never null)id
public static Pattern<DTD.Notation> get_name(Pattern<? super String> p)
DTD.__Patterns
.public static Pattern<DTD.Notation> get_id(Pattern<? super XMLDocumentIdentifier> p)
DTD.__Patterns
.see also the complete user documentation .