<! attlist := ATTLIST
<! attlist := ATTLIST
holds the next character
holds the next character
callback method invoked by MarkupParser after parsing comment
callback method invoked by MarkupParser after parsing comment.
content1 ::= '<' content1 | '&' charref
content1 ::= '<' content1 | '&' charref ...
'<' content1 ::=
'<' content1 ::= ...
[22] prolog ::= XMLDecl? Misc* (doctypedecl Misc*)? [23] XMLDecl ::= '<?xml' VersionInfo EncodingDecl? SDDecl? S? '?>' [24] VersionInfo ::= S 'version' Eq ("'" VersionNum "'" | '"' VersionNum '"') [25] Eq ::= S? '=' S? [26] VersionNum ::= '1
[22] prolog ::= XMLDecl? Misc* (doctypedecl Misc*)? [23] XMLDecl ::= '<?xml' VersionInfo EncodingDecl? SDDecl? S? '?>' [24] VersionInfo ::= S 'version' Eq ("'" VersionNum "'" | '"' VersionNum '"') [25] Eq ::= S? '=' S? [26] VersionNum ::= '1.0' [27] Misc ::= Comment | PI | S
callback method invoked by MarkupParser after parsing an elementm, between the elemStart and elemEnd callbacks
callback method invoked by MarkupParser after parsing an elementm, between the elemStart and elemEnd callbacks
the position in the source file
the prefix
the local name
the attributes (metadata)
...
callback method invoked by MarkupParser after end-tag of element
callback method invoked by MarkupParser after end-tag of element.
the position in the source file
the prefix
the local name
callback method invoked by MarkupParser after start-tag of element
callback method invoked by MarkupParser after start-tag of element.
the position in the sourcefile
the prefix
the local name
the attributes (metadata)
'<' element ::= xmlTag1 '>' { xmlExpr | '{' simpleExpr '}' } ETag | xmlTag1 '/' '>'
'<' element ::= xmlTag1 '>' { xmlExpr | '{' simpleExpr '}' } ETag | xmlTag1 '/' '>'
<! element := ELEMENT
<! element := ELEMENT
<! element := ELEMENT
<! element := ELEMENT
callback method invoked by MarkupParser after parsing entity ref
callback method invoked by MarkupParser after parsing entity ref.
This method is used to compare the receiver object (this
)
with the argument object (arg0
) for equivalence
This method is used to compare the receiver object (this
)
with the argument object (arg0
) for equivalence.
The default implementations of this method is an equivalence relation:
x
of type Any
,
x.equals(x)
should return true
.x
and y
of type
Any
, x.equals(y)
should return true
if and only
if y.equals(x)
returns true
.x
, y
, and z
of type AnyRef
if x.equals(y)
returns true
and
y.equals(z)
returns
true
, then x.equals(z)
should return true
.
If you override this method, you should verify that
your implementation remains an equivalence relation.
Additionally, when overriding this method it is often necessary to
override hashCode
to ensure that objects that are
"equal" (o1.equals(o2)
returns true
)
hash to the same Int
(o1.hashCode.equals(o2.hashCode)
).
the object to compare against this object for equality.
true
if the receiver object is equivalent to the argument; false
otherwise.
externalID ::= SYSTEM S syslit PUBLIC S pubid S syslit
externalID ::= SYSTEM S syslit PUBLIC S pubid S syslit
Returns a hash code value for the object
Returns a hash code value for the object.
The default hashing algorithm is platform dependent.
Note that it is allowed for two objects to have identical hash
codes (o1.hashCode.equals(o2.hashCode)
) yet not be
equal (o1.equals(o2)
returns false
). A
degenerate implementation could always return 0
.
However, it is required that if two objects are equal
(o1.equals(o2)
returns true
) that they
have identical hash codes
(o1.hashCode.equals(o2.hashCode)
). Therefore, when
overriding this method, be sure to verify that the behavior is
consistent with the equals
method.
As the current code requires you to call nextch once manually after construction, this method formalizes that suboptimal reality
As the current code requires you to call nextch once manually after construction, this method formalizes that suboptimal reality.
stack of inputs
stack of inputs
"rec-xml/#ExtSubset" pe references may not occur within markup declarations
"rec-xml/#ExtSubset" pe references may not occur within markup declarations
These are 99% sure to be redundant but refactoring on the safe side
These are 99% sure to be redundant but refactoring on the safe side.
Name ::= ( Letter | '_' ) (NameChar)*
Name ::= ( Letter | '_' ) (NameChar)*
see [5] of XML 1.0 specification
NameChar ::= Letter | Digit | '
NameChar ::= Letter | Digit | '.' | '-' | '_' | ':' | CombiningChar | Extender
see [4] and Appendix B of XML 1.0 specification
NameStart ::= ( Letter | '_' ) where Letter means in one of the Unicode general categories { Ll, Lu, Lo, Lt, Nl }
NameStart ::= ( Letter | '_' ) where Letter means in one of the Unicode general categories { Ll, Lu, Lo, Lt, Nl }
We do not allow a name to start with ':'. see [3] and Appendix B of XML 1.0 specification
Returns true if the encoding name is a valid IANA encoding
Returns true if the encoding name is a valid IANA encoding. This method does not verify that there is a decoder available for this encoding, only that the characters are valid for an IANA encoding name.
The IANA encoding name.
returns true is this markup handler is validating
returns true is this markup handler is validating
This method should log the message given as argument somewhere as a side-effect
This method should log the message given as argument somewhere as a side-effect.
...
this method assign the next character to ch and advances in input
this method assign the next character to ch and advances in input
for the moment, replace only character references see spec 3
for the moment, replace only character references see spec 3.3.3 precond: cbuf empty
'N' notationDecl ::= "OTATION"
'N' notationDecl ::= "OTATION"
parses document type declaration and assigns it to instance variable dtd
parses document type declaration and assigns it to instance variable dtd.
<! parseDTD ::= DOCTYPE name ... >
holds the position in the source file
holds the position in the source file
if true, does not remove surplus whitespace
if true, does not remove surplus whitespace
callback method invoked by MarkupParser after parsing PI
callback method invoked by MarkupParser after parsing PI.
<? prolog ::= xml S? // this is a bit more lenient than necessary
<? prolog ::= xml S? // this is a bit more lenient than necessary...
PublicID (without system, only used in NOTATION)
PublicID (without system, only used in NOTATION)
attribute value, terminated by either ' or "
attribute value, terminated by either ' or ". value may not contain <.
AttValue ::= '
{ _ } '
| "
{ _ } "
callback method invoked by MarkupParser after parsing text
callback method invoked by MarkupParser after parsing text.
prolog, but without standalone
prolog, but without standalone
holds temporary values of pos
holds temporary values of pos
Returns a string representation of the object
Returns a string representation of the object.
The default representation is platform dependent.
attribute value, terminated by either ' or "
attribute value, terminated by either ' or ". value may not contain <.
AttValue ::= '
{ _ } '
| "
{ _ } "
parse attribute and create namespace scope, metadata [41] Attributes ::= { S Name Eq AttValue }
parse attribute and create namespace scope, metadata [41] Attributes ::= { S Name Eq AttValue }
'<! CharData ::= [CDATA[ ( {char} - {char}"]]>"{char} ) ']]>'
'<! CharData ::= [CDATA[ ( {char} - {char}"]]>"{char} ) ']]>'
see [15]
CharRef ::= "&#" '0'
CharRef ::= "&#" '0'..'9' {'0'..'9'} ";" | "&#x" '0'..'9'|'A'..'F'|'a'..'f' { hexdigit } ";"
see [66]
Comment ::= '<!--' ((Char - '-') | ('-' (Char - '-')))* '-->'
Comment ::= '<!--' ((Char - '-') | ('-' (Char - '-')))* '-->'
see [15]
scan [S] '=' [S]
scan [S] '=' [S]
[42] '<' xmlEndTag ::= '<' '/' Name S? '>'
[42] '<' xmlEndTag ::= '<' '/' Name S? '>'
entity value, terminated by either ' or "
entity value, terminated by either ' or ". value may not contain <.
AttValue ::= '
{ _ } '
| "
{ _ } "
Name ::= (Letter | '_' | ':') (NameChar)*
Name ::= (Letter | '_' | ':') (NameChar)*
see [5] of XML 1.0 specification
'<?' ProcInstr ::= Name [S ({Char} - ({Char}'>?' {Char})]'?>'
'<?' ProcInstr ::= Name [S ({Char} - ({Char}'>?' {Char})]'?>'
see [15]
scan [3] S ::= (#x20 | #x9 | #xD | #xA)+
scan [3] S ::= (#x20 | #x9 | #xD | #xA)+
skip optional space S?
skip optional space S?
parse character data
parse character data. precondition: xEmbeddedBlock == false (we are not in a scala block)
munch expected XML token, report syntax error for unexpected
munch expected XML token, report syntax error for unexpected
<? prolog ::= xml S
<? prolog ::= xml S ... ?>
An xml parser. parses XML and invokes callback methods of a MarkupHandler. Don't forget to call next.ch on a freshly instantiated parser in order to initialize it. If you get the parser from the object method, initialization is already done for you.