Class PostDominatorsAnalysis

java.lang.Object

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

edu.umd.cs.findbugs.ba.AbstractDominatorsAnalysis

edu.umd.cs.findbugs.ba.PostDominatorsAnalysis

All Implemented Interfaces:

DataflowAnalysis<BitSet>

Direct Known Subclasses:

NonExceptionPostDominatorsAnalysis, NonImplicitExceptionPostDominatorsAnalysis

public class PostDominatorsAnalysis
extends AbstractDominatorsAnalysis

Dataflow analysis to compute postdominator sets for a CFG.

See Also:

• CFG
• AbstractDominatorsAnalysis

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, boolean ignoreExceptionEdges)	Constructor.
protected	PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, EdgeChooser edgeChooser)	Constructor.

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.
boolean	isForwards()	Returns true if the analysis is forwards, false if backwards.

Methods inherited from class AbstractDominatorsAnalysis

copy, createFact, getAllDominatedBy, getAllDominatorsOf, initEntryFact, isTop, makeFactTop, meetInto, same, transfer

Methods inherited from class BasicAbstractDataflowAnalysis

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

Methods inherited from class Object

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

Field Details

rdfs

private final ReverseDepthFirstSearch rdfs

dfs

private final DepthFirstSearch dfs

Constructor Details

PostDominatorsAnalysis

protected PostDominatorsAnalysis(CFG cfg,
 ReverseDepthFirstSearch rdfs,
 DepthFirstSearch dfs,
 EdgeChooser edgeChooser)

Constructor.

Parameters:

cfg - the CFG to compute dominator relationships for

rdfs - the ReverseDepthFirstSearch on the CFG

dfs - the DepthFirstSearch on the CFG

edgeChooser - EdgeChooser to choose which Edges to consider significant

PostDominatorsAnalysis

protected PostDominatorsAnalysis(CFG cfg,
 ReverseDepthFirstSearch rdfs,
 DepthFirstSearch dfs,
 boolean ignoreExceptionEdges)

Constructor.

Parameters:

cfg - the CFG to compute dominator relationships for

rdfs - the ReverseDepthFirstSearch on the CFG

dfs - the DepthFirstSearch on the CFG

ignoreExceptionEdges - true if exception edges should be ignored

Method Details

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