interpretert::stack_framet Class Reference

#include <interpreter_class.h>

Collaboration diagram for interpretert::stack_framet:

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:

• goto-programs/interpreter_class.h