edu.umd.cs.findbugs.ba

Class ReverseDFSOrder

public class ReverseDFSOrder extends AbstractBlockOrder

A BlockOrder for visiting the blocks of a CFG in the order they would be visited in a depth first search of the reversed CFG. This is the most efficient visitation order for backwards dataflow analyses.

Field Summary
DepthFirstSearch	dfs
ReverseDepthFirstSearch	rdfs

Constructor Summary
	ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) Constructor.

Field Detail

dfs

public DepthFirstSearch dfs

rdfs

public ReverseDepthFirstSearch rdfs

Constructor Detail

ReverseDFSOrder

public ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

Constructor.

Parameters: cfg the CFG rdfs the ReverseDepthFirstSearch of the CFG dfs TODO