{
BinaryNode lf = leaves.elementAt(i);
- if (lf instanceof SequenceNode && ((SequenceNode)lf).isPlaceholder())
+ if (lf instanceof SequenceNode && ((SequenceNode) lf).isPlaceholder())
{
has_placeholders = true;
}
g.drawString(nodeLabel, xstart + 2, ypos - 2);
}
- String name = (markPlaceholders && node instanceof SequenceNode && ((SequenceNode) node).isPlaceholder())
- ? (PLACEHOLDER + node.getName())
- : node.getName();
+ String name = (markPlaceholders && node instanceof SequenceNode
+ && ((SequenceNode) node).isPlaceholder())
+ ? (PLACEHOLDER + node.getName())
+ : node.getName();
FontMetrics fm = g.getFontMetrics(font);
int charWidth = fm.stringWidth(name) + 3;
int charHeight = fm.getHeight();
}
else
{
- pickNode(pickBox, (BinaryNode) node.left(), chunk, scale, width,
- offx, offy);
+ pickNode(pickBox, (BinaryNode) node.left(), chunk, scale, width, offx,
+ offy);
pickNode(pickBox, (BinaryNode) node.right(), chunk, scale, width,
offx, offy);
}