address_mapt typedef | java_bytecode_convert_methodt | |
bytecode_write_typet enum name | java_bytecode_convert_methodt | protected |
CAST_AS_NEEDED enum value | java_bytecode_convert_methodt | protected |
character_preprocess | java_bytecode_convert_methodt | protected |
convert(const symbolt &class_symbol, const methodt &) | java_bytecode_convert_methodt | protected |
convert_instructions(const methodt &, const code_typet &) | java_bytecode_convert_methodt | protected |
create_stack_tmp_var(const std::string &, const typet &, code_blockt &, exprt &) | java_bytecode_convert_methodt | protected |
current_method | java_bytecode_convert_methodt | protected |
debug() | messaget | inline |
endl(mstreamt &m) | messaget | inlinestatic |
eom(mstreamt &m) | messaget | inlinestatic |
error() | messaget | inline |
find_initialisers(local_variable_table_with_holest &vars, const address_mapt &amap, const java_cfg_dominatorst &doms) | java_bytecode_convert_methodt | protected |
find_initialisers_for_slot(local_variable_table_with_holest::iterator firstvar, local_variable_table_with_holest::iterator varlimit, const address_mapt &amap, const java_cfg_dominatorst &doms) | java_bytecode_convert_methodt | protected |
find_variable_for_slot(size_t address, variablest &var_list) | java_bytecode_convert_methodt | protected |
get_array_bounds_check(const exprt &arraystruct, const exprt &idx, const source_locationt &original_sloc) | java_bytecode_convert_methodt | protected |
get_block_for_pcrange(block_tree_nodet &tree, code_blockt &this_block, unsigned address_start, unsigned address_limit, unsigned next_block_start_address) | java_bytecode_convert_methodt | protected |
get_bytecode_info(const irep_idt &statement) | java_bytecode_convert_methodt | protected |
get_message_handler() | messaget | inline |
get_mstream(unsigned message_level) | messaget | inline |
get_or_create_block_for_pcrange(block_tree_nodet &tree, code_blockt &this_block, unsigned address_start, unsigned address_limit, unsigned next_block_start_address, const address_mapt &amap, bool allow_merge=true) | java_bytecode_convert_methodt | protected |
INST_INDEX enum value | java_bytecode_convert_methodt | protected |
INST_INDEX_CONST enum value | java_bytecode_convert_methodt | protected |
instruction_sizet enum name | java_bytecode_convert_methodt | protected |
instructionst typedef | java_bytecode_convert_methodt | |
instructiont typedef | java_bytecode_convert_methodt | |
is_constructor(const class_typet::methodt &method) | java_bytecode_convert_methodt | protected |
java_bytecode_convert_methodt(symbol_tablet &_symbol_table, message_handlert &_message_handler, size_t _max_array_length, safe_pointer< ci_lazy_methodst > _lazy_methods, const character_refine_preprocesst &_character_preprocess) | java_bytecode_convert_methodt | inline |
java_cfg_dominatorst typedef | java_bytecode_convert_methodt | |
label(const irep_idt &address) | java_bytecode_convert_methodt | protected |
lazy_methods | java_bytecode_convert_methodt | protected |
local_variable_table_with_holest typedef | java_bytecode_convert_methodt | |
local_variable_tablet typedef | java_bytecode_convert_methodt | |
local_variablet typedef | java_bytecode_convert_methodt | |
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 | |
max_array_length | java_bytecode_convert_methodt | 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 |
method_has_this | java_bytecode_convert_methodt | protected |
method_id | java_bytecode_convert_methodt | protected |
method_return_type | java_bytecode_convert_methodt | protected |
method_with_amapt typedef | java_bytecode_convert_methodt | |
methodt typedef | java_bytecode_convert_methodt | |
mstream | messaget | protected |
NO_CAST enum value | java_bytecode_convert_methodt | protected |
operator()(const symbolt &class_symbol, const methodt &method) | java_bytecode_convert_methodt | inline |
pop(std::size_t n) | java_bytecode_convert_methodt | protected |
pop_residue(std::size_t n) | java_bytecode_convert_methodt | protected |
progress() | messaget | inline |
push(const exprt::operandst &o) | java_bytecode_convert_methodt | protected |
replace_goto_target(codet &repl, const irep_idt &old_label, const irep_idt &new_label) | java_bytecode_convert_methodt | protectedstatic |
result() | messaget | inline |
save_stack_entries(const std::string &, const typet &, code_blockt &, const bytecode_write_typet, const irep_idt &) | java_bytecode_convert_methodt | protected |
set_message_handler(message_handlert &_message_handler) | messaget | inlinevirtual |
setup_local_variables(const methodt &m, const address_mapt &amap) | java_bytecode_convert_methodt | protected |
stack | java_bytecode_convert_methodt | protected |
stackt typedef | java_bytecode_convert_methodt | protected |
statistics() | messaget | inline |
status() | messaget | inline |
symbol_table | java_bytecode_convert_methodt | protected |
tmp_variable(const std::string &prefix, const typet &type) | java_bytecode_convert_methodt | protected |
tmp_vars | java_bytecode_convert_methodt | protected |
used_local_names | java_bytecode_convert_methodt | protected |
variable(const exprt &arg, char type_char, size_t address, variable_cast_argumentt do_cast) | java_bytecode_convert_methodt | protected |
variable_cast_argumentt enum name | java_bytecode_convert_methodt | protected |
variables | java_bytecode_convert_methodt | protected |
variablest typedef | java_bytecode_convert_methodt | protected |
warning() | messaget | inline |
~messaget() | messaget | virtual |