FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.obl
Class ObligationDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<StateSet,ObligationAnalysis>
      extended by 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
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)

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.