public Term transform(JavaTypeModel typeModel, JPEFacts facts, Configuration configuration)
throws TermWareException, EntityNotFoundException {
if (configuration.isUnreachableCodeEliminationEnabled()) {
// check only if current class is reachable.
Term reachable = typeModel.getAttribute(MarkReachable.REACHABLE_CLASS_ATTRIBUTE);
if (!reachable.isNil()) {
if (typeModel instanceof JavaTermTypeAbstractModel) {
MarkNumberOfChildsInSuper.process((JavaTermTypeAbstractModel) typeModel);
}
} else {
if (configuration.getDebugLevel() >= DebugLevels.SHOW_WALK) {
System.out.println(
"devirtualization skip " + typeModel.getFullName() + " as unreachable");
}
}
} else {
MarkNumberOfChildsInSuper.process((JavaTermTypeAbstractModel) typeModel);
}
return null;
}
