cetus.application

Class ProgramSlicer

java.lang.Object

cetus.application.ProgramSlicer

public class ProgramSlicer
extends java.lang.Object

This class slices the program using the def-use or use-def chain and the control dependence graph.

Author:

Jae-Woo Lee, School of ECE, Purdue University

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ProgramSlicer.Criteria

Constructor Summary

Constructors

Constructor and Description
ProgramSlicer(java.util.Map<Procedure,CFGraph> cfgMap, IPChainAnalysis udChain, Program program)

Method Summary

Methods

Modifier and Type	Method and Description
void	addPreDefinedSlicingCriteria(ProgramSlicer.Criteria cri)
void	addSlicingCriteria(DFANode dfaNode, java.util.List<Expression> exprList, Procedure proc) Add program slice criteria Traversable in the DFANode is only added to the slice criteria
void	addSlicingCriteria(DFANode dfaNode, Procedure proc) Add program slice criteria Whole DFANode is added to the slice criteria
void	markSlice()
void	removeUnmarkedDFANode()
void	removeUnmarkedDFANodeWithThreads()
void	writeToDisk()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramSlicer

public ProgramSlicer(java.util.Map<Procedure,CFGraph> cfgMap,
             IPChainAnalysis udChain,
             Program program)

Method Detail

addSlicingCriteria

public void addSlicingCriteria(DFANode dfaNode,
                      Procedure proc)

Add program slice criteria Whole DFANode is added to the slice criteria

Parameters:

dfaNode -

proc -

addSlicingCriteria

public void addSlicingCriteria(DFANode dfaNode,
                      java.util.List<Expression> exprList,
                      Procedure proc)

Add program slice criteria Traversable in the DFANode is only added to the slice criteria

Parameters:

dfaNode -

expr -

proc -

addPreDefinedSlicingCriteria

public void addPreDefinedSlicingCriteria(ProgramSlicer.Criteria cri)

markSlice

public void markSlice()

removeUnmarkedDFANodeWithThreads

public void removeUnmarkedDFANodeWithThreads()

removeUnmarkedDFANode

public void removeUnmarkedDFANode()

writeToDisk

public void writeToDisk()