edu.umd.cs.findbugs.ba
Class ReverseDFSOrder

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.AbstractBlockOrder
      extended by 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

Nested Class Summary
private static class ReverseDFSOrder.ReverseDFSComparator
           
 
Constructor Summary
ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs)
          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
 

Constructor Detail

ReverseDFSOrder

public ReverseDFSOrder(CFG cfg,
                       ReverseDepthFirstSearch rdfs)
Constructor.

Parameters:
cfg - the CFG
rdfs - the ReverseDepthFirstSearch of the CFG