edu.umd.cs.findbugs.ba.heap

Class StoreDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>

edu.umd.cs.findbugs.ba.AbstractDataflow<FieldSet,StoreAnalysis>

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

public class StoreDataflow
extends AbstractDataflow<FieldSet,StoreAnalysis>

Author:

David Hovemeyer

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

Constructors

Constructor and Description
StoreDataflow(CFG cfg, StoreAnalysis analysis)

Method Summary

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflow

getFactOnEdge

Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, 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)