cprover
|
#include <resolve_inherited_component.h>
Public Member Functions | |
inherited_componentt () | |
inherited_componentt (const irep_idt &class_id, const irep_idt &component_id) | |
irep_idt | get_full_component_identifier () const |
Get the full name of this function. More... | |
irep_idt | get_class_identifier () const |
irep_idt | get_component_basename () const |
bool | is_valid () const |
Use to check if this inherited_componentt has been fully constructed. More... | |
Private Attributes | |
irep_idt | class_identifier |
irep_idt | component_identifier |
Definition at line 28 of file resolve_inherited_component.h.
|
inline |
Definition at line 31 of file resolve_inherited_component.h.
|
inline |
Definition at line 34 of file resolve_inherited_component.h.
|
inline |
Definition at line 42 of file resolve_inherited_component.h.
References class_identifier.
Referenced by remove_virtual_functionst::get_child_functions_rec(), remove_virtual_functionst::get_functions(), and get_inherited_component().
|
inline |
Definition at line 47 of file resolve_inherited_component.h.
References component_identifier.
irep_idt resolve_inherited_componentt::inherited_componentt::get_full_component_identifier | ( | ) | const |
Get the full name of this function.
Definition at line 106 of file resolve_inherited_component.cpp.
References resolve_inherited_componentt::build_full_component_identifier(), class_identifier, and component_identifier.
Referenced by remove_virtual_functionst::get_child_functions_rec(), remove_virtual_functionst::get_functions(), get_inherited_component(), java_bytecode_convert_methodt::get_static_field(), and ci_lazy_methodst::get_virtual_method_target().
bool resolve_inherited_componentt::inherited_componentt::is_valid | ( | ) | const |
Use to check if this inherited_componentt has been fully constructed.
Definition at line 114 of file resolve_inherited_component.cpp.
Referenced by remove_virtual_functionst::get_child_functions_rec(), remove_virtual_functionst::get_functions(), get_inherited_component(), java_bytecode_convert_methodt::get_static_field(), ci_lazy_methodst::get_virtual_method_target(), and java_bytecode_convert_methodt::is_method_inherited().
|
private |
Definition at line 55 of file resolve_inherited_component.h.
Referenced by get_class_identifier(), and get_full_component_identifier().
|
private |
Definition at line 56 of file resolve_inherited_component.h.
Referenced by get_component_basename(), and get_full_component_identifier().