edu.umd.cs.findbugs.ba
Class LiveLocalStoreDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<java.util.BitSet,LiveLocalStoreAnalysis>
      extended by edu.umd.cs.findbugs.ba.LiveLocalStoreDataflow

public class LiveLocalStoreDataflow
extends Dataflow<java.util.BitSet,LiveLocalStoreAnalysis>

Dataflow class for LiveLocalStoreAnalysis.

Author:
David Hovemeyer
See Also:
LiveLocalStoreAnalysis

Constructor Summary
LiveLocalStoreDataflow(CFG cfg, LiveLocalStoreAnalysis analysis)
           
 
Method Summary
 java.util.BitSet getFactAfterLocation(Location location)
           
 java.util.BitSet 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

LiveLocalStoreDataflow

public LiveLocalStoreDataflow(CFG cfg,
                              LiveLocalStoreAnalysis analysis)
Method Detail

getFactAtLocation

public java.util.BitSet getFactAtLocation(Location location)
                                   throws DataflowAnalysisException
Throws:
DataflowAnalysisException

getFactAfterLocation

public java.util.BitSet getFactAfterLocation(Location location)
                                      throws DataflowAnalysisException
Throws:
DataflowAnalysisException