edu.umd.cs.findbugs.ba
Class LockCountDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<LockCount,LockCountAnalysis>
      extended by edu.umd.cs.findbugs.ba.LockCountDataflow

public class LockCountDataflow
extends Dataflow<LockCount,LockCountAnalysis>


Constructor Summary
LockCountDataflow(CFG cfg, LockCountAnalysis analysis)
           
 
Method Summary
 LockCount 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

LockCountDataflow

public LockCountDataflow(CFG cfg,
                         LockCountAnalysis analysis)
Method Detail

getFactAtLocation

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