Uses of Class
cetus.analysis.DFAGraph

Packages that use DFAGraph

Package	Description
cetus.analysis
cetus.application

Uses of DFAGraph in cetus.analysis

Subclasses of DFAGraph in cetus.analysis

Modifier and Type	Class and Description
class	CFGraph CFGraph supports creation of statmenet-level control flow graphs.
class	IPAGraph Class IPAGraph provides a call graph for interprocedural analysis.

Methods in cetus.analysis with parameters of type DFAGraph

Modifier and Type	Method and Description
void	DFAGraph.absorb(DFAGraph other) Absorbs all nodes from another graph.

Uses of DFAGraph in cetus.application

Methods in cetus.application that return DFAGraph

Modifier and Type	Method and Description
static DFAGraph	SlicingTools.buildImmediateDominanceTree(DFAGraph reversedCFG, java.util.BitSet[] immediateDom, DFANode[] nodeArray, java.util.List<DFANode> nodeList)
static DFAGraph	SlicingTools.reverseCFGraph(CFGraph cfg)

Methods in cetus.application with parameters of type DFAGraph

Modifier and Type	Method and Description
static DFAGraph	SlicingTools.buildImmediateDominanceTree(DFAGraph reversedCFG, java.util.BitSet[] immediateDom, DFANode[] nodeArray, java.util.List<DFANode> nodeList)
static java.util.BitSet[]	SlicingTools.getDominators(DFAGraph graph, java.util.ArrayList<DFANode> nodeList)
static java.util.Set<java.lang.Integer>	SlicingTools.getEntryIdxSet(DFAGraph graph, java.util.List<DFANode> nodeList)
static void	SlicingTools.printDominanceTree(DFAGraph postDomTree, Procedure proc)