1 files changed, 48 insertions, 0 deletions
diff --git a/lib/SMT/SMTParser.h b/lib/SMT/SMTParser.h
new file mode 100644
index 00000000..5abbee7b
--- /dev/null
+++ b/lib/SMT/SMTParser.h
@@ -0,0 +1,48 @@
+//===-- SMTParser.h -------------------------------------------------------===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
+
+#ifndef SMT_PARSER_H
+#define SMT_PARSER_H
+
+#include "parser_temp.h"
+#include "expr/Parser.h"
+
+#include <cassert>
+#include <iostream>
+#include <map>
+#include <cstring>
+
+namespace klee {
+namespace expr {
+
+class SMTParser : public klee::expr::Parser {
+ private:
+  std::string fname;
+  void *buf;
+
+ public:
+  SMTParser(const std::string filename) : fname(filename) {}
+  
+  virtual klee::expr::Decl *ParseTopLevelDecl();
+  
+  virtual void SetMaxErrors(unsigned N) { }
+  
+  virtual unsigned GetNumErrors() const {  return 1; }
+  
+  virtual ~SMTParser() {}
+  
+  void Init(void);
+};
+
+}
+}
+
+#endif
+