edu.umd.cs.findbugs.ba.heap
Class StoreDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
      extended by edu.umd.cs.findbugs.ba.AbstractDataflow<FieldSet,StoreAnalysis>
          extended by edu.umd.cs.findbugs.ba.heap.StoreDataflow

public class StoreDataflow
extends AbstractDataflow<FieldSet,StoreAnalysis>

Author:
David Hovemeyer

Constructor Summary
StoreDataflow(CFG cfg, StoreAnalysis analysis)
           
 
Method Summary
 
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflow
getFactAfterLocation, getFactAtLocation
 
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

StoreDataflow

public StoreDataflow(CFG cfg,
                     StoreAnalysis analysis)