|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.AbstractBlockOrder
edu.umd.cs.findbugs.ba.ReversePostfixOrder
public class ReversePostfixOrder
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.
BlockOrder
,
DepthFirstSearch
,
CFG
,
BasicBlock
Nested Class Summary | |
---|---|
private static class |
ReversePostfixOrder.ReversePostfixComparator
A Comparator to order the blocks in the reverse of the order in which they would be finished by a depth first search. |
Constructor Summary | |
---|---|
ReversePostfixOrder(CFG cfg,
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 |
Constructor Detail |
---|
public ReversePostfixOrder(CFG cfg, DepthFirstSearch dfs)
cfg
- the CFG for the methoddfs
- the DepthFirstSearch on the method
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |