in scala/xml
package dtd

package dtd

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)