edu.umd.cs.findbugs.ba

Class BackwardDataflowAnalysis<Fact>

public abstract class BackwardDataflowAnalysis<Fact> extends AbstractDataflowAnalysis<Fact>

Abstract base class for backward dataflow analyses. Provides convenient implementations for isForwards() and getBlockOrder() methods.

Author: David Hovemeyer

Constructor Summary
	BackwardDataflowAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

Method Summary
BlockOrder	getBlockOrder(CFG cfg)
protected ReverseDepthFirstSearch	getReverseDepthFirstSearch()
boolean	isForwards()

Constructor Detail

public BackwardDataflowAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

public BlockOrder getBlockOrder(CFG cfg)

protected ReverseDepthFirstSearch getReverseDepthFirstSearch()

public boolean isForwards()