cprover
invariant.cpp
Go to the documentation of this file.
1
3
#include "
invariant.h
"
4
5
#include <utility>
6
7
invariant_failure_containingt
invariant_failure_containing
(std::string expected)
8
{
9
return
invariant_failure_containingt
{std::move(expected)};
10
}
11
12
invariant_failure_containingt::invariant_failure_containingt
(
13
std::string expected)
14
: expected{std::move(
expected
)}
15
{
16
}
17
18
bool
invariant_failure_containingt::match
(
19
const
invariant_failedt
&exception)
const
20
{
21
const
std::string what = exception.
what
();
22
return
what.find(
expected
) != std::string::npos;
23
}
24
25
std::string
invariant_failure_containingt::describe
()
const
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
unit
testing-utils
invariant.cpp
Generated by
1.8.20