cetus.application

Class DataFlowAnalysis

java.lang.Object

cetus.analysis.AnalysisPass

cetus.application.DataFlowAnalysis

All Implemented Interfaces:

java.lang.Runnable

Direct Known Subclasses:

PSGReachingDefinitionAnalysis, PSGReachingGlobalProcSetAnalysis, PSGRegionalKillSetAnlaysis, PSGUpwardsExposedUsesAnalysis, ReachingDefinitionAnalysis

public abstract class DataFlowAnalysis
extends AnalysisPass
implements java.lang.Runnable

This class supports the basic data flow analysis. It supports backward and forward analysis. It also supports may and must analysis. Any subclass which implements a specific analysis should implement the abstract methods for creating the analysis target set and for extracting the GEN set and KILL set. DataFlowAnalysis implements the iterative worklist algorithm for the analysis.

Author:

Jae-Woo Lee, School of ECE, Purdue University

Constructor Summary

Constructors

Constructor and Description
DataFlowAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, boolean forward, boolean may)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Map<Procedure,java.util.Set<AnalysisTarget>>	getAnalysisTargetListMap()
java.lang.String	getPassName()
void	run()
void	setAnalysisTarget(Procedure targetProc, java.util.Map<Procedure,java.util.Set<AnalysisTarget>> targetMap)
void	start()

Methods inherited from class cetus.analysis.AnalysisPass

run

Methods inherited from class java.lang.Object

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

Constructor Detail

DataFlowAnalysis

public DataFlowAnalysis(Program program,
                java.util.Map<Procedure,CFGraph> cfgMap,
                boolean forward,
                boolean may)

Method Detail

getPassName

public java.lang.String getPassName()

Specified by:

getPassName in class AnalysisPass

start

public void start()

Specified by:

start in class AnalysisPass

getAnalysisTargetListMap

public java.util.Map<Procedure,java.util.Set<AnalysisTarget>> getAnalysisTargetListMap()

run

public void run()

Specified by:

run in interface java.lang.Runnable

setAnalysisTarget

public void setAnalysisTarget(Procedure targetProc,
                     java.util.Map<Procedure,java.util.Set<AnalysisTarget>> targetMap)