Package edu.umd.cs.findbugs.ba

Class DominatorsAnalysis

java.lang.Object

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

edu.umd.cs.findbugs.ba.AbstractDominatorsAnalysis

edu.umd.cs.findbugs.ba.DominatorsAnalysis

All Implemented Interfaces:

DataflowAnalysis<BitSet>

public class DominatorsAnalysis
extends AbstractDominatorsAnalysis

Dataflow analysis to compute dominator sets for a CFG.

Author:

David Hovemeyer

See Also:

• CFG
• AbstractDominatorsAnalysis

Constructor Summary

Constructors

Constructor	Description
DominatorsAnalysis(CFG cfg, DepthFirstSearch dfs, boolean ignoreExceptionEdges)	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 edu.umd.cs.findbugs.ba.AbstractDominatorsAnalysis

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

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

edgeTransfer, factToString, finishIteration, getFactAfterLocation, getFactAtLocation, 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 Details

DominatorsAnalysis

public DominatorsAnalysis(CFG cfg,
 DepthFirstSearch dfs,
 boolean ignoreExceptionEdges)

Constructor.

Parameters:

cfg - the CFG to compute dominator relationships for

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