555657585960616263
} public void getDotInfo(PrintWriter pw) throws Exception { if( dateSource instanceof SerializableToDot ){ SerializableToDot dotSource = (SerializableToDot)dateSource; dotSource.printDot(pw); } } }
432433434435436437438439440441442
DotUtils.showGraph(dot); else { PrintWriter w = new PrintWriter(args[1]); try { dot.printDot(w); } finally { w.close(); } } }