edu.umd.cs.findbugs.ba
Class ValueNumberDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<ValueNumberFrame,ValueNumberAnalysis>
      extended by edu.umd.cs.findbugs.ba.ValueNumberDataflow

public class ValueNumberDataflow
extends Dataflow<ValueNumberFrame,ValueNumberAnalysis>


Constructor Summary
ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)
           
 
Method Summary
 ValueNumberFrame getFactAfterLocation(Location loc)
           
 ValueNumberFrame getFactAtLocation(Location loc)
           
 
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

ValueNumberDataflow

public ValueNumberDataflow(CFG cfg,
                           ValueNumberAnalysis analysis)
Method Detail

getFactAtLocation

public ValueNumberFrame getFactAtLocation(Location loc)

getFactAfterLocation

public ValueNumberFrame getFactAfterLocation(Location loc)