- canStoreType
Given an object of declared type child, returns true if the object can be stored
in a variable of ty
- isSubclass
Return true if class child is a subclass of class parent, neither of them being
allowed to be interf
- <init>
Constructs a hierarchy from the current scene.
- canStoreClass
Given an object of declared type child, returns true if the object can be stored
in a variable of ty
- dfsVisit
- getAllImplementersOfInterface
For an interface parent (MUST be an interface), returns set of all implementers
of it but NOT their
- getAllSubinterfaces
For an interface parent (MUST be an interface), returns set of all
subinterfaces.
- getSubclassesOf
- isVisible
Returns true if the method m is visible from code in the class from.
- resolveConcreteDispatch
Given an object of actual type C (o = new C()), returns the method which will be
called on an o.f()
- put
- resolveAbstractDispatch
Given an object of declared type C, returns the methods which could be called on
an o.f() invocation