edu.umd.cs.findbugs.ba

Class LockDataflow

public class LockDataflow extends Dataflow<LockSet,LockAnalysis>

Constructor Summary
LockDataflow(CFG cfg, LockAnalysis lockAnalysis)
Method Summary
LockSetgetFactAtLocation(Location location)

Constructor Detail

LockDataflow

public LockDataflow(CFG cfg, LockAnalysis lockAnalysis)

Method Detail

getFactAtLocation

public LockSet getFactAtLocation(Location location)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.