Package | Description |
---|---|
edu.umd.cs.findbugs.ba.obl |
Implementation of dataflow analysis for checking whether
obligations to close streams and other resources (e.g.
|
Modifier and Type | Method | Description |
---|---|---|
StateSet |
ObligationAnalysis.createFact() |
|
StateSet |
StateSet.duplicate() |
Return an exact deep copy of this StateSet.
|
Modifier and Type | Method | Description |
---|---|---|
void |
ObligationPolicyDatabaseAction.apply(StateSet stateSet,
int basicBlockId) |
|
void |
ObligationAnalysis.copy(StateSet src,
StateSet dest) |
|
void |
StateSet.copyFrom(StateSet other) |
Make this StateSet an exact copy of the given StateSet.
|
void |
ObligationAnalysis.edgeTransfer(Edge edge,
StateSet fact) |
|
void |
ObligationAnalysis.initEntryFact(StateSet fact) |
|
boolean |
ObligationAnalysis.isFactValid(StateSet fact) |
|
boolean |
ObligationAnalysis.isTop(StateSet fact) |
|
void |
ObligationAnalysis.makeFactTop(StateSet fact) |
|
void |
ObligationAnalysis.meetInto(StateSet fact,
Edge edge,
StateSet result) |
|
boolean |
ObligationAnalysis.same(StateSet a,
StateSet b) |
|
void |
ObligationAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
StateSet start,
StateSet result) |
|
void |
ObligationAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
StateSet fact) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.