|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LockSet | |
---|---|
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 | |
---|---|
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 | |
---|---|
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)
|
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |