cprover
is_virtual_name_equalt Class Reference
Collaboration diagram for is_virtual_name_equalt:
[legend]

Public Member Functions

 is_virtual_name_equalt (const class_typet::methodt &method)
 
bool operator() (const class_typet::methodt &method) const
 

Private Attributes

const irep_idtvirtual_name
 

Detailed Description

Definition at line 23 of file java_bytecode_vtable.cpp.

Constructor & Destructor Documentation

§ is_virtual_name_equalt()

is_virtual_name_equalt::is_virtual_name_equalt ( const class_typet::methodt method)
inlineexplicit

Definition at line 27 of file java_bytecode_vtable.cpp.

Member Function Documentation

§ operator()()

bool is_virtual_name_equalt::operator() ( const class_typet::methodt method) const
inline

Definition at line 32 of file java_bytecode_vtable.cpp.

References irept::get(), and ID_virtual_name.

Member Data Documentation

§ virtual_name

const irep_idt& is_virtual_name_equalt::virtual_name
private

Definition at line 25 of file java_bytecode_vtable.cpp.

Referenced by set_virtual_name().


The documentation for this class was generated from the following file: