Remove exception.h and parser_exception.h

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

6 files changed, 0 insertions, 109 deletions

diff --git a/lib/SMT/exception.h b/lib/SMT/exception.h
deleted file mode 100644
index 97f79669..00000000
--- a/lib/SMT/exception.h
+++ /dev/null
@@ -1,58 +0,0 @@
-/*****************************************************************************/
-/*!
- * \file exception.h
- * 
- * Author: Sergey Berezin
- * 
- * Created: Thu Feb  6 13:09:44 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 generic exception.  Any thrown exception must inherit from this
- * class and whenever possible, set the error message.
- */
-/*****************************************************************************/
-
-#ifndef _cvc3__exception_h_
-#define _cvc3__exception_h_
-
-#include <string>
-#include <iostream>
-
-namespace CVC3 {
-
-  class Exception {
-  protected:
-    std::string d_msg;
-  public:
-    // Constructors
-    Exception(): d_msg("Unknown exception") { }
-    Exception(const std::string& msg): d_msg(msg) { }
-    Exception(const char* msg): d_msg(msg) { }
-    // Destructor
-    virtual ~Exception() { }
-    // NON-VIRTUAL METHODs for setting and printing the error message
-    void setMessage(const std::string& msg) { d_msg = msg; }
-    // Printing: feel free to redefine toString().  When inherited,
-    // it's recommended that this method print the type of exception
-    // before the actual message.
-    virtual std::string toString() const { return d_msg; }
-    // No need to overload operator<< for the inherited classes
-    friend std::ostream& operator<<(std::ostream& os, const Exception& e);
-
-  }; // end of class Exception
-
-  inline std::ostream& operator<<(std::ostream& os, const Exception& e) {
-    return os << e.toString();
-  }
-
-} // end of namespace CVC3 
-
-#endif
diff --git a/lib/SMT/parser.cpp b/lib/SMT/parser.cpp
index fd23cc34..dc821476 100644
--- a/lib/SMT/parser.cpp
+++ b/lib/SMT/parser.cpp
@@ -24,7 +24,6 @@
 #include <iostream>
 #include "parser_temp.h"
 #include "parser.h"
-#include "parser_exception.h"
 
 using namespace std;
 
diff --git a/lib/SMT/parser.h b/lib/SMT/parser.h
index 5f18ab5f..c55d7eda 100644
--- a/lib/SMT/parser.h
+++ b/lib/SMT/parser.h
@@ -28,8 +28,6 @@
 #ifndef _cvc3__parser_h_
 #define _cvc3__parser_h_
 
-#include "exception.h"
-
 namespace CVC3 {
 
   //class Expr;
diff --git a/lib/SMT/parser_exception.h b/lib/SMT/parser_exception.h
deleted file mode 100644
index 64a8f452..00000000
--- a/lib/SMT/parser_exception.h
+++ /dev/null
@@ -1,46 +0,0 @@
-/*****************************************************************************/
-/*!
- * \file parser_exception.h
- * \brief An exception thrown by the parser.
- *
- * Author: Sergey Berezin
- *
- * Created: Thu Feb  6 13:23:39 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>
- *
- */
-/*****************************************************************************/
-
-#ifndef _cvc3__parser_exception_h_
-#define _cvc3__parser_exception_h_
-
-#include "exception.h"
-#include <string>
-#include <iostream>
-
-namespace CVC3 {
-
-  class ParserException: public Exception {
-  public:
-    // Constructors
-    ParserException() { }
-    ParserException(const std::string& msg): Exception(msg) { }
-    ParserException(const char* msg): Exception(msg) { }
-    // Destructor
-    virtual ~ParserException() { }
-    virtual std::string toString() const {
-      return "Parse Error: " + d_msg;
-    }
-  }; // end of class ParserException
-
-} // end of namespace CVC3
-
-#endif
diff --git a/lib/SMT/parser_temp.h b/lib/SMT/parser_temp.h
index ad6bf5f1..d6ad91a2 100644
--- a/lib/SMT/parser_temp.h
+++ b/lib/SMT/parser_temp.h
@@ -25,7 +25,6 @@
 
 //#include "expr.h"
 #define Expr void*
-#include "exception.h"
 
 #include <sstream>
 #include <vector>
diff --git a/lib/SMT/smtlib.y b/lib/SMT/smtlib.y
index 1de30ff7..10ed3c89 100644
--- a/lib/SMT/smtlib.y
+++ b/lib/SMT/smtlib.y
@@ -24,7 +24,6 @@
 */
 
 //#include "vc.h"
-#include "parser_exception.h"
 #include "parser_temp.h"
 
 // Exported shared data