edu.umd.cs.findbugs.ba.obl
public class ObligationAnalysis extends ForwardDataflowAnalysis<StateSet>
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
Constructor Summary | |
---|---|
ObligationAnalysis(DepthFirstSearch dfs, TypeDataflow typeDataflow, MethodGen methodGen, ObligationFactory factory, PolicyDatabase database, RepositoryLookupFailureCallback lookupFailureCallback)
Constructor.
|
Method Summary | |
---|---|
void | copy(StateSet src, StateSet dest) |
StateSet | createFact() |
void | endTransfer(BasicBlock basicBlock, InstructionHandle end, StateSet result) |
void | initEntryFact(StateSet fact) |
void | initResultFact(StateSet fact) |
boolean | isTop(StateSet fact) |
void | makeFactTop(StateSet fact) |
void | meetInto(StateSet fact, Edge edge, StateSet result) |
boolean | same(StateSet a, StateSet b) |
Parameters: dfs a DepthFirstSearch on the method to be analyzed methodGen the MethodGen of the method being analyzed factory the ObligationFactory defining the obligation types database the PolicyDatabase defining the methods which add and delete obligations lookupFailureCallback callback to use when reporting missing classes