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.
|
Modifier and Type | Method | Description |
---|---|---|
LockSet |
LockAnalysis.createFact() |
|
LockSet |
LockChecker.getFactAtLocation(Location location) |
Get LockSet at given Location.
|
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) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.