Class ReversePostOrder

java.lang.Object
edu.umd.cs.findbugs.ba.AbstractBlockOrder
edu.umd.cs.findbugs.ba.ReversePostOrder
All Implemented Interfaces:
BlockOrder

public class ReversePostOrder extends AbstractBlockOrder
A BlockOrder for visiting the blocks of a CFG in the reverse of the order in which they are finished in a depth first search. This is the most efficient visitation order for forward dataflow analyses.
See Also:
  • Constructor Details

    • ReversePostOrder

      public ReversePostOrder(CFG cfg, DepthFirstSearch dfs)
      Constructor.
      Parameters:
      cfg - the CFG for the method
      dfs - the DepthFirstSearch on the method