- s += "n{object_id} [label = {length}];\n"
- if left != null then
- s += "n{object_id} -> n{left.object_id} [label = \"left\"];\n"
- s = left.to_dot(s)
- end
- if right != null then
- s += "n{object_id} -> n{right.object_id} [label = \"right\"];\n"
- s = right.to_dot(s)
- end
+ var s = "n{object_id} [label = {length}];\n"
+ s += "n{object_id} -> n{left.object_id} [label = \"left\"];\n"
+ s += left.internal_to_dot
+ s += "n{object_id} -> n{right.object_id} [label = \"right\"];\n"
+ s += right.internal_to_dot