Package edu.umd.cs.findbugs.ba.jsr305

Class ForwardTypeQualifierDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<TypeQualifierValueSet,ForwardTypeQualifierDataflowAnalysis>

edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflow<ForwardTypeQualifierDataflowAnalysis>

edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflow

public class ForwardTypeQualifierDataflow
extends TypeQualifierDataflow<ForwardTypeQualifierDataflowAnalysis>

Dataflow object for ForwardTypeQualifierDataflowAnalysis.

Author:

David Hovemeyer

Field Summary

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

DEBUG

Constructor Summary

Constructors

Constructor	Description
ForwardTypeQualifierDataflow(CFG cfg, ForwardTypeQualifierDataflowAnalysis 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 Details

ForwardTypeQualifierDataflow

public ForwardTypeQualifierDataflow(CFG cfg,
 ForwardTypeQualifierDataflowAnalysis analysis)

Constructor.

Parameters:

cfg - CFG of analyzed method

analysis - ForwardTypeQualifierDataflowAnalysis to perform on method