From: Justin Seyster <jseyster@cs.sunysb.edu>
Date: Tue, 20 Jul 2010 01:25:30 +0000 (-0400)
Subject: Added the XML DTD for test case descriptions.
X-Git-Tag: release-v1.0~49^2~12
X-Git-Url: https://git.fsl.cs.stonybrook.edu/?a=commitdiff_plain;h=f3e546135d3fa0eb1a65c818421dc0e3d5e25e47;p=interaspect.git

Added the XML DTD for test case descriptions.
---

diff --git a/test/testcase.dtd b/test/testcase.dtd
new file mode 100644
index 0000000..324d786
--- /dev/null
+++ b/test/testcase.dtd
@@ -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
+>