edu.umd.cs.findbugs.ba
Class LockDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<LockSet,LockAnalysis>
      extended by edu.umd.cs.findbugs.ba.LockDataflow

public class LockDataflow
extends Dataflow<LockSet,LockAnalysis>


Constructor Summary
LockDataflow(CFG cfg, LockAnalysis lockAnalysis)
           
 
Method Summary
 LockSet 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

LockDataflow

public LockDataflow(CFG cfg,
                    LockAnalysis lockAnalysis)
Method Detail

getFactAtLocation

public LockSet getFactAtLocation(Location location)
                          throws DataflowAnalysisException
Throws:
DataflowAnalysisException