Uses of Class
edu.umd.cs.findbugs.ba.LockSet
Packages that use LockSet
-
Uses of LockSet in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return LockSetModifier and TypeMethodDescriptionLockAnalysis.createFact()
LockChecker.getFactAtLocation
(Location location) Get LockSet at given Location.Methods in edu.umd.cs.findbugs.ba with parameters of type LockSetModifier and TypeMethodDescriptionvoid
void
Make this LockSet the same as the given one.void
LockAnalysis.initEntryFact
(LockSet result) void
LockSet.intersectWith
(LockSet other) Destructively intersect this lock set with another.boolean
LockAnalysis.isFactValid
(LockSet fact) boolean
void
LockAnalysis.makeFactTop
(LockSet fact) void
void
Meet this LockSet with another LockSet, storing the result in this object.boolean
boolean
Return whether or not this LockSet is the same as the one given.void
LockAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, LockSet fact)