|
| java_bytecode_vtable_factoryt (symbol_tablet &symbol_table, const std::string &module) |
|
symbolt & | get_vt_type_symbol (const class_typet &class_type) |
|
void | create_vtable_symbol (symbolt &result, const class_typet &class_type) |
|
bool | has_component (const class_typet &vtable_type, const irep_idt &ifc_name) |
|
void | add_vtable_entry (struct_exprt &vtable_value, const class_typet &interface, const class_typet &implementor, const class_typet::methodt &implementation) |
|
const class_typet & | get_class_type (const irept &base) |
|
bool | has_method (const irept &base, const class_typet::methodt &method) |
|
void | extract_types (std::vector< class_typet > &result, const irept::subt &types, const class_typet::methodt &method) |
|
bool | is_virtual (const class_typet::methodt &method) |
|
void | create_base_vtable_entries (struct_exprt &vtable_value, const class_typet &class_type, const class_typet::methodt &method) |
|
void | create_vtable_entry (struct_exprt &vtable_value, const class_typet &class_type, const class_typet::methodt &method) |
|
void | set_vtable_value (symbolt &vtable_symbol, const class_typet &class_type, struct_exprt &vtable_value) |
|
bool | is_class_with_vt (const symbolt &symbol) |
|
void | operator() (const irep_idt &symbol_name) |
|
Definition at line 54 of file java_bytecode_vtable.cpp.
§ java_bytecode_vtable_factoryt()
java_bytecode_vtable_factoryt::java_bytecode_vtable_factoryt |
( |
symbol_tablet & |
symbol_table, |
|
|
const std::string & |
module |
|
) |
| |
|
inline |
§ add_vtable_entry()
§ create_base_vtable_entries()
§ create_vtable_entry()
§ create_vtable_symbol()
void java_bytecode_vtable_factoryt::create_vtable_symbol |
( |
symbolt & |
result, |
|
|
const class_typet & |
class_type |
|
) |
| |
|
inline |
Definition at line 79 of file java_bytecode_vtable.cpp.
References symbolt::base_name, irept::get(), id2string(), symbolt::is_lvalue, symbolt::is_state_var, symbolt::is_static_lifetime, symbolt::location, symbolt::mode, symbolt::module, symbolt::name, symbolt::pretty_name, and symbolt::type.
§ extract_types()
§ get_class_type()
const class_typet& java_bytecode_vtable_factoryt::get_class_type |
( |
const irept & |
base | ) |
|
|
inline |
§ get_vt_type_symbol()
symbolt& java_bytecode_vtable_factoryt::get_vt_type_symbol |
( |
const class_typet & |
class_type | ) |
|
|
inline |
§ has_component()
bool java_bytecode_vtable_factoryt::has_component |
( |
const class_typet & |
vtable_type, |
|
|
const irep_idt & |
ifc_name |
|
) |
| |
|
inline |
§ has_method()
§ is_class_with_vt()
bool java_bytecode_vtable_factoryt::is_class_with_vt |
( |
const symbolt & |
symbol | ) |
|
|
inline |
§ is_virtual()
§ operator()()
void java_bytecode_vtable_factoryt::operator() |
( |
const irep_idt & |
symbol_name | ) |
|
|
inline |
§ set_vtable_value()
§ has_error
bool java_bytecode_vtable_factoryt::has_error |
§ module
const std::string& java_bytecode_vtable_factoryt::module |
|
private |
§ ns
const namespacet java_bytecode_vtable_factoryt::ns |
|
private |
§ symbol_table
The documentation for this class was generated from the following file: