LiveLocalStoreDataflow

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.umd.cs.findbugs.ba
Class LiveLocalStoreDataflow

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<java.util.BitSet,LiveLocalStoreAnalysis>
      edu.umd.cs.findbugs.ba.LiveLocalStoreDataflow

public class LiveLocalStoreDataflow
extends Dataflow<java.util.BitSet,LiveLocalStoreAnalysis>
extends Dataflow<java.util.BitSet,LiveLocalStoreAnalysis>

Dataflow class for LiveLocalStoreAnalysis.

Constructor Summary
`LiveLocalStoreDataflow(CFG cfg, LiveLocalStoreAnalysis analysis)`

Method Summary
`java.util.BitSet`	`getFactAfterLocation(Location location)`
`java.util.BitSet`	`getFactAtLocation(Location location)`

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

public LiveLocalStoreDataflow(CFG cfg,
                              LiveLocalStoreAnalysis analysis)

Method Detail

public java.util.BitSet getFactAtLocation(Location location)
                                   throws DataflowAnalysisException

public java.util.BitSet getFactAfterLocation(Location location)
                                      throws DataflowAnalysisException