edu.umd.cs.findbugs.ba

Class ForwardDataflowAnalysis<Fact>

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

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

Author: David Hovemeyer

See Also: Dataflow DataflowAnalysis

Constructor Summary
ForwardDataflowAnalysis(DepthFirstSearch dfs)
Method Summary
BlockOrdergetBlockOrder(CFG cfg)
protected DepthFirstSearchgetDepthFirstSearch()
booleanisForwards()

Constructor Detail

ForwardDataflowAnalysis

public ForwardDataflowAnalysis(DepthFirstSearch dfs)

Method Detail

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg)

getDepthFirstSearch

protected DepthFirstSearch getDepthFirstSearch()

isForwards

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