address_to_object_record(const mp_integer &address) const | interpretert | inlineprotected |
address_to_offset(const mp_integer &address) const | interpretert | inlineprotected |
address_to_symbol(const mp_integer &address) const | interpretert | inlineprotected |
allocate(const mp_integer &address, const mp_integer &size) | interpretert | protected |
assign(const mp_integer &address, const mp_vectort &rhs) | interpretert | protected |
assignment_idt typedef | interpretert | |
base_address_to_actual_size(const mp_integer &address) const | interpretert | inlineprotected |
base_address_to_alloc_size(const mp_integer &address) const | interpretert | inlineprotected |
blue | messaget | static |
bold | messaget | static |
bright_blue | messaget | static |
bright_cyan | messaget | static |
bright_green | messaget | static |
bright_magenta | messaget | static |
bright_red | messaget | static |
bright_yellow | messaget | static |
build_memory_map() | interpretert | protected |
build_memory_map(const symbolt &symbol) | interpretert | protected |
build_memory_map(const symbol_exprt &symbol_expr) | interpretert | protected |
byte_offset_to_memory_offset(const typet &source_type, const mp_integer &byte_offset, mp_integer &result) | interpretert | protected |
call_stack | interpretert | protected |
call_stackt typedef | interpretert | protected |
clear_input_flags() | interpretert | protected |
command() | interpretert | protectedvirtual |
messaget::command(unsigned c) | messaget | inlinestatic |
concretize_type(const typet &type) | interpretert | protected |
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const | messaget | |
count_type_leaves(const typet &source_type, mp_integer &result) | interpretert | protected |
cyan | messaget | static |
debug() const | messaget | inline |
diff_pairt typedef | interpretert | |
done | interpretert | protected |
dynamic_types | interpretert | protected |
dynamic_typest typedef | interpretert | |
eom | messaget | static |
error() const | messaget | inline |
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest) | messaget | static |
evaluate(const exprt &expr, mp_vectort &dest) | interpretert | protected |
evaluate_address(const exprt &expr, bool fail_quietly=false) | interpretert | protected |
evaluate_boolean(const exprt &expr) | interpretert | inlineprotected |
execute_assert() | interpretert | protected |
execute_assign() | interpretert | protected |
execute_assume() | interpretert | protected |
execute_decl() | interpretert | protected |
execute_function_call() | interpretert | protected |
execute_goto() | interpretert | protected |
execute_other() | interpretert | protected |
faint | messaget | static |
function | interpretert | protected |
function_assignments_contextst typedef | interpretert | |
function_assignmentst typedef | interpretert | |
function_input_vars | interpretert | protected |
get_component(const irep_idt &object, const mp_integer &offset) | interpretert | protected |
get_component(const typet &object_type, const mp_integer &offset) | interpretert | protected |
get_dynamic_types() | interpretert | inline |
get_message_handler() | messaget | inline |
get_mstream(unsigned message_level) const | messaget | inline |
get_size(const typet &type) | interpretert | protected |
get_type(const irep_idt &id) const | interpretert | protected |
get_value(const typet &type, const mp_integer &offset=0, bool use_non_det=false) | interpretert | protected |
get_value(const typet &type, mp_vectort &rhs, const mp_integer &offset=0) | interpretert | protected |
get_value(const irep_idt &id) | interpretert | protected |
goto_functions | interpretert | protected |
green | messaget | static |
initialize(bool init) | interpretert | protected |
input_entryt typedef | interpretert | |
input_valuest typedef | interpretert | |
input_vars | interpretert | protected |
interpreter_testt class | interpretert | friend |
interpretert(const symbol_tablet &_symbol_table, const goto_functionst &_goto_functions, message_handlert &_message_handler) | interpretert | inline |
inverse_memory_map | interpretert | protected |
inverse_memory_mapt typedef | interpretert | protected |
italic | messaget | static |
list_input_varst typedef | interpretert | |
M_DEBUG enum value | messaget | |
M_ERROR enum value | messaget | |
M_PROGRESS enum value | messaget | |
M_RESULT enum value | messaget | |
M_STATISTICS enum value | messaget | |
M_STATUS enum value | messaget | |
M_WARNING enum value | messaget | |
magenta | messaget | static |
memory | interpretert | mutableprotected |
memory_map | interpretert | protected |
memory_mapt typedef | interpretert | protected |
memory_offset_to_byte_offset(const typet &source_type, const mp_integer &cell_offset, mp_integer &result) | interpretert | protected |
memoryt typedef | interpretert | protected |
message_handler | messaget | protected |
message_levelt enum name | messaget | |
messaget() | messaget | inline |
messaget(const messaget &other) | messaget | inline |
messaget(message_handlert &_message_handler) | messaget | inlineexplicit |
mp_vectort typedef | interpretert | |
mstream | messaget | mutableprotected |
next_pc | interpretert | protected |
npos | interpretert | protectedstatic |
ns | interpretert | protected |
num_dynamic_objects | interpretert | protected |
num_steps | interpretert | protected |
operator()() | interpretert | |
operator=(const messaget &other) | messaget | inline |
output_values | interpretert | |
output_valuest typedef | interpretert | |
parameter_sett typedef | interpretert | protected |
pc | interpretert | protected |
print_memory(bool input_flags) | interpretert | |
progress() const | messaget | inline |
read(const mp_integer &address, mp_vectort &dest) const | interpretert | protected |
read_unbounded(const mp_integer &address, mp_vectort &dest) const | interpretert | protected |
red | messaget | static |
reset | messaget | static |
result() const | messaget | inline |
set_message_handler(message_handlert &_message_handler) | messaget | inlinevirtual |
show | interpretert | protected |
show_state() | interpretert | protected |
side_effects_differencet typedef | interpretert | |
stack_depth | interpretert | protected |
stack_pointer | interpretert | protected |
statistics() const | messaget | inline |
status() const | messaget | inline |
step() | interpretert | protected |
steps | interpretert | protected |
stop_on_assertion | interpretert | protected |
struct_member_idt typedef | interpretert | protected |
struct_valuest typedef | interpretert | protected |
symbol_table | interpretert | protected |
target_assert | interpretert | protected |
thread_id | interpretert | protected |
total_steps | interpretert | protected |
unbounded_size(const typet &) | interpretert | protected |
underline | messaget | static |
warning() const | messaget | inline |
yellow | messaget | static |
~messaget() | messaget | virtual |