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 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.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)
-