(DrawDot dot, PrintWriter writer, String indent)
| 488 | } |
| 489 | |
| 490 | @Override |
| 491 | public void emit(DrawDot dot, PrintWriter writer, String indent) { |
| 492 | for (String s : commentsBefore) { |
| 493 | writer.println(indent + "// " + s); |
| 494 | } |
| 495 | writer.print(indent); |
| 496 | writer.print('"' + id() + "\" "); |
| 497 | List<String> opts = new LinkedList<>(); |
| 498 | emit(opts); |
| 499 | if (!opts.isEmpty()) { |
| 500 | writer.print(opts); |
| 501 | } |
| 502 | writer.println(); |
| 503 | for (String s : commentsAfter) { |
| 504 | writer.println(indent + "// " + s); |
| 505 | } |
| 506 | } |
| 507 | |
| 508 | @Override |
| 509 | public String toString() { |