edu.cmu.cs.crystal.flow
Class FlowAnalysis<LE>
java.lang.Object
edu.cmu.cs.crystal.flow.MotherFlowAnalysis<LE>
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
Methods inherited from class edu.cmu.cs.crystal.flow.MotherFlowAnalysis |
getEndResults, getLabeledEndResult, getLabeledResultsAfter, getLabeledResultsBefore, getLabeledStartResult, getResultsAfter, getResultsAfterAST, getResultsAfterCFG, getResultsBefore, getResultsBeforeAST, getResultsBeforeCFG, getStartResults, setMonitor |
FlowAnalysis
public FlowAnalysis(ITransferFunction<LE> def)
FlowAnalysis
public FlowAnalysis(IBranchSensitiveTransferFunction<LE> def)