java_bytecode_convert_methodt Member List

This is the complete list of members for java_bytecode_convert_methodt, including all inherited members.

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