edu.umd.cs.findbugs.ba.npe

Class ReturnPathTypeDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<ReturnPathType,ReturnPathTypeAnalysis>

edu.umd.cs.findbugs.ba.npe.ReturnPathTypeDataflow

public class ReturnPathTypeDataflow
extends Dataflow<ReturnPathType,ReturnPathTypeAnalysis>

Dataflow class for ReturnPathTypeAnalysis.

Author:

David Hovemeyer

Field Summary

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

DEBUG

Constructor Summary

Constructors

Constructor and Description
ReturnPathTypeDataflow(CFG cfg, ReturnPathTypeAnalysis analysis) Constructor.

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

ReturnPathTypeDataflow

public ReturnPathTypeDataflow(CFG cfg,
                              ReturnPathTypeAnalysis analysis)

Constructor.

Parameters:

cfg - CFG of the method being analyzed

analysis - the analysis