public void generateGraph(final String resultFileName) {
final String dotFilePath = targetDirectory + resultFileName + ".dot";
- final String imageFilePath = targetDirectory + resultFileName + ".png";
+ final String imageFilePath = targetDirectory + resultFileName + ".svg";
System.out.println("Dot file path:" + dotFilePath);
// execute GraphViz to visualize graph
try {
Runtime.getRuntime()
- .exec(new String[]{"dot", "-Tpng", dotFilePath, "-o",
+ .exec(new String[]{"dot", "-Tsvg", dotFilePath, "-o",
imageFilePath}).waitFor();
} catch (final InterruptedException ignored) {
}