Moved the interpreter

[repair.git] / Repair / RepairInterpreter / dparser.h

diff --git a/Repair/RepairInterpreter/dparser.h b/Repair/RepairInterpreter/dparser.h
new file mode 100755 (executable)
index 0000000..2ba7734
--- /dev/null
+++ b/Repair/RepairInterpreter/dparser.h
@@ -0,0 +1,20 @@
+#ifndef DPARSER_H
+#define DPARSER_H
+#include "common.h"
+#include <iostream.h>
+#include <stdio.h>
+#include "classlist.h"
+
+class Dparser {
+ public:
+  Dparser(Reader *r);
+  DomainRelation * parsesetrelation();
+ private:
+  DomainSet * parseset();
+  DRelation * parserelation();
+  Reader *reader;
+  void skiptoken();
+  void needtoken(int);
+  void error();
+};
+#endif