Go to the documentation of this file.
13 #ifndef CPROVER_GOTO_PROGRAMS_RESOLVE_INHERITED_COMPONENT_H
14 #define CPROVER_GOTO_PROGRAMS_RESOLVE_INHERITED_COMPONENT_H
61 bool include_interfaces);
76 #endif // CPROVER_GOTO_PROGRAMS_RESOLVE_INHERITED_COMPONENT_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
irep_idt get_component_basename() const
Non-graph-based representation of the class hierarchy.
bool is_valid() const
Use to check if this inherited_componentt has been fully constructed.
bool does_implementation_exist(const irep_idt &class_name, const irep_idt &component_name, const irep_idt &user_class_name)
irep_idt component_identifier
irep_idt get_full_component_identifier() const
Get the full name of this function.
resolve_inherited_componentt(const symbol_tablet &symbol_table, const class_hierarchyt &class_hierarchy)
See the operator() method comment.
irep_idt class_identifier
const class_hierarchyt & class_hierarchy
irep_idt get_class_identifier() const
const symbol_tablet & symbol_table
inherited_componentt(const irep_idt &class_id, const irep_idt &component_id)
static irep_idt build_full_component_identifier(const irep_idt &class_name, const irep_idt &component_name)
Build a component name as found in a GOTO symbol table equivalent to the name of a concrete component...
inherited_componentt operator()(const irep_idt &class_id, const irep_idt &component_name, bool include_interfaces)
Given a class and a component, identify the concrete field or method it is resolved to.