Uses of Class
edu.umd.cs.findbugs.ba.LockSet

Packages that use LockSet

Package	Description
edu.umd.cs.findbugs.ba	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 LockSet

Modifier and Type	Field	Description
private java.util.HashMap<Location,LockSet>	LockChecker.cache

Methods in edu.umd.cs.findbugs.ba that return LockSet

Modifier and Type	Method	Description
LockSet	LockAnalysis.createFact()
LockSet	LockChecker.getFactAtLocation(Location location)	Get LockSet at given Location.

Methods in edu.umd.cs.findbugs.ba with parameters of type LockSet

Modifier and Type	Method	Description
void	LockAnalysis.copy(LockSet source, LockSet dest)
void	LockSet.copyFrom(LockSet other)	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	LockAnalysis.isTop(LockSet fact)
private void	LockAnalysis.lockOp(LockSet fact, int lockNumber, int delta)
void	LockAnalysis.makeFactTop(LockSet fact)
void	LockAnalysis.meetInto(LockSet fact, Edge edge, LockSet result)
void	LockSet.meetWith(LockSet other)	Meet this LockSet with another LockSet, storing the result in this object.
private void	LockAnalysis.modifyLock(ValueNumberFrame frame, LockSet fact, int delta)
boolean	LockAnalysis.same(LockSet fact1, LockSet fact2)
boolean	LockSet.sameAs(LockSet other)	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)