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

add_vtable_entry(struct_exprt &vtable_value, const class_typet &interface, const class_typet &implementor, const class_typet::methodt &implementation)	java_bytecode_vtable_factoryt	inline
create_base_vtable_entries(struct_exprt &vtable_value, const class_typet &class_type, const class_typet::methodt &method)	java_bytecode_vtable_factoryt	inline
create_vtable_entry(struct_exprt &vtable_value, const class_typet &class_type, const class_typet::methodt &method)	java_bytecode_vtable_factoryt	inline
create_vtable_symbol(symbolt &result, const class_typet &class_type)	java_bytecode_vtable_factoryt	inline
extract_types(std::vector< class_typet > &result, const irept::subt &types, const class_typet::methodt &method)	java_bytecode_vtable_factoryt	inline
get_class_type(const irept &base)	java_bytecode_vtable_factoryt	inline
get_vt_type_symbol(const class_typet &class_type)	java_bytecode_vtable_factoryt	inline
has_component(const class_typet &vtable_type, const irep_idt &ifc_name)	java_bytecode_vtable_factoryt	inline
has_error	java_bytecode_vtable_factoryt
has_method(const irept &base, const class_typet::methodt &method)	java_bytecode_vtable_factoryt	inline
is_class_with_vt(const symbolt &symbol)	java_bytecode_vtable_factoryt	inline
is_virtual(const class_typet::methodt &method)	java_bytecode_vtable_factoryt	inline
java_bytecode_vtable_factoryt(symbol_tablet &symbol_table, const std::string &module)	java_bytecode_vtable_factoryt	inline
module	java_bytecode_vtable_factoryt	private
ns	java_bytecode_vtable_factoryt	private
operator()(const irep_idt &symbol_name)	java_bytecode_vtable_factoryt	inline
set_vtable_value(symbolt &vtable_symbol, const class_typet &class_type, struct_exprt &vtable_value)	java_bytecode_vtable_factoryt	inline
symbol_table	java_bytecode_vtable_factoryt	private