Class AbstractAnalysis.Worklist.ForwardDFOComparator
java.lang.Object
org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.ForwardDFOComparator
- All Implemented Interfaces:
Comparator<Block>
- Enclosing class:
- AbstractAnalysis.Worklist
public class AbstractAnalysis.Worklist.ForwardDFOComparator
extends Object
implements Comparator<Block>
Comparators to allow priority queue to order blocks by their depth-first order, using by
forward analysis.
-
Constructor Summary
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface java.util.Comparator
equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
-
Constructor Details
-
ForwardDFOComparator
public ForwardDFOComparator()
-
-
Method Details
-
compare
- Specified by:
compare
in interfaceComparator<Block>
-