if (isCFGDumpingPhase(phaseName)) { try { String outputFile = nextGraphFileName(b, phaseName + "-" + getClassIdent(g) + "-"); DotGraph dotGraph = new CFGToDotGraph().drawCFG(g, b); dotGraph.plot(outputFile);
if (isCFGDumpingPhase(phaseName)) { try { String outputFile = nextGraphFileName(g.getBody(), phaseName + "-" + getClassIdent(g) + "-"); CFGToDotGraph drawer = new CFGToDotGraph(); drawer.setShowExceptions(Options.v().show_exception_dests());