plc_config.dtd

   1 <!--
   2 Specification for PLC configuration files
   3
   4 Mark Huang <mlhuang@cs.princeton.edu>
   5 Copyright (C) 2006 The Trustees of Princeton University
   6
   7 $Id$
   8 -->
   9
  10 <!ELEMENT configuration (variables, comps)>
  11 <!ELEMENT variables (category*)>
  12 <!ELEMENT category (name, description, variablelist)>
  13 <!ATTLIST category id           CDATA #REQUIRED>
  14 <!ELEMENT variablelist (variable*)>
  15 <!ELEMENT variable (name, value, description)>
  16 <!ATTLIST variable id           CDATA #REQUIRED
  17                    type         CDATA #REQUIRED>
  18 <!ELEMENT name (#PCDATA)>
  19 <!ELEMENT description (#PCDATA)>
  20 <!ELEMENT value (#PCDATA)>
  21
  22 <!-- A best guess at the DTD for comps -->
  23 <!ELEMENT comps (group*)>
  24 <!ELEMENT group (id, name, default, description, uservisible, packagelist)>
  25 <!ELEMENT id (#PCDATA)>
  26 <!ELEMENT default (#PCDATA)>
  27 <!ELEMENT uservisible (#PCDATA)>
  28 <!ELEMENT packagelist (packagereq*)>
  29 <!ELEMENT packagereq (#PCDATA)>
  30 <!ATTLIST packagereq type       CDATA #REQUIRED>