Method setNodeToString

src/main/java/pascal/taie/util/graph/DotDumper.java:86–89

(Function<N, String> nodeToString)

    private Function<Edge<N>, DotAttributes> edgeAttributer = edge -> null;

    public DotDumper<N> setNodeToString(Function<N, String> nodeToString) {
        this.nodeToString = nodeToString;
        return this;
    }

    public DotDumper<N> setGlobalNodeAttributes(DotAttributes attrs) {
        globalNodeAttrs = attrs;