Method emit

src/main/java/org/sfj/DrawDot.java:398–423

(DrawDot dot, PrintWriter writer, String indent)

    }

    @Override
    public void emit(DrawDot dot, PrintWriter writer, String indent) throws IOException {
      for (String s : commentsBefore) {
        writer.println(indent + "// " + s);
      }
      writer.println(indent + (clustered ? "cluster_" : "") + header());
      for (String s : commentsHeader) {
        writer.println(indent + INDENTION + "// " + s);
      }
      if (rankDir != null) {
        writer.println(indent + INDENTION + "rankdir=\"" + rankDir.name() + '"');
      }
      for (Child child : children) {
        child.emit(dot, writer, indent + INDENTION);
      }
      for (Connection connection : connections) {
        connection.emit(this, writer, indent + INDENTION);
      }
      writer.println(indent + footer());
      for (String s : commentsFooter) {
        writer.println(indent + INDENTION + "// " + s);
      }
      for (String s : commentsAfter) {
        writer.println(indent + "// " + s);
      }
    }

    public Graph add(Child child) {
      children.add(child);