Esempio n. 1
0
 public void writeGraphToFile(int MAX_CHARS) throws java.io.IOException {
   super.addln(end_graph());
   super.writeGraphToFile(getDotSource().getBytes(), new File(_filename + ".dot"));
   super.writeGraphToFile(
       getGraph(truncateLabels(getDotSource(), MAX_CHARS)), new File(_filename + ".gif"));
 }