Add constructor with reason to invalid_source_file_exceptiont

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit 3221f419f05d · 2018-10-04T15:06:56.000+01:00
diff --git a/src/util/exception_utils.cpp b/src/util/exception_utils.cpp
@@ -87,6 +87,12 @@ std::string analysis_exceptiont::what() const
   return reason;
 }
 
+invalid_source_file_exceptiont::invalid_source_file_exceptiont(
+  std::string reason)
+  : reason(std::move(reason))
+{
+}
+
 std::string invalid_source_file_exceptiont::what() const
 {
   return reason;
diff --git a/src/util/exception_utils.h b/src/util/exception_utils.h
@@ -126,6 +126,7 @@ class analysis_exceptiont : public cprover_exception_baset
 class invalid_source_file_exceptiont : public cprover_exception_baset
 {
 public:
+  explicit invalid_source_file_exceptiont(std::string reason);
   std::string what() const override;
 
 private:

Original file line number	Diff line number	Diff line change
`@@ -87,6 +87,12 @@ std::string analysis_exceptiont::what() const`
`87`	`87`	`return reason;`
`88`	`88`	`}`
`89`	`89`
	`90`	`+invalid_source_file_exceptiont::invalid_source_file_exceptiont(`
	`91`	`+ std::string reason)`
	`92`	`+ : reason(std::move(reason))`
	`93`	`+{`
	`94`	`+}`
	`95`	`+`
`90`	`96`	`std::string invalid_source_file_exceptiont::what() const`
`91`	`97`	`{`
`92`	`98`	`return reason;`
Original file line number	Diff line number	Diff line change
`@@ -126,6 +126,7 @@ class analysis_exceptiont : public cprover_exception_baset`
`126`	`126`	`class invalid_source_file_exceptiont : public cprover_exception_baset`
`127`	`127`	`{`
`128`	`128`	`public:`
	`129`	`+ explicit invalid_source_file_exceptiont(std::string reason);`
`129`	`130`	`std::string what() const override;`
`130`	`131`
`131`	`132`	`private:`