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.
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:

• goto-programs/resolve_inherited_component.h
• goto-programs/resolve_inherited_component.cpp