return_value_visitort Class Reference

Predicate to be used with the exprt::visit() function. More...

+ Inheritance diagram for return_value_visitort:
+ Collaboration diagram for return_value_visitort:

Public Member Functions

 return_value_visitort ()
bool found_return_value ()
void operator() (const exprt &exp) override
- Public Member Functions inherited from const_expr_visitort
virtual ~const_expr_visitort ()

Protected Attributes

bool found

Detailed Description

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 33 of file code_contracts.cpp.

Constructor & Destructor Documentation

◆ return_value_visitort()

return_value_visitort::return_value_visitort ( )

Definition at line 36 of file code_contracts.cpp.

Member Function Documentation

◆ found_return_value()

bool return_value_visitort::found_return_value ( )

Definition at line 42 of file code_contracts.cpp.

◆ operator()()

void return_value_visitort::operator() ( const exprt exp)

Reimplemented from const_expr_visitort.

Definition at line 47 of file code_contracts.cpp.

Member Data Documentation

◆ found

bool return_value_visitort::found

Definition at line 56 of file code_contracts.cpp.

The documentation for this class was generated from the following file: