Package 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
-
-
Constructor Summary
Constructors Constructor 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
-
-
-
-
Constructor Detail
-
ReturnPathTypeDataflow
public ReturnPathTypeDataflow(CFG cfg, ReturnPathTypeAnalysis analysis)
Constructor.- Parameters:
cfg
- CFG of the method being analyzedanalysis
- the analysis
-
-