edu.umd.cs.findbugs.ba
Class LockCountDataflow

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<LockCount,LockCountAnalysis>
      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