Class 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:
    BlockOrder, DepthFirstSearch, CFG, BasicBlock
    • Constructor Detail

      • ReversePostOrder

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