Class BackwardDataflowAnalysis<Fact>

java.lang.Object

edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<Fact>

edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>

edu.umd.cs.findbugs.ba.BackwardDataflowAnalysis<Fact>

All Implemented Interfaces:

DataflowAnalysis<Fact>

Direct Known Subclasses:

LiveLocalStoreAnalysis, UnconditionalValueDerefAnalysis

public abstract class BackwardDataflowAnalysis<Fact>
extends AbstractDataflowAnalysis<Fact>

Abstract base class for backward dataflow analyses. Provides convenient implementations for isForwards() and getBlockOrder() methods.

See Also:

• Dataflow
• DataflowAnalysis

Field Summary

Fields

Modifier and Type	Field	Description
private final DepthFirstSearch	dfs
private final ReverseDepthFirstSearch	rdfs

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BackwardDataflowAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

Method Summary

Modifier and Type	Method	Description
BlockOrder	getBlockOrder(CFG cfg)	Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.
protected ReverseDepthFirstSearch	getReverseDepthFirstSearch()
boolean	isForwards()	Returns true if the analysis is forwards, false if backwards.

Methods inherited from class AbstractDataflowAnalysis

getFactAfterLocation, getFactAtLocation, isFactValid, transfer, transferInstruction

Methods inherited from class BasicAbstractDataflowAnalysis

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

Methods inherited from class Object

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

Methods inherited from interface DataflowAnalysis

copy, createFact, initEntryFact, isTop, makeFactTop, meetInto, same

Field Details

rdfs

private final ReverseDepthFirstSearch rdfs

dfs

private final DepthFirstSearch dfs

Constructor Details

BackwardDataflowAnalysis

protected BackwardDataflowAnalysis(ReverseDepthFirstSearch rdfs,
 DepthFirstSearch dfs)

Method Details

getReverseDepthFirstSearch

protected ReverseDepthFirstSearch getReverseDepthFirstSearch()

isForwards

public boolean isForwards()

Description copied from interface: DataflowAnalysis

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

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