cprover
resolve_inherited_componentt::inherited_componentt Class Reference

#include <resolve_inherited_component.h>

Collaboration diagram for resolve_inherited_componentt::inherited_componentt:
[legend]

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
 

Detailed Description

Definition at line 28 of file resolve_inherited_component.h.

Constructor & Destructor Documentation

◆ inherited_componentt() [1/2]

resolve_inherited_componentt::inherited_componentt::inherited_componentt ( )
inline

Definition at line 31 of file resolve_inherited_component.h.

◆ inherited_componentt() [2/2]

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

Definition at line 34 of file resolve_inherited_component.h.

Member Function Documentation

◆ get_class_identifier()

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

◆ get_component_basename()

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

Definition at line 47 of file resolve_inherited_component.h.

References component_identifier.

◆ get_full_component_identifier()

irep_idt resolve_inherited_componentt::inherited_componentt::get_full_component_identifier ( ) const

◆ is_valid()

bool resolve_inherited_componentt::inherited_componentt::is_valid ( ) const

Member Data Documentation

◆ class_identifier

irep_idt resolve_inherited_componentt::inherited_componentt::class_identifier
private

◆ component_identifier

irep_idt resolve_inherited_componentt::inherited_componentt::component_identifier
private

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