Given a class and a component (either field or method), find the closest parent that defines that component. More...

#include <util/symbol_table.h>
#include <util/std_expr.h>
#include <util/std_code.h>
#include <goto-programs/class_hierarchy.h>

Include dependency graph for resolve_inherited_component.h:

This graph shows which files directly or indirectly include this file:

Classes
class	resolve_inherited_componentt

class	resolve_inherited_componentt::inherited_componentt

Detailed Description

Given a class and a component (either field or method), find the closest parent that defines that component.

Classes