"http://www.graphviz.org for visualization tools which process\n" +
"this format.")
public void _dotdecomp(String arg) throws IOException, InterruptedException {
String[] args = arg.trim().split("\\s+", 2);
QName name = XMLUtil.parseQName(getModelSet(), args[0]);
Dottable dot = null;
TaskType task = getModelSet().getTaskType(name);
if (task != null)
dot = task.decompositionGraph();
else {
DecompositionType decomp = getModelSet().getDecompositionType(name);
if (decomp != null)
dot = decomp.decompositionGraph();
}
if (dot == null)
out.println("Unknown ID: " + arg);
else if (args.length < 2)
DotUtils.showGraph(dot);
else {
PrintWriter w = new PrintWriter(args[1]);
try {
dot.printDot(w);
} finally {
w.close();
}
}
}