Class StoreDataflow

java.lang.Object

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

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

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

public class StoreDataflow
extends AbstractDataflow<FieldSet, StoreAnalysis>

Field Summary

Fields inherited from class Dataflow

DEBUG

Constructor Summary

Constructors

Constructor	Description
StoreDataflow(CFG cfg, StoreAnalysis analysis)

Method Summary

Methods inherited from class AbstractDataflow

getFactOnEdge

Methods inherited from class Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getNumIterations, getResultFact, getStartFact

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

StoreDataflow

public StoreDataflow(CFG cfg,
 StoreAnalysis analysis)