Uses of Class
edu.umd.cs.findbugs.ba.LockSet
Packages that use LockSet
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
-
Uses of LockSet in edu.umd.cs.findbugs.ba
Fields in edu.umd.cs.findbugs.ba with type parameters of type LockSetMethods 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.private boolean
LockSet.identicalSubset
(LockSet other) void
LockAnalysis.initEntryFact
(LockSet result) void
LockSet.intersectWith
(LockSet other) Destructively intersect this lock set with another.boolean
LockAnalysis.isFactValid
(LockSet fact) boolean
private void
void
LockAnalysis.makeFactTop
(LockSet fact) void
void
Meet this LockSet with another LockSet, storing the result in this object.private void
LockAnalysis.modifyLock
(ValueNumberFrame frame, LockSet fact, int delta) 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)