Package pascal.taie.analysis.graph.cfg

Class CFGDumper

java.lang.Object

pascal.taie.analysis.graph.cfg.CFGDumper

public class CFGDumper
extends Object

Constructor Summary

Constructors

Constructor	Description
CFGDumper()

Method Summary

Modifier and Type	Method	Description
static <N> String	toLabel(N node, CFG<N> cfg)

Methods inherited from class java.lang.Object

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

Constructor Details

CFGDumper

public CFGDumper()

Method Details

toLabel

public static <N> String toLabel(N node,
 CFG<N> cfg)