cprover
resolve_inherited_component.h File Reference
+ Include dependency graph for resolve_inherited_component.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of 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.

Definition in file resolve_inherited_component.h.