cprover
|
#include <interpreter_class.h>
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 |
Definition at line 79 of file interpreter_class.h.
memory_mapt interpretert::stack_framet::local_map |
Definition at line 85 of file interpreter_class.h.
Referenced by interpretert::execute_function_call().
unsigned interpretert::stack_framet::old_stack_pointer |
Definition at line 86 of file interpreter_class.h.
Referenced by interpretert::execute_function_call().
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().
goto_programt::const_targett interpretert::stack_framet::return_PC |
Definition at line 82 of file interpreter_class.h.
Referenced by interpretert::execute_function_call().
mp_integer interpretert::stack_framet::return_value_address |
Definition at line 84 of file interpreter_class.h.
Referenced by interpretert::execute_function_call().