edu.umd.cs.findbugs.ba
public class PostDominatorsAnalysis extends AbstractDominatorsAnalysis
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 | |
---|---|
BlockOrder | getBlockOrder(CFG cfg) |
boolean | isForwards() |
static void | main(String[] args) |
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
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