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, locations
format
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_locations
protected 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.location
name
- is copied to field name
content
- is copied to field content
public Element(String name, DTD.ContentModel content)
public DTD.Element doclone()
Cloneable
is known
to be implemented.doclone
in class DTD.MarkupDecl
public static String getFormatHint()
('<!ELEMENT' name
)|16>((($is Abbrev content)'('content')'?($is Singleton
content)'('content')'?content))|' >'
public Format format()
format
in interface Formattable
format
in class DTD.MarkupDecl
public DTD.Element 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 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)content
public 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 .