CBMC
Public Member Functions | Private Attributes | List of all members
resolve_inherited_componentt::inherited_componentt Class Reference

#include <resolve_inherited_component.h>

+ Collaboration diagram for resolve_inherited_componentt::inherited_componentt:

Public Member Functions

 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
 

Private Attributes

irep_idt class_identifier
 
irep_idt component_identifier
 

Detailed Description

Definition at line 29 of file resolve_inherited_component.h.

Constructor & Destructor Documentation

◆ inherited_componentt()

resolve_inherited_componentt::inherited_componentt::inherited_componentt ( const irep_idt &  class_id,
const irep_idt &  component_id 
)
inline

Definition at line 32 of file resolve_inherited_component.h.

Member Function Documentation

◆ get_class_identifier()

irep_idt resolve_inherited_componentt::inherited_componentt::get_class_identifier ( ) const
inline

Definition at line 40 of file resolve_inherited_component.h.

◆ get_full_component_identifier()

irep_idt resolve_inherited_componentt::inherited_componentt::get_full_component_identifier ( ) const

Get the full name of this function.

Returns
The symbol name for this function call

Definition at line 105 of file resolve_inherited_component.cpp.

Member Data Documentation

◆ class_identifier

irep_idt resolve_inherited_componentt::inherited_componentt::class_identifier
private

Definition at line 46 of file resolve_inherited_component.h.

◆ component_identifier

irep_idt resolve_inherited_componentt::inherited_componentt::component_identifier
private

Definition at line 47 of file resolve_inherited_component.h.

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