|
Scala
1.4.0.3 |
|||
Object Summary | |
case
|
object ANY
|
object ContentModel
|
|
object ContentModelParser
Parser for regexps (content models in DTD element declarations) |
|
case
|
object EMPTY
|
case
|
object IMPLIED
|
object MakeValidationException
|
|
case
|
object PCDATA
|
case
|
object REQUIRED
|
Trait Summary | |
trait DtdTypeSymbol()
|
Class Summary | |
case
|
class AttListDecl(name: String, attrs: List[AttrDecl])
|
case
|
class AttrDecl(name: String, tpe: String, default: DefaultDecl)
an attribute declaration. |
abstract sealed
|
class ContentModel()
|
case
|
class DEFAULT(fixed: Boolean, attValue: String)
|
abstract
|
class DFAContentModel()
|
abstract
|
class DTD()
a document type declaration |
abstract
|
class Decl()
|
abstract
|
class DefaultDecl()
|
case
|
class DocType(name: String, extID: ExternalID, intSubset: Seq[Decl])
an XML node for document type declaration |
case
|
class ELEMENTS(r: RegExp)
|
case
|
class ElemDecl(name: String, contentModel: ContentModel)
an element declaration |
class ElementValidator()
validate children and/or attributes of an element exceptions are created but not thrown. |
|
abstract
|
class EntityDecl()
an entity declaration |
abstract
|
class EntityDef()
|
case
|
class ExtDef(extID: ExternalID)
|
abstract
|
class ExternalID()
an ExternalIDs - either PublicID or SystemID |
case
|
class IntDef(value: String)
|
case
|
class MIXED(r: RegExp)
|
abstract
|
class MarkupDecl()
|
case
|
class NotationDecl(name: String, extID: ExternalID)
a notation declaration |
case
|
class PEReference(ent: String)
a parsed entity reference |
case
|
class ParameterEntityDecl(name: String, entdef: EntityDef)
a parameter entity declaration |
case
|
class ParsedEntityDecl(name: String, entdef: EntityDef)
a parsed general entity declaration |
case
|
class PublicID(publicId: String, systemId: String)
a public identifier |
class Scanner()
Scanner for regexps (content models in DTD element declarations) todo: cleanup |
|
case
|
class SystemID(systemId: String)
a system identifier |
class Tokens()
|
|
case
|
class UnparsedEntityDecl(name: String, extID: ExternalID, notation: String)
an unparsed entity declaration |
case
|
class ValidationException(e: String)
|
|
Scala
1.4.0.3 |
|||