edu.cmu.cs.crystal.flow
Class FlowAnalysis<LE>

java.lang.Object
  extended by edu.cmu.cs.crystal.flow.MotherFlowAnalysis<LE>
      extended by edu.cmu.cs.crystal.flow.FlowAnalysis<LE>
Type Parameters:
LE - the LatticeElement subclass that represents the analysis knowledge
All Implemented Interfaces:
IFlowAnalysis<LE>

public class FlowAnalysis<LE>
extends MotherFlowAnalysis<LE>

This class implements a standard flow analysis. Implement ITransferFunction or IBranchSensitiveTransferFunction and pass an instance to the respective constructor to create a specific flow analysis.

Author:
Kevin Bierhoff
See Also:
ITransferFunction

Field Summary
 
Fields inherited from class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
log
 
Constructor Summary
FlowAnalysis(IBranchSensitiveTransferFunction<LE> def)
           
FlowAnalysis(ITransferFunction<LE> def)
           
 
Method Summary
 
Methods inherited from class edu.cmu.cs.crystal.flow.MotherFlowAnalysis
getEndResults, getLabeledEndResult, getLabeledResultsAfter, getLabeledResultsBefore, getLabeledStartResult, getResultsAfter, getResultsAfterAST, getResultsAfterCFG, getResultsBefore, getResultsBeforeAST, getResultsBeforeCFG, getStartResults, setMonitor
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FlowAnalysis

public FlowAnalysis(ITransferFunction<LE> def)

FlowAnalysis

public FlowAnalysis(IBranchSensitiveTransferFunction<LE> def)