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

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

Constructors

Constructor and 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObligationDataflow

public ObligationDataflow(CFG cfg,
                  ObligationAnalysis analysis)