cprover
invariant.cpp
Go to the documentation of this file.
1 
3 #include "invariant.h"
4 
5 #include <utility>
6 
8 {
9  return invariant_failure_containingt{std::move(expected)};
10 }
11 
13  std::string expected)
14  : expected{std::move(expected)}
15 {
16 }
17 
19  const invariant_failedt &exception) const
20 {
21  const std::string what = exception.what();
22  return what.find(expected) != std::string::npos;
23 }
24 
26 {
27  return std::string{"invariant_failedt with `.what' containing - \""} +
28  expected + "\"";
29 }
30 
31 std::ostream &
32 operator<<(std::ostream &out, const invariant_failedt &invariant_failed)
33 {
34  out << "invariant_failedt where `.what()' is \"" << invariant_failed.what()
35  << "\"";
36  return out;
37 }
invariant_failedt
A logic error, augmented with a distinguished field to hold a backtrace.
Definition: invariant.h:111
invariant_failure_containingt::invariant_failure_containingt
invariant_failure_containingt(std::string expected)
Definition: invariant.cpp:12
invariant_failure_containingt::match
bool match(const invariant_failedt &exception) const override
Definition: invariant.cpp:18
invariant_failure_containingt::expected
std::string expected
Definition: invariant.h:20
operator<<
std::ostream & operator<<(std::ostream &out, const invariant_failedt &invariant_failed)
Printing of invariant_failedt for test failure messages.
Definition: invariant.cpp:32
invariant_failure_containingt
Author: Diffblue Ltd.
Definition: invariant.h:13
invariant.h
invariant_failedt::what
virtual std::string what() const noexcept
Definition: invariant.cpp:156
invariant_failure_containing
invariant_failure_containingt invariant_failure_containing(std::string expected)
Author: Diffblue Ltd.
Definition: invariant.cpp:7
invariant_failure_containingt::describe
std::string describe() const override
Definition: invariant.cpp:25