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

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
      edu.umd.cs.findbugs.ba.AbstractDataflow<FieldSet,LoadAnalysis>
          edu.umd.cs.findbugs.ba.heap.LoadDataflow

public class LoadDataflow
extends AbstractDataflow<FieldSet,LoadAnalysis>

Author:

David Hovemeyer

Constructor Summary

LoadDataflow(CFG cfg, LoadAnalysis 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

LoadDataflow

public LoadDataflow(CFG cfg,
                    LoadAnalysis analysis)