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

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

Modifier and Type	Method and 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 and Description
void	LockAnalysis.copy(LockSet source, LockSet dest)
void	LockSet.copyFrom(LockSet other) 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	LockAnalysis.isTop(LockSet fact)
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.
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)