cprover
return_value_visitort Class Reference

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

#include <memory_predicates.h>

+ 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 ()
 
virtual void operator() (const exprt &)
 

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 107 of file memory_predicates.h.

Constructor & Destructor Documentation

◆ return_value_visitort()

return_value_visitort::return_value_visitort ( )
inline

Definition at line 110 of file memory_predicates.h.

Member Function Documentation

◆ found_return_value()

bool return_value_visitort::found_return_value ( )

Definition at line 26 of file memory_predicates.cpp.

◆ operator()()

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

Reimplemented from const_expr_visitort.

Definition at line 31 of file memory_predicates.cpp.

Member Data Documentation

◆ found

bool return_value_visitort::found
protected

Definition at line 120 of file memory_predicates.h.


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