cprover
simple_entryt Class Reference

#include <write_stack_entry.h>

+ Inheritance diagram for simple_entryt:
+ Collaboration diagram for simple_entryt:

Public Member Functions

 simple_entryt (exprt expr)
 Build a simple entry based off a single expression. More...
 
exprt get_access_expr () const override
 Get the expression part needed to read this stack entry. More...
 
void adjust_access_type (exprt &expr) const override
 For a simple entry, no type adjustment is needed for the access expression. More...
 
- Public Member Functions inherited from write_stack_entryt
virtual ~write_stack_entryt ()=default
 
virtual bool try_squash_in (std::shared_ptr< const write_stack_entryt > new_entry, const abstract_environmentt &enviroment, const namespacet &ns)
 Try to combine a new stack element with the current top of the stack. More...
 

Private Attributes

exprt simple_entry
 

Detailed Description

Definition at line 32 of file write_stack_entry.h.

Constructor & Destructor Documentation

◆ simple_entryt()

simple_entryt::simple_entryt ( exprt  expr)
explicit

Build a simple entry based off a single expression.

Parameters
exprThe expression being represented

Definition at line 32 of file write_stack_entry.cpp.

Member Function Documentation

◆ adjust_access_type()

void simple_entryt::adjust_access_type ( exprt expr) const
overridevirtual

For a simple entry, no type adjustment is needed for the access expression.

Implements write_stack_entryt.

Definition at line 49 of file write_stack_entry.cpp.

◆ get_access_expr()

exprt simple_entryt::get_access_expr ( ) const
overridevirtual

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

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

Definition at line 40 of file write_stack_entry.h.


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