* Returns whether all subtypes of the given type have been pruned.
*/
private boolean pruneDeadBranches(IType type) {
TypeVector subtypes = (TypeVector)this.typeToSubtypes.get(type);
if (subtypes == null) return true;
pruneDeadBranches(subtypes.copy().elements());
subtypes = (TypeVector)this.typeToSubtypes.get(type);
return (subtypes == null || subtypes.size == 0);
}
private void pruneDeadBranches(IType[] types) {
for (int i = 0, length = types.length; i < length; i++) {