cprover
interpretert::stack_framet Class Reference

#include <interpreter_class.h>

Collaboration diagram for interpretert::stack_framet:
[legend]

Public Attributes

goto_programt::const_targett return_PC
 
goto_functionst::function_mapt::const_iterator return_function
 
mp_integer return_value_address
 
memory_mapt local_map
 
unsigned old_stack_pointer
 

Detailed Description

Definition at line 79 of file interpreter_class.h.

Member Data Documentation

§ local_map

memory_mapt interpretert::stack_framet::local_map

Definition at line 85 of file interpreter_class.h.

Referenced by interpretert::execute_function_call().

§ old_stack_pointer

unsigned interpretert::stack_framet::old_stack_pointer

Definition at line 86 of file interpreter_class.h.

Referenced by interpretert::execute_function_call().

§ return_function

goto_functionst::function_mapt::const_iterator interpretert::stack_framet::return_function

Definition at line 83 of file interpreter_class.h.

Referenced by interpretert::execute_function_call().

§ return_PC

goto_programt::const_targett interpretert::stack_framet::return_PC

Definition at line 82 of file interpreter_class.h.

Referenced by interpretert::execute_function_call().

§ return_value_address

mp_integer interpretert::stack_framet::return_value_address

Definition at line 84 of file interpreter_class.h.

Referenced by interpretert::execute_function_call().


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