Add deserialization exception class

Author: hannes-steffenhagen-diffblue

src/util/exception_utils.cpp

@@ -8,6 +8,8 @@ Author: Fotis Koutoulakis, [email protected]
 
 #include "exception_utils.h"
 
+#include <utility>
+
 std::string invalid_user_input_exceptiont::what() const noexcept
 {
   std::string res;
@@ -18,3 +20,11 @@ std::string invalid_user_input_exceptiont::what() const noexcept
   res += correct_input + "\n";
   return res;
 }
+
+deserialization_exceptiont::deserialization_exceptiont(std::string message)
+  : message(std::move(message))
+{}
+
+std::string deserialization_exceptiont::what() const noexcept {
+  return message;
+}

src/util/exception_utils.h

@@ -52,4 +52,13 @@ class system_exceptiont
   }
 };
 
+class deserialization_exceptiont
+{
+public:
+  explicit deserialization_exceptiont(std::string message);
+  std::string what() const noexcept;
+private:
+  std::string message;
+};
+
 #endif // CPROVER_UTIL_EXCEPTION_UTILS_H

src/util/parse_options.cpp

@@ -81,6 +81,11 @@ int parse_options_baset::main()
     std::cerr << e.what() << "\n";
     return CPROVER_EXIT_EXCEPTION;
   }
+  catch (const deserialization_exceptiont &e)
+  {
+    std::cerr << e.what() << '\n';
+    return CPROVER_EXIT_EXCEPTION;
+  }
 
   return CPROVER_EXIT_SUCCESS;
 }