cprover
|
Public Member Functions | |
is_virtual_name_equalt (const class_typet::methodt &method) | |
bool | operator() (const class_typet::methodt &method) const |
Private Attributes | |
const irep_idt & | virtual_name |
Definition at line 23 of file java_bytecode_vtable.cpp.
|
inlineexplicit |
Definition at line 27 of file java_bytecode_vtable.cpp.
|
inline |
Definition at line 32 of file java_bytecode_vtable.cpp.
References irept::get(), ID_virtual_name, and virtual_name.
|
private |
Definition at line 25 of file java_bytecode_vtable.cpp.
Referenced by operator()().