X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=plc_config.dtd;fp=plc_config.dtd;h=9eea2fa1deedebe5c592ede4c7255a06f2b2e070;hb=b11154fa3285f4ce5294fd8c3f65a548e87d20af;hp=0000000000000000000000000000000000000000;hpb=2baa8a8d4f1fc9574cc35f19b67b41c689b66a8a;p=myplc.git

diff --git a/plc_config.dtd b/plc_config.dtd
new file mode 100644
index 0000000..9eea2fa
--- /dev/null
+++ b/plc_config.dtd
@@ -0,0 +1,30 @@
+<!--
+Specification for PLC configuration files
+
+Mark Huang <mlhuang@cs.princeton.edu>
+Copyright (C) 2006 The Trustees of Princeton University
+
+$Id$
+-->
+
+<!ELEMENT configuration (variables, comps)>
+<!ELEMENT variables (category*)>
+<!ELEMENT category (name, description, variablelist)>
+<!ATTLIST category id		CDATA #REQUIRED>
+<!ELEMENT variablelist (variable*)>
+<!ELEMENT variable (name, value, description)>
+<!ATTLIST variable id		CDATA #REQUIRED
+                   type		CDATA #REQUIRED>
+<!ELEMENT name (#PCDATA)>
+<!ELEMENT description (#PCDATA)>
+<!ELEMENT value (#PCDATA)>
+
+<!-- A best guess at the DTD for comps -->
+<!ELEMENT comps (group*)>
+<!ELEMENT group (id, name, default, description, uservisible, packagelist)>
+<!ELEMENT id (#PCDATA)>
+<!ELEMENT default (#PCDATA)>
+<!ELEMENT uservisible (#PCDATA)>
+<!ELEMENT packagelist (packagereq*)>
+<!ELEMENT packagereq (#PCDATA)>
+<!ATTLIST packagereq type	CDATA #REQUIRED>