edu.umd.cs.findbugs.ba

Class ReturnPathDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<ReturnPath,ReturnPathAnalysis>

edu.umd.cs.findbugs.ba.ReturnPathDataflow

public class ReturnPathDataflow
extends Dataflow<ReturnPath,ReturnPathAnalysis>

Field Summary

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

DEBUG

Constructor Summary

Constructors

Constructor and Description
ReturnPathDataflow(CFG cfg, ReturnPathAnalysis 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

ReturnPathDataflow

public ReturnPathDataflow(CFG cfg,
                  ReturnPathAnalysis analysis)