Method recordV

src/main/java/org/sfj/DrawDot.java:475–478

(String... labels)

    }

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

    Node recordH(String... labels) {
      shaped(Shapes.RECORD);