Method dumpEdge

src/main/java/pascal/taie/util/graph/DotDumper.java:150–152

(Edge<N> edge)

    }

    private void dumpEdge(Edge<N> edge) {
        dumpElement(edge, this::getEdgeRep, edgeLabeler, edgeAttributer);
    }

    private String getEdgeRep(Edge<N> edge) {
        return nodeToString(edge.source()) + " -> " + nodeToString(edge.target());