Package org.checkerframework.dataflow.analysis

Class AbstractAnalysis.Worklist.BackwardDFOComparator

java.lang.Object

org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.BackwardDFOComparator

All Implemented Interfaces:

Comparator<Block>

Enclosing class:

AbstractAnalysis.Worklist

public class AbstractAnalysis.Worklist.BackwardDFOComparator
extends Object
implements 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

Modifier and Type	Method	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

equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Details

BackwardDFOComparator

public BackwardDFOComparator()

Method Details

compare

public int compare(Block b1,
 Block b2)

Specified by:

compare in interface Comparator<Block>