9596979899100101102103
if (enableStaticAnalysis) { m.staticAnalysis(sc); } GraphConstructionVisitor visualizer = new GraphConstructionVisitor(sc); m.visit(visualizer, sc); visualizer.showInFrame(); } }