Uses of Class
pascal.taie.util.graph.DotDumper
-
Uses of DotDumper in pascal.taie.util.graph
Modifier and TypeMethodDescriptionDotDumper.setEdgeAttributer
(Function<Edge<N>, DotAttributes> edgeAttributer) DotDumper.setEdgeLabeler
(Function<Edge<N>, String> edgeLabeler) DotDumper.setGlobalEdgeAttributes
(DotAttributes attrs) DotDumper.setGlobalNodeAttributes
(DotAttributes attrs) DotDumper.setNodeAttributer
(Function<N, DotAttributes> nodeAttributer) DotDumper.setNodeLabeler
(Function<N, String> nodeLabeler) DotDumper.setNodeToString
(Function<N, String> nodeToString)