ConstructingParser

<! attlist := ATTLIST

content1 ::=  '<' content1 | '&' charref ...

'<' 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.0'
[27]     Misc        ::= Comment | PI | S

callback method invoked by MarkupParser after end-tag of element.

callback method invoked by MarkupParser after start-tag of element.

'<' element ::= xmlTag1 '>'  { xmlExpr | '{' simpleExpr '}' } ETag
             | xmlTag1 '/' '>'

<! element := ELEMENT

<! element := ELEMENT

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.

"rec-xml/#ExtSubset" pe references may not occur within markup declarations

These are 99% sure to be redundant but refactoring on the safe side.

Name ::= ( Letter | '_' ) (NameChar)*

See [5] of XML 1.0 specification.

NameChar ::= Letter | Digit | '.' | '-' | '_' | ':' | #xB7
           | CombiningChar | Extender

See [4] and [4a] of Appendix B of XML 1.0 specification.

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 [4] 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. 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.

this method tells ch to get the next character when next called

'N' notationDecl ::= "OTATION"

parses document type declaration and assigns it to instance variable dtd.

<! parseDTD ::= DOCTYPE name ... >

<? prolog ::= xml S?
// this is a bit more lenient than necessary...

[12]       PubidLiteral ::=        '"' PubidChar* '"' | "'" (PubidChar - "'")* "'"

append Unicode character to name buffer

Apply a function and return the passed value

Execute body with a variable saved and restored after execution

attribute value, terminated by either ' or ". value may not contain <.

     AttValue     ::= `'` { _ } `'`
                    | `"` { _ } `"`

prolog, but without standalone

attribute value, terminated by either ' or ". value may not contain <.

parse attribute and create namespace scope, metadata

[41] Attributes    ::= { S Name Eq AttValue }

'<! CharData ::= [CDATA[ ( {char} - {char}"]]>"{char} ) ']]>'

see [15]

CharRef ::= "&#" '0'..'9' {'0'..'9'} ";" | "&#x" '0'..'9'|'A'..'F'|'a'..'f' { hexdigit } ";"

see [66]

Comment ::= ''

see [15]

scan [S] '=' [S]

[42] '<' xmlEndTag ::= '<' '/' Name S? '>'

entity value, terminated by either ' or ". value may not contain <.

     AttValue     ::= `'` { _  } `'`
                    | `"` { _ } `"`

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 ':'

'?' {Char})]'?>'

see [15]

scan [3] S ::= (#x20 | #x9 | #xD | #xA)+

skip optional space S?

parse a start or empty tag. [40] STag ::= '<' Name { S Attribute } [S] [44] EmptyElemTag ::= '<' Name { S Attribute } [S]

Take characters from input stream until given String "until" is seen. Once seen, the accumulated characters are passed along with the current Position to the supplied handler function.

<? prolog ::= xml S ... ?>

character buffer, for names

stack of inputs

returns true is this markup handler is validating

holds the next character

holds the position in the source file

holds temporary values of pos