Package edu.umd.cs.findbugs.ba

Class LockDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<LockSet,LockAnalysis>

edu.umd.cs.findbugs.ba.LockDataflow

public class LockDataflow
extends Dataflow<LockSet,LockAnalysis>

Dataflow class for LockAnalysis.

Author:

David Hovemeyer

Field Summary

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

DEBUG

Constructor Summary

Constructors

Constructor	Description
LockDataflow(CFG cfg, LockAnalysis lockAnalysis)

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 Details

LockDataflow

public LockDataflow(CFG cfg,
 LockAnalysis lockAnalysis)