public static class DTD.Element extends DTD.MarkupDecl
| Modifier and Type | Field and Description |
|---|---|
protected DTD.ContentModel |
content
Generated by umod; model author's documentation MISSING.
|
protected String |
name
Generated by umod; model author's documentation MISSING.
|
location, locationsformat| Constructor and Description |
|---|
Element(Location<XMLDocumentIdentifier> location,
String name,
DTD.ContentModel content)
Constructor generated according to specification #99
Constructor defined according to directive "C 99/..". |
Element(String name,
DTD.ContentModel content)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
| Modifier and Type | Method and Description |
|---|---|
DTD.Element |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
DTD.ContentModel |
get_content()
Generated by umod; model author's documentation MISSING.
|
static Pattern<DTD.Element> |
get_content(Pattern<? super DTD.ContentModel> 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.Element> |
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.Element |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_content(DTD.ContentModel 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_locationsprotected String name
get_name(),
set_name(java.lang.String)protected DTD.ContentModel content
DTD.ContentModel(never null)public Element(Location<XMLDocumentIdentifier> location, String name, DTD.ContentModel content)
location - is copied to field DTD.MarkupDecl.locationname - is copied to field namecontent - is copied to field contentpublic Element(String name, DTD.ContentModel content)
public DTD.Element doclone()
Cloneable is known
to be implemented.doclone in class DTD.MarkupDeclpublic static String getFormatHint()
('<!ELEMENT' name
)|16>((($is Abbrev content)'('content')'?($is Singleton
content)'('content')'?content))|' >' public Format format()
format in interface Formattableformat in class DTD.MarkupDeclpublic DTD.Element initFrom(Object o0)
initFrom in class DTD.MarkupDeclpublic String get_name()
public boolean set_name(String val)
val - the new value of type java.lang.String(never null)namepublic DTD.ContentModel get_content()
DTD.ContentModel(never
null)public boolean set_content(DTD.ContentModel val)
val - the new value of type DTD.ContentModel(never
null)contentpublic static Pattern<DTD.Element> get_name(Pattern<? super String> p)
DTD.__Patterns.public static Pattern<DTD.Element> get_content(Pattern<? super DTD.ContentModel> p)
DTD.__Patterns.see also the complete user documentation .