// Rendered by UMod Pretty Printer at 2025-07-25_14h44m56
// See also the UMod user documentation online.

MODEL DTD =
  EXT simpleMessage FROM eu.bandm.tools.message.SimpleMessage
  EXT meassageReceiver FROM eu.bandm.tools.message.MessageReceiver
  EXT xmlDocumentIdentifier FROM eu.bandm.tools.util.xml.XMLDocumentIdentifier
  EXT location FROM eu.bandm.tools.location.Location

  TOPLEVEL CLASS
  ContentModel ALGEBRAIC
  | ContentModelConstant ALGEBRAIC
        label       string
  | | Empty ALGEBRAIC
  | | Any ALGEBRAIC
  | CP ABSTRACT ALGEBRAIC
        modifier    int
  | | Seq ALGEBRAIC
        elems       SEQ CP
  | | Singleton ALGEBRAIC
        name        string
  | | Choice ALGEBRAIC
        alts        SEQ CP
  | | Abbrev ALGEBRAIC
        name        string
        body        CP
  | Mixed ALGEBRAIC
        names       SEQ string
  DefaultDecl
  | DefaultDeclConstant
        label       string
  | AttValue
        fixed       bool
        value       string
  Dtd
        locations   SEQ OPT location
        documentId  OPT xmlDocumentIdentifier
        xmlDecl     OPT XmlDecl
        markup      SEQ MarkupDecl
        entityUsage string->string
  EntityContext
  AttType ABSTRACT ALGEBRAIC
  | AttTypeAbbrev ALGEBRAIC
        label       string
  | Enumerated ALGEBRAIC
        tokens      SEQ string
  | AttTypeConstant ALGEBRAIC
        label       string
  AttDef
        location    OPT location
        locations   SEQ OPT location
        name        string
        type        AttType
        value       DefaultDecl
  EntityValue
        id          OPT xmlDocumentIdentifier
        definition  string
        replacement OPT string
  NmToken
        text        string
  MarkupDecl
        location    OPT location
        locations   SEQ OPT location
  | PI
        target      string
        text        string
  | Attlist
        element     string
        atts        SEQ AttDef
  | Element
        name        string
        content     ContentModel
  | Notation
        name        string
        id          xmlDocumentIdentifier
  | Entity
        parameter   bool
        name        string
        value       EntityValue
  | XmlDecl
        version     string
        encoding    OPT string
  | Comment
        text        string

END MODEL // DTD