Added the XML DTD for test case descriptions.
authorJustin Seyster <jseyster@cs.sunysb.edu>
Tue, 20 Jul 2010 01:25:30 +0000 (21:25 -0400)
committerJustin Seyster <jseyster@cs.sunysb.edu>
Wed, 1 Sep 2010 00:42:17 +0000 (20:42 -0400)
test/testcase.dtd [new file with mode: 0644]

diff --git a/test/testcase.dtd b/test/testcase.dtd
new file mode 100644 (file)
index 0000000..324d786
--- /dev/null
@@ -0,0 +1,36 @@
+<!ELEMENT testcase (plugin+, run+)>
+<!ELEMENT plugin (hook+)>
+<!ELEMENT run (using*, call+)>
+<!ELEMENT hook (arg*)>
+<!ELEMENT using EMPTY>
+<!ELEMENT call (value*)>
+<!ELEMENT arg EMPTY>
+<!ELEMENT value (#PCDATA)>
+
+<!ATTLIST testcase
+  name   CDATA #REQUIRED
+>
+<!ATTLIST plugin
+  id     CDATA #REQUIRED
+  source CDATA #REQUIRED
+>
+<!ATTLIST run
+  name   CDATA #REQUIRED
+  target CDATA #REQUIRED
+>
+<!ATTLIST hook
+  name   CDATA #REQUIRED
+>
+<!ATTLIST using
+  plugin CDATA #REQUIRED
+>
+<!ATTLIST call
+  name   CDATA #REQUIRED
+>
+<!ATTLIST arg
+  id     CDATA #REQUIRED
+  type   CDATA #REQUIRED
+>
+<!ATTLIST value
+  id     CDATA #REQUIRED
+>