public static class DTD.TextDecl extends DTD.MarkupDecl
Modifier and Type | Field and Description |
---|---|
protected String |
encoding
Generated by umod; model author's documentation MISSING.
|
protected String |
version
Generated by umod; model author's documentation MISSING.
|
location, locations
format
Constructor and Description |
---|
TextDecl(Location<XMLDocumentIdentifier> location,
String version,
String encoding)
Constructor generated according to specification #99
Constructor defined according to directive "C 99/..". |
TextDecl(String version)
Synthetic minimal constructor provided by the umod compiler.
|
TextDecl(String version,
String encoding)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Method and Description |
---|---|
DTD.TextDecl |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
String |
get_encoding()
Generated by umod; model author's documentation MISSING.
|
static Pattern<DTD.TextDecl> |
get_encoding(Pattern<? super String> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
String |
get_version()
Generated by umod; model author's documentation MISSING.
|
static Pattern<DTD.TextDecl> |
get_version(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.TextDecl |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
boolean |
set_encoding(String val)
Generated by umod; model author's documentation MISSING.
|
boolean |
set_version(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 version
get_version()
,
set_version(java.lang.String)
protected String encoding
get_encoding()
,
set_encoding(java.lang.String)
public TextDecl(Location<XMLDocumentIdentifier> location, String version, String encoding)
location
- is copied to field DTD.MarkupDecl.location
version
- is copied to field version
encoding
- is copied to field encoding
public TextDecl(String version, String encoding)
public DTD.TextDecl doclone()
Cloneable
is known
to be implemented.doclone
in class DTD.MarkupDecl
public static String getFormatHint()
'<?xml'; ;2>(('version'|
|'='| |'"'version'"'); ;('encoding'| |'='| |'"'encoding'"')?);'?>'
public Format format()
format
in interface Formattable
format
in class DTD.MarkupDecl
public DTD.TextDecl initFrom(Object o0)
initFrom
in class DTD.MarkupDecl
public String get_version()
public boolean set_version(String val)
val
- the new value of type java.lang.String(never null)version
public String get_encoding()
public boolean set_encoding(String val)
val
- the new value of type java.lang.String(maybe null)encoding
public static Pattern<DTD.TextDecl> get_version(Pattern<? super String> p)
DTD.__Patterns
.public static Pattern<DTD.TextDecl> get_encoding(Pattern<? super String> p)
DTD.__Patterns
.see also the complete user documentation .