cprover
|
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 |