<! 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 element, between the elemStart and elemEnd callbacks
callback method invoked by MarkupParser after parsing an element, 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.
externalID ::= SYSTEM S syslit PUBLIC S pubid S syslit
externalID ::= SYSTEM S syslit PUBLIC S pubid S syslit
.
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
(#x20 | #x9 | #xD | #xA)+
(#x20 | #x9 | #xD | #xA)
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.
...
Create a lookahead reader which does not influence the input
Create a lookahead reader which does not influence the input
this method assign the next character to ch and advances in input
this method assign the next character to ch and advances in input
'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...
Apply a function and return the passed value
Apply a function and return the passed value
Execute body with a variable saved and restored after execution
Execute body with a variable saved and restored after execution
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
attribute value, terminated by either ' or ".
attribute value, terminated by either ' or ". value may not contain <.
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 ::= '
{ _ } '
| "
{ _ } "
actually, Name ::= (Letter | '_' | ':') (NameChar)* but starting with ':' cannot happen Name ::= (Letter | '_') (NameChar)*
actually, Name ::= (Letter | '_' | ':') (NameChar)* but starting with ':' cannot happen Name ::= (Letter | '_') (NameChar)*
see [5] of XML 1.0 specification
pre-condition: ch != ':' // assured by definition of XMLSTART token post-condition: name does neither start, nor end in ':'
'<?' 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)
<? prolog ::= xml S .
<? prolog ::= xml S ... ?>
An XML Parser that preserves CDATA blocks and knows about HtmlEntities.
(c) David Pollak, 2007 WorldWide Conferencing, LLC.