Loading...
Searching...
No Matches
simple_entryt Class Reference
#include <write_stack_entry.h>
+ Inheritance diagram for simple_entryt:
+ Collaboration diagram for simple_entryt:
Build a simple entry based off a single expression.
Get the expression part needed to read this stack entry.
Try to combine a new stack element with the current top of the stack.
Detailed Description
Constructor & Destructor Documentation
◆ simple_entryt()
simple_entryt::simple_entryt
(
exprt
expr )
Build a simple entry based off a single expression.
- Parameters
-
expr The expression being represented
Definition at line 32 of file write_stack_entry.cpp.
Member Function Documentation
◆ get_access_expr()
std::pair<
exprt,
bool > simple_entryt::get_access_expr
(
)
const
Get the expression part needed to read this stack entry.
For simple expressions this is just the expression itself.
- Returns
- The expression to read this part of the stack and false
Implements write_stack_entryt.
Definition at line 43 of file write_stack_entry.cpp.
Member Data Documentation
◆ simple_entry
exprt simple_entryt::simple_entry
private
The documentation for this class was generated from the following files:
