edu.umd.cs.findbugs.ba

Class LiveLocalStoreDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<BitSet,LiveLocalStoreAnalysis>

edu.umd.cs.findbugs.ba.LiveLocalStoreDataflow

public class LiveLocalStoreDataflow
extends Dataflow<BitSet,LiveLocalStoreAnalysis>

Dataflow class for LiveLocalStoreAnalysis.

Author:

David Hovemeyer

See Also:

LiveLocalStoreAnalysis

Field Summary

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

DEBUG

Constructor Summary

Constructors

Constructor and Description
LiveLocalStoreDataflow(CFG cfg, LiveLocalStoreAnalysis analysis)

Method Summary

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

LiveLocalStoreDataflow

public LiveLocalStoreDataflow(CFG cfg,
                      LiveLocalStoreAnalysis analysis)