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
-
public class ObligationDataflow extends Dataflow<StateSet,ObligationAnalysis>
Dataflow class for ObligationAnalysis.- Author:
- David Hovemeyer
-
-
Constructor Summary
Constructors Constructor Description ObligationDataflow(CFG cfg, ObligationAnalysis analysis)
-
Method Summary
-
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact
-
-
-
-
Constructor Detail
-
ObligationDataflow
public ObligationDataflow(CFG cfg, ObligationAnalysis analysis)
-
-