Package pascal.taie.analysis.graph.flowgraph

Class FlowGraphDumper

java.lang.Object

pascal.taie.analysis.graph.flowgraph.FlowGraphDumper

public class FlowGraphDumper
extends Object

Dumper for flow graph.

Constructor Summary

Constructors

Constructor	Description
FlowGraphDumper()

Method Summary

Modifier and Type	Method	Description
static void	dump(Graph<Node> graph, File output)

Methods inherited from class java.lang.Object

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

Constructor Details

FlowGraphDumper

public FlowGraphDumper()

Method Details

dump

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