Class Node

src/main/java/org/sfj/DrawDot.java:455–525

  }

  public static class Node extends BaseAttributable<Node>
    implements Child, Colored<Node>, Labeled<Node>, Shaped<Node>, NodeStyled<Node>, Commentable<Node> {
    private final String id;
    private final List<String> commentsBefore = new LinkedList<>();
    private final List<String> commentsAfter = new LinkedList<>();

    public Node(String id) {
      this.id = id;
    }

    @Override
    public List<String> getCommentsBefore() {
      return commentsBefore;
    }

    @Override
    public List<String> getCommentsAfter() {
      return commentsAfter;
    }

    Node recordV(String... labels) {
      shaped(Shapes.RECORD);
      return label("{" + String.join(" | ", labels) + "}");
    }

    Node recordH(String... labels) {
      shaped(Shapes.RECORD);
      return label(String.join(" | ", labels));
    }

    @Override
    public String id() {
      return id;
    }

    @Override
    public void emit(DrawDot dot, PrintWriter writer, String indent) {
      for (String s : commentsBefore) {
        writer.println(indent + "// " + s);
      }
      writer.print(indent);
      writer.print('"' + id() + "\" ");
      List<String> opts = new LinkedList<>();
      emit(opts);
      if (!opts.isEmpty()) {
        writer.print(opts);
      }
      writer.println();
      for (String s : commentsAfter) {
        writer.println(indent + "// " + s);
      }
    }

    @Override
    public String toString() {
      return "Node{" + "id='" + id + '\'' + "} " + super.toString();
    }