Method dumpElement

src/main/java/pascal/taie/util/graph/DotDumper.java:167–186

Dumps an element (either a node or an edge). @param elem element to be dumped @param toString function that returns string representation of elem @param labeler function that returns label of elem @param attributer function that returns attributes of elem @param <

(T elem,
                                 Function<T, String> toString,
                                 Function<T, String> labeler,
                                 Function<T, DotAttributes> attributer)

     * @param <T>        type of the element
     */
    private <T> void dumpElement(T elem,
                                 Function<T, String> toString,
                                 Function<T, String> labeler,
                                 Function<T, DotAttributes> attributer) {
        out.print(INDENT);
        out.print(toString.apply(elem));
        String label = labeler.apply(elem);
        DotAttributes attrs = attributer.apply(elem);
        if (label != null || attrs != null) {
            out.print(" [");
            if (label != null) {
                out.printf("label=\"%s\",", label);
            }
            if (attrs != null) {
                out.print(attrs);
            }
            out.print(']');
        }
        out.println(';');
    }
}