Merge pull request #3099 from hannes-steffenhagen-diffblue/feature-invalid_source_file_exception

tautschnig · web-flow · commit 060ec5d6e44c · 2018-10-04T17:58:25.000+01:00
Add constructor with reason to invalid_source_file_exceptiont
diff --git a/src/util/exception_utils.cpp b/src/util/exception_utils.cpp
@@ -98,6 +98,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
@@ -127,6 +127,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
`@@ -98,6 +98,12 @@ std::string analysis_exceptiont::what() const`
`98`	`98`	`return reason;`
`99`	`99`	`}`
`100`	`100`
	`101`	`+invalid_source_file_exceptiont::invalid_source_file_exceptiont(`
	`102`	`+ std::string reason)`
	`103`	`+ : reason(std::move(reason))`
	`104`	`+{`
	`105`	`+}`
	`106`	`+`
`101`	`107`	`std::string invalid_source_file_exceptiont::what() const`
`102`	`108`	`{`
`103`	`109`	`return reason;`
Original file line number	Diff line number	Diff line change
`@@ -127,6 +127,7 @@ class analysis_exceptiont : public cprover_exception_baset`
`127`	`127`	`class invalid_source_file_exceptiont : public cprover_exception_baset`
`128`	`128`	`{`
`129`	`129`	`public:`
	`130`	`+ explicit invalid_source_file_exceptiont(std::string reason);`
`130`	`131`	`std::string what() const override;`
`131`	`132`
`132`	`133`	`private:`