/** * Create a graphviz dot representation of this manager. * * @param filename * to be written to * @throws IOException * if the file could not be written to. */ public void createDotFile( String filename ) throws IOException { BufferedWriter out = new BufferedWriter( new OutputStreamWriter( new FileOutputStream( filename ) ) ); GraphvizDot.startDiGraph( out ); root.outputAsDot( out, "", 0, -1 ); GraphvizDot.endGraph( out ); out.close(); }
GraphvizDot.endGraph( out ); out.close();