cprover
java_bytecode_vtable_factoryt Member List

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_factorytinline
create_base_vtable_entries(struct_exprt &vtable_value, const class_typet &class_type, const class_typet::methodt &method)java_bytecode_vtable_factorytinline
create_vtable_entry(struct_exprt &vtable_value, const class_typet &class_type, const class_typet::methodt &method)java_bytecode_vtable_factorytinline
create_vtable_symbol(symbolt &result, const class_typet &class_type)java_bytecode_vtable_factorytinline
extract_types(std::vector< class_typet > &result, const irept::subt &types, const class_typet::methodt &method)java_bytecode_vtable_factorytinline
get_class_type(const irept &base)java_bytecode_vtable_factorytinline
get_vt_type_symbol(const class_typet &class_type)java_bytecode_vtable_factorytinline
has_component(const class_typet &vtable_type, const irep_idt &ifc_name)java_bytecode_vtable_factorytinline
has_errorjava_bytecode_vtable_factoryt
has_method(const irept &base, const class_typet::methodt &method)java_bytecode_vtable_factorytinline
is_class_with_vt(const symbolt &symbol)java_bytecode_vtable_factorytinline
is_virtual(const class_typet::methodt &method)java_bytecode_vtable_factorytinline
java_bytecode_vtable_factoryt(symbol_tablet &symbol_table, const std::string &module)java_bytecode_vtable_factorytinline
modulejava_bytecode_vtable_factorytprivate
nsjava_bytecode_vtable_factorytprivate
operator()(const irep_idt &symbol_name)java_bytecode_vtable_factorytinline
set_vtable_value(symbolt &vtable_symbol, const class_typet &class_type, struct_exprt &vtable_value)java_bytecode_vtable_factorytinline
symbol_tablejava_bytecode_vtable_factorytprivate