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

See Also: Dataflow DataflowAnalysis

Constructor Summary
BackwardDataflowAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)
Method Summary
BlockOrdergetBlockOrder(CFG cfg)
protected ReverseDepthFirstSearchgetReverseDepthFirstSearch()
booleanisForwards()

Constructor Detail

BackwardDataflowAnalysis

public BackwardDataflowAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

Method Detail

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg)

getReverseDepthFirstSearch

protected ReverseDepthFirstSearch getReverseDepthFirstSearch()

isForwards

public boolean isForwards()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.