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