org.checkerframework.dataflow.analysis

Class Analysis.Worklist.DFOComparator

java.lang.Object

org.checkerframework.dataflow.analysis.Analysis.Worklist.DFOComparator

All Implemented Interfaces:

java.util.Comparator<Block>

Enclosing class:

Analysis.Worklist

public class Analysis.Worklist.DFOComparator
extends java.lang.Object
implements java.util.Comparator<Block>

Comparator to allow priority queue to order blocks by their depth-first order.

Constructor Summary

Constructors

Constructor and Description
DFOComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(Block b1, Block b2)

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

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

DFOComparator

public DFOComparator()

Method Detail

compare

public int compare(Block b1,
                   Block b2)

Specified by:

compare in interface java.util.Comparator<Block>