edu.umd.cs.findbugs.ba.jsr305
Class ForwardTypeQualifierDataflowAnalysis

java.lang.Object
  edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<Fact>
      edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<TypeQualifierValueSet>
          edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowAnalysis
              edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflowAnalysis

All Implemented Interfaces:

DataflowAnalysis<TypeQualifierValueSet>

public class ForwardTypeQualifierDataflowAnalysis
extends TypeQualifierDataflowAnalysis

Forward type qualifier dataflow analysis.

Author:

David Hovemeyer

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowAnalysis

cfg, cpg, typeQualifierValue, vnaDataflow, xmethod

Constructor Summary

ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue typeQualifierValue)
Constructor.

Method Summary

BlockOrder	getBlockOrder(CFG cfg) Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.
boolean	isForwards() Returns true if the analysis is forwards, false if backwards.
protected void	propagateAcrossPhiNode(TypeQualifierValueSet fact, ValueNumber sourceVN, ValueNumber targetVN)
void	registerSourceSinkLocations() This method must be called before the dataflow analysis is executed.

Methods inherited from class edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowAnalysis

copy, createFact, edgeTransfer, getSourceSinkInfoSet, initEntryFact, isFactValid, isTop, makeFactTop, meetInto, registerSourceSink, same, transferInstruction

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis

getFactAfterLocation, getFactAtLocation, transfer

Methods inherited from class edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis

factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ForwardTypeQualifierDataflowAnalysis

public ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs,
                                            XMethod xmethod,
                                            CFG cfg,
                                            ValueNumberDataflow vnaDataflow,
                                            org.apache.bcel.generic.ConstantPoolGen cpg,
                                            TypeQualifierValue typeQualifierValue)

Constructor.

Parameters:

dfs - DepthFirstSearch on the analyzed method

xmethod - XMethod for the analyzed method

cfg - CFG of the analyzed method

vnaDataflow - ValueNumberDataflow on the analyzed method

cpg - ConstantPoolGen of the analyzed method

typeQualifierValue - TypeQualifierValue representing type qualifier the analysis should check

Method Detail

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg)

Description copied from interface: DataflowAnalysis

Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.

Parameters:

cfg - the CFG upon which we're performing dataflow analysis

isForwards

public boolean isForwards()

Description copied from interface: DataflowAnalysis

Returns true if the analysis is forwards, false if backwards.

registerSourceSinkLocations

public void registerSourceSinkLocations()
                                 throws DataflowAnalysisException

Description copied from class: TypeQualifierDataflowAnalysis

This method must be called before the dataflow analysis is executed.

Specified by:

registerSourceSinkLocations in class TypeQualifierDataflowAnalysis

Throws:

DataflowAnalysisException

propagateAcrossPhiNode

protected void propagateAcrossPhiNode(TypeQualifierValueSet fact,
                                      ValueNumber sourceVN,
                                      ValueNumber targetVN)

Specified by:

propagateAcrossPhiNode in class TypeQualifierDataflowAnalysis