edu.umd.cs.findbugs.ba.constant
Class ConstantDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<ConstantFrame,ConstantAnalysis>
      extended by edu.umd.cs.findbugs.ba.constant.ConstantDataflow

public class ConstantDataflow
extends Dataflow<ConstantFrame,ConstantAnalysis>

Dataflow class for ConstantAnalysis.

Author:
David Hovemeyer
See Also:
Dataflow, ConstantAnalysis

Constructor Summary
ConstantDataflow(CFG cfg, ConstantAnalysis analysis)
           
 
Method Summary
 ConstantFrame getFactAfterLocation(Location location)
           
 ConstantFrame getFactAtLocation(Location location)
           
 
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
execute, getAnalysis, getCFG, getNumIterations, getResultFact, getStartFact
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConstantDataflow

public ConstantDataflow(CFG cfg,
                        ConstantAnalysis analysis)
Method Detail

getFactAtLocation

public ConstantFrame getFactAtLocation(Location location)
                                throws DataflowAnalysisException
Throws:
DataflowAnalysisException

getFactAfterLocation

public ConstantFrame getFactAfterLocation(Location location)
                                   throws DataflowAnalysisException
Throws:
DataflowAnalysisException