dtd/game.dtd

   1 <!ELEMENT title (#PCDATA)>
   2 <!ELEMENT version (#PCDATA)>
   3 <!ELEMENT author (#PCDATA)>
   4 <!ELEMENT about (#PCDATA)>
   5 <!ELEMENT icon (#PCDATA)>
   6
   7 <!ELEMENT meta (title, version, author+, about, icon)>
   8
   9 <!ELEMENT name (#PCDATA)>
  10 <!ELEMENT net EMPTY>
  11
  12 <!ELEMENT screen (width , height)>
  13 <!ELEMENT width (#PCDATA)>
  14 <!ELEMENT height (#PCDATA)>
  15
  16 <!ELEMENT presentation (name, screen, net?)>
  17
  18 <!ELEMENT plugins (graphics_p, audio_p, input, script, extra*)>
  19 <!ELEMENT graphics_p (#PCDATA)>
  20 <!ELEMENT audio_p (#PCDATA)>
  21 <!ELEMENT input (#PCDATA)>
  22 <!ELEMENT script (#PCDATA)>
  23 <!ELEMENT extra (#PCDATA)>
  24
  25 <!ELEMENT plugin (#PCDATA)>
  26 <!ELEMENT filename (#PCDATA)>
  27
  28 <!ELEMENT graphics (name, plugin, filename)>
  29 <!ELEMENT audio (name, filename)>
  30
  31 <!ELEMENT media ((graphics|audio)*)>
  32
  33 <!ELEMENT level (#PCDATA)>
  34 <!ELEMENT actor (#PCDATA)>
  35
  36 <!ELEMENT controls (event*)>
  37 <!ELEMENT event (name, default)>
  38 <!ELEMENT default (#PCDATA)>
  39
  40 <!ELEMENT game
  41   (meta, presentation+, controls, plugins, media, (actor| level)*)>