cetus.application

Class SlicingTools

java.lang.Object

cetus.application.SlicingTools

public class SlicingTools
extends java.lang.Object

This class provides several utility functions for the program slicing.

Author:

Jae-Woo Lee, School of ECE, Purdue University

Constructor Summary

Constructors

Constructor and Description
SlicingTools()

Method Summary

Methods

Modifier and Type	Method and Description
static DFAGraph	buildImmediateDominanceTree(DFAGraph reversedCFG, java.util.BitSet[] immediateDom, DFANode[] nodeArray, java.util.List<DFANode> nodeList)
static java.util.BitSet[]	getDominators(DFAGraph graph, java.util.ArrayList<DFANode> nodeList)
static java.util.Set<java.lang.Integer>	getEntryIdxSet(DFAGraph graph, java.util.List<DFANode> nodeList)
static java.util.BitSet[]	getImmediateDominator(java.util.BitSet[] dominator, java.util.Set<java.lang.Integer> entryIdxSet, java.util.List<DFANode> entryNodeList, DFANode[] nodeArray)
static int	longestSubstr(java.lang.String first, java.lang.String second)
static void	printDominanceTree(DFAGraph postDomTree, Procedure proc)
static void	printDominator(java.util.BitSet[] dominator, DFANode[] nodeArray, Procedure proc)
static DFAGraph	reverseCFGraph(CFGraph cfg)

Methods inherited from class java.lang.Object

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

Constructor Detail

SlicingTools

public SlicingTools()

Method Detail

reverseCFGraph

public static DFAGraph reverseCFGraph(CFGraph cfg)

getDominators

public static java.util.BitSet[] getDominators(DFAGraph graph,
                               java.util.ArrayList<DFANode> nodeList)

getEntryIdxSet

public static java.util.Set<java.lang.Integer> getEntryIdxSet(DFAGraph graph,
                                              java.util.List<DFANode> nodeList)

getImmediateDominator

public static java.util.BitSet[] getImmediateDominator(java.util.BitSet[] dominator,
                                       java.util.Set<java.lang.Integer> entryIdxSet,
                                       java.util.List<DFANode> entryNodeList,
                                       DFANode[] nodeArray)

buildImmediateDominanceTree

public static DFAGraph buildImmediateDominanceTree(DFAGraph reversedCFG,
                                   java.util.BitSet[] immediateDom,
                                   DFANode[] nodeArray,
                                   java.util.List<DFANode> nodeList)

printDominator

public static void printDominator(java.util.BitSet[] dominator,
                  DFANode[] nodeArray,
                  Procedure proc)

printDominanceTree

public static void printDominanceTree(DFAGraph postDomTree,
                      Procedure proc)

longestSubstr

public static int longestSubstr(java.lang.String first,
                java.lang.String second)