edu.umd.cs.findbugs.ba
public abstract class BackwardDataflowAnalysis<Fact> extends AbstractDataflowAnalysis<Fact>
See Also: Dataflow DataflowAnalysis
Constructor Summary | |
---|---|
BackwardDataflowAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) |
Method Summary | |
---|---|
BlockOrder | getBlockOrder(CFG cfg) |
protected ReverseDepthFirstSearch | getReverseDepthFirstSearch() |
boolean | isForwards() |