ProducedType.depth.set(0);
//System.out.println("Validate member refinement for " + fileName);
compilationUnit.visit(new AliasVisitor());
compilationUnit.visit(new SupertypeVisitor(true)); //TODO: move to a new phase!
compilationUnit.visit(new InheritanceVisitor());
compilationUnit.visit(new RefinementVisitor());
refinementValidated = true;
}
}
finally {
ProducedTypeCache.setEnabled(enabled);