cprover
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 ()
 
 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 27 of file resolve_inherited_component.h.

Constructor & Destructor Documentation

◆ inherited_componentt() [1/2]

resolve_inherited_componentt::inherited_componentt::inherited_componentt ( )
inline

Definition at line 30 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 33 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 41 of file resolve_inherited_component.h.

◆ get_component_basename()

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

Definition at line 46 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 100 of file resolve_inherited_component.cpp.

◆ is_valid()

bool resolve_inherited_componentt::inherited_componentt::is_valid ( ) const

Use to check if this inherited_componentt has been fully constructed.

Returns
True if this represents a real concrete component

Definition at line 108 of file resolve_inherited_component.cpp.

Member Data Documentation

◆ class_identifier

irep_idt resolve_inherited_componentt::inherited_componentt::class_identifier
private

Definition at line 54 of file resolve_inherited_component.h.

◆ component_identifier

irep_idt resolve_inherited_componentt::inherited_componentt::component_identifier
private

Definition at line 55 of file resolve_inherited_component.h.


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