Moved the interpreter

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

diff --git a/Repair/RepairInterpreter/oparser.h b/Repair/RepairInterpreter/oparser.h
new file mode 100755 (executable)
index 0000000..f3329c4
--- /dev/null
+++ b/Repair/RepairInterpreter/oparser.h
@@ -0,0 +1,28 @@
+#ifndef ObjectModelParser_H
+#define ObjectModelParser_H
+
+#include "common.h"
+#include <iostream.h>
+#include <stdio.h>
+#include "classlist.h"
+
+class Parser {
+ public:
+  Parser(Reader *r);
+  Constraint * parseconstraint();
+  
+ private:
+  Elementexpr * checkdot(Elementexpr * incoming);
+  Constraint * parsequantifiers();
+  Quantifier * parsequantifier();
+  Set * parseset();
+  Setexpr * parsesetexpr();
+  Statement * parsestatement(bool);
+  Elementexpr * parseelementexpr();
+  Predicate * parsepredicate();
+  void skiptoken();
+  void needtoken(int);
+  void error();
+  Reader *reader;
+};
+#endif