We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 02744e6 commit c3e4cbdCopy full SHA for c3e4cbd
src/goto-programs/resolve_inherited_component.h
@@ -43,11 +43,6 @@ class resolve_inherited_componentt
43
return class_identifier;
44
}
45
46
- irep_idt get_component_basename() const
47
- {
48
- return component_identifier;
49
- }
50
-
51
bool is_valid() const;
52
53
private:
@@ -64,11 +59,6 @@ class resolve_inherited_componentt
64
59
const irep_idt &class_name, const irep_idt &component_name);
65
60
66
61
67
- bool does_implementation_exist(
68
- const irep_idt &class_name,
69
- const irep_idt &component_name,
70
- const irep_idt &user_class_name);
71
72
62
const class_hierarchyt &class_hierarchy;
73
63
const symbol_tablet &symbol_table;
74
};
0 commit comments