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(), ID_virtual_name, and 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 operator()().


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