edu.umd.cs.findbugs.ba
public class LockAnalysis extends ForwardDataflowAnalysis<LockSet>
See Also: ValueNumberAnalysis
Constructor Summary | |
---|---|
LockAnalysis(MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs) |
Method Summary | |
---|---|
void | copy(LockSet source, LockSet dest) |
LockSet | createFact() |
void | initEntryFact(LockSet result) |
void | initResultFact(LockSet result) |
boolean | isTop(LockSet fact) |
static void | main(String[] argv) |
void | makeFactTop(LockSet fact) |
void | meetInto(LockSet fact, Edge edge, LockSet result) |
boolean | same(LockSet fact1, LockSet fact2) |