CBMC
Public Member Functions | Private Attributes | List of all members
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...
 
std::pair< exprt, bool > get_access_expr () const override
 Get the expression part needed to read this stack entry. 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 31 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

◆ get_access_expr()

std::pair< exprt, bool > 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 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

Definition at line 38 of file write_stack_entry.h.

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