Predicate to be used with the exprt::visit() function.
More...
Predicate to be used with the exprt::visit() function.
The function found_return_value() will return true
iff this predicate is called on an expr that contains __CPROVER_return_value
.
Definition at line 36 of file code_contracts.cpp.
◆ return_value_visitort()
return_value_visitort::return_value_visitort |
( |
| ) |
|
|
inline |
◆ found_return_value()
bool return_value_visitort::found_return_value |
( |
| ) |
|
|
inline |
◆ operator()()
void return_value_visitort::operator() |
( |
const exprt & |
exp | ) |
|
|
inlineoverridevirtual |
◆ found
bool return_value_visitort::found |
|
protected |
The documentation for this class was generated from the following file: