edu.umd.cs.findbugs.ba
Class ReverseDFSOrder

java.lang.Object
  edu.umd.cs.findbugs.ba.AbstractBlockOrder
      edu.umd.cs.findbugs.ba.ReverseDFSOrder

All Implemented Interfaces:

BlockOrder

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.

See Also:

BlockOrder, ReverseDepthFirstSearch, CFG, BasicBlock

Field Summary

DepthFirstSearch	dfs
ReverseDepthFirstSearch	rdfs

Constructor Summary

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

Method Summary

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractBlockOrder

blockIterator

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

rdfs

public ReverseDepthFirstSearch rdfs

dfs

public DepthFirstSearch dfs

Constructor Detail

ReverseDFSOrder

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

Constructor.

Parameters:

cfg - the CFG

rdfs - the ReverseDepthFirstSearch of the CFG

dfs - TODO