MarkupParser

adds entity/character to ts as side-effect

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

this method assign the next character to ch and advances in input

parse attribute and add it to listmap [41] Attributes ::= { S Name Eq AttValue } AttValue ::= ' { _ } ' | " { _ } " | { scalablock }

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

see [15]

checks whether next character starts a Scala block, if yes, skip it.

Comment ::= ''

see [15]

xLiteral = element { element }

'<' xPattern ::= Name [S] { xmlPattern | '{' pattern3 '}' } ETag | Name [S] '/' '>'

xScalaPatterns ::= patterns

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 <.

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

see [66]

scan [S] '=' [S]

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

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.