Package edu.umd.cs.findbugs.ba
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:
BlockOrder,DepthFirstSearch,CFG,BasicBlock
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private static classReversePostOrder.ReversePostfixComparatorA Comparator to order the blocks in the reverse of the order in which they would be finished by a depth first search.
-
Constructor Summary
Constructors Constructor Description ReversePostOrder(CFG cfg, DepthFirstSearch dfs)Constructor.
-
Method Summary
-
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractBlockOrder
blockIterator, compare
-
-
-
-
Constructor Detail
-
ReversePostOrder
public ReversePostOrder(CFG cfg, DepthFirstSearch dfs)
Constructor.- Parameters:
cfg- the CFG for the methoddfs- the DepthFirstSearch on the method
-
-