edu.umd.cs.findbugs.ba

Class DominatorsAnalysis

public class DominatorsAnalysis extends AbstractDominatorsAnalysis

Dataflow analysis to compute dominator sets for a CFG.

Author: David Hovemeyer

See Also: CFG AbstractDominatorsAnalysis

Constructor Summary
DominatorsAnalysis(CFG cfg, DepthFirstSearch dfs, boolean ignoreExceptionEdges)
Constructor.
Method Summary
BlockOrdergetBlockOrder(CFG cfg)
booleanisForwards()
static voidmain(String[] argv)

Constructor Detail

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 Detail

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg)

isForwards

public boolean isForwards()

main

public static void main(String[] argv)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.