/**
* Output a description of this node (with id n) in dot format, adding an extra node for each
* subtree.
*/
public int toDot(DotOutput dot, int n) {
int c = dot.node("Block", n);
for (int i = 0; i < body.length; i++) {
c = body[i].toDot(dot, n, "" + i, c);
}
return c;
}
/**
* Output a description of this node (with id n), including a link to its parent node (with id p)
* and returning the next available node id.
*/
public int toDot(DotOutput dot, int p, String attr, int n) {
dot.join(p, n, attr);
return toDot(dot, n);
}
/**
* Output a dot description of this abstract syntax node using the specified label and id number.
*/
protected int node(DotOutput dot, String lab, int n) {
return dot.node(lab + "\\n" + pos.coordString(), n);
}
/**
* Output a description of this node (with id n), including a link to its parent node (with id p)
* and returning the next available node id.
*/
protected int toDot(DotOutput dot, int p, int n) {
dot.join(p, n);
return toDot(dot, n);
}
