Method dumpNode

src/main/java/pascal/taie/util/graph/DotDumper.java:142–144

(N node)

    }

    private void dumpNode(N node) {
        dumpElement(node, this::nodeToString, nodeLabeler, nodeAttributer);
    }

    private String nodeToString(N node) {
        return "\"" + nodeToString.apply(node) + "\"";