edu.umd.cs.findbugs.ba

Class PostDominatorsAnalysis

public class PostDominatorsAnalysis extends AbstractDominatorsAnalysis

Dataflow analysis to compute postdominator sets for a CFG.

Author: David Hovemeyer

See Also: CFG AbstractDominatorsAnalysis

Constructor Summary
PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, EdgeChooser edgeChooser)
Constructor.
PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, boolean ignoreExceptionEdges)
Constructor.
Method Summary
BlockOrdergetBlockOrder(CFG cfg)
booleanisForwards()
static voidmain(String[] args)

Constructor Detail

PostDominatorsAnalysis

public 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 TODO edgeChooser EdgeChooser to choose which Edges to consider significant

PostDominatorsAnalysis

public 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 TODO 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[] args)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.