O << "\tNode" << ID << "[ ";
if (!Attr.empty())
O << Attr << ",";
- O << " label =\"{" << DOT::EscapeString(Label);
+ O << " label =\"";
+ if (NumEdgeSources) O << "{";
+ O << DOT::EscapeString(Label);
if (NumEdgeSources) {
O << "|{";
if (i) O << "|";
O << "<g" << i << ">";
}
- O << "}";
+ O << "}}";
}
- O << "}\"];\n";
+ O << "\"];\n";
}
/// emitEdge - Output an edge from a simple node into the graph...
O << "\tNode" << ID << "[ ";
if (!Attr.empty())
O << Attr << ",";
- O << " label =\"{" << DOT::EscapeString(Label);
+ O << " label =\"";
+ if (NumEdgeSources) O << "{";
+ O << DOT::EscapeString(Label);
if (NumEdgeSources) {
O << "|{";
if (i) O << "|";
O << "<g" << i << ">";
}
- O << "}";
+ O << "}}";
}
- O << "}\"];\n";
+ O << "\"];\n";
}
/// emitEdge - Output an edge from a simple node into the graph...