new exception class

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@966 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

src/util/error.h

@@ -0,0 +1,37 @@
+/*******************************************************************\
+
+Module:
+
+Author: Daniel Kroening, [email protected]
+
+\*******************************************************************/
+
+#ifndef CPROVER_ERROR_H
+#define CPROVER_ERROR_H
+
+#include <exception>
+#include <sstream>
+
+#include "location.h"
+
+class error_baset:public exception
+{
+public:
+  virtual const char* what() const throw()
+  {
+    return "";
+  }
+  
+  locationt location;
+};          
+
+class error:public error_baset, public std::ostringstream
+{
+public:
+  virtual const char* what() const throw()
+  {
+    return str().c_str();
+  }
+};          
+
+#endif