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