Package pascal.taie.util.graph

Class DotDumper<N>

java.lang.Object

pascal.taie.util.graph.DotDumper<N>

Type Parameters:

N - type of graph nodes

public class DotDumper<N>
extends Object

Configurable dot dumper.

Constructor Summary

Constructors

Constructor	Description
DotDumper()

Method Summary

Modifier and Type	Method	Description
void	dump(Graph<N> graph, File output)
DotDumper<N>	setEdgeAttributer(Function<Edge<N>,DotAttributes> edgeAttributer)
DotDumper<N>	setEdgeLabeler(Function<Edge<N>,String> edgeLabeler)
DotDumper<N>	setGlobalEdgeAttributes(DotAttributes attrs)
DotDumper<N>	setGlobalNodeAttributes(DotAttributes attrs)
DotDumper<N>	setNodeAttributer(Function<N,DotAttributes> nodeAttributer)
DotDumper<N>	setNodeLabeler(Function<N,String> nodeLabeler)
DotDumper<N>	setNodeToString(Function<N,String> nodeToString)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DotDumper

public DotDumper()

Method Details

setNodeToString

public DotDumper<N> setNodeToString(Function<N,String> nodeToString)

setGlobalNodeAttributes

public DotDumper<N> setGlobalNodeAttributes(DotAttributes attrs)

setNodeLabeler

public DotDumper<N> setNodeLabeler(Function<N,String> nodeLabeler)

setNodeAttributer

public DotDumper<N> setNodeAttributer(Function<N,DotAttributes> nodeAttributer)

setEdgeLabeler

public DotDumper<N> setEdgeLabeler(Function<Edge<N>,String> edgeLabeler)

setGlobalEdgeAttributes

public DotDumper<N> setGlobalEdgeAttributes(DotAttributes attrs)

setEdgeAttributer

public DotDumper<N> setEdgeAttributer(Function<Edge<N>,DotAttributes> edgeAttributer)

dump

public void dump(Graph<N> graph,
 File output)