private void printNode(PlanNode node, String label, String color) { String nodeId = idGenerator.getNodeId(node); label = escapeSpecialCharacters(label); output .append(nodeId) .append( format( "[label=\"{%s}\", style=\"rounded, filled\", shape=record, fillcolor=%s]", label, color)) .append(';') .append('\n'); }
private void printNode(PlanNode node, String label, String details, String color) { if (details.length() == 0) { printNode(node, label, color); } else { String nodeId = idGenerator.getNodeId(node); label = escapeSpecialCharacters(label); details = escapeSpecialCharacters(details); output .append(nodeId) .append( format( "[label=\"{%s|%s}\", style=\"rounded, filled\", shape=record, fillcolor=%s]", label, details, color)) .append(';') .append('\n'); } }
private void printEdge(PlanNode from, PlanNode to) { String fromId = idGenerator.getNodeId(from); String toId = idGenerator.getNodeId(to); output.append(fromId).append(" -> ").append(toId).append(';').append('\n'); }