edu.umd.cs.findbugs.ba
Class ValueNumberDataflow

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<ValueNumberFrame,ValueNumberAnalysis>
      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)