edu.umd.cs.findbugs.ba

Class PostDominatorsAnalysis

public class PostDominatorsAnalysis extends AbstractDominatorsAnalysis

Dataflow analysis to compute postdominator sets for a CFG.

Author: David Hovemeyer

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

Method Summary
BlockOrder	getBlockOrder(CFG cfg)
boolean	isForwards()
static void	main(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)