Class AbstractAnalysis.Worklist.ForwardDFOComparator
- java.lang.Object
-
- org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.ForwardDFOComparator
-
- All Implemented Interfaces:
java.util.Comparator<Block>
- Enclosing class:
- AbstractAnalysis.Worklist
public class AbstractAnalysis.Worklist.ForwardDFOComparator extends java.lang.Object implements java.util.Comparator<Block>
Comparators to allow priority queue to order blocks by their depth-first order, using by forward analysis.
-
-
Constructor Summary
Constructors Constructor Description ForwardDFOComparator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
compare(Block b1, Block b2)
-