Removed parser_temp.h. Adapted the code to use SMTParser directly.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73215 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 0 insertions, 90 deletions

diff --git a/lib/SMT/parser_temp.h b/lib/SMT/parser_temp.h
deleted file mode 100644
index ce0eecc8..00000000
--- a/lib/SMT/parser_temp.h
+++ /dev/null
@@ -1,90 +0,0 @@
-/*****************************************************************************/
-/*!
- * \file parser_temp.h
- *
- * Author: Sergey Berezin
- *
- * Created: Wed Feb  5 17:53:02 2003
- *
- * <hr>
- *
- * License to use, copy, modify, sell and/or distribute this software
- * and its documentation for any purpose is hereby granted without
- * royalty, subject to the terms and conditions defined in the \ref
- * LICENSE file provided with this distribution.
- *
- * <hr>
- *
- * A class used to communicate with the actual parser.  No one else
- * should use it.
- */
-/*****************************************************************************/
-
-#ifndef _cvc3__parser_temp_h_
-#define _cvc3__parser_temp_h_
-
-#include "expr/Parser.h"
-
-#include <sstream>
-#include <vector>
-#include <iostream>
-
-namespace CVC3 {
-
-  class ParserTemp {
-  private:
-    // Counter for uniqueID of bound variables
-    int d_uid;
-    // The main prompt when running interactive
-    std::string prompt1;
-    // The interactive prompt in the middle of a multi-line command
-    std::string prompt2;
-    // The currently used prompt
-    std::string prompt;
-  public:
-    std::istream* is;
-    // The current input line
-    int lineNum;
-    // File name
-    std::string fileName;
-    // The last parsed Expr
-    klee::expr::ExprHandle expr;
-    // Whether we are done or not
-    bool done;
-    // Whether we are running interactive
-    bool interactive;
-    // Whether arrays are enabled for smt-lib format
-    bool arrFlag;
-    // Whether bit-vectors are enabled for smt-lib format
-    bool bvFlag;
-    // Size of bit-vectors for smt-lib format
-    int bvSize;
-    // Did we encounter a formula query (smtlib)
-    bool queryParsed;
-    // Default constructor
-    ParserTemp() : d_uid(0), prompt1("CVC> "), prompt2("- "),
-      prompt("CVC> "), lineNum(1), done(false), arrFlag(false), queryParsed(false) { }
-    // Parser error handling (implemented in parser.cpp)
-    int error(const std::string& s) {
-      // FIXME: Fail better?
-      std::cerr << "error: " << s << "\n";
-      exit(1);
-      return 0;
-    }
-    // Get the next uniqueID as a string
-    std::string uniqueID() {
-      std::ostringstream ss;
-      ss << d_uid++;
-      return ss.str();
-    }
-    // Get the current prompt
-    std::string getPrompt() { return prompt; }
-    // Set the prompt to the main one
-    void setPrompt1() { prompt = prompt1; }
-    // Set the prompt to the secondary one
-    void setPrompt2() { prompt = prompt2; }
-  };
-
-} // end of namespace CVC3
-
-#endif