Package edu.umd.cs.findbugs.ba.obl
Class ObligationDataflow
java.lang.Object
edu.umd.cs.findbugs.ba.Dataflow<StateSet,ObligationAnalysis>
edu.umd.cs.findbugs.ba.obl.ObligationDataflow
Dataflow class for ObligationAnalysis.
- Author:
- David Hovemeyer
-
Field Summary
-
Constructor Summary
-
Method Summary
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact
-
Constructor Details
-
ObligationDataflow
-