public class LockDataflow extends Dataflow<LockSet,LockAnalysis>
Constructor and Description |
---|
LockDataflow(CFG cfg,
LockAnalysis lockAnalysis) |
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact
public LockDataflow(CFG cfg, LockAnalysis lockAnalysis)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.