AbstractAnalysis.Worklist.BackwardDfoComparator (checker-framework 3.45.0 API)

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()

Creates a new 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()
  
  Creates a new BackwardDfoComparator.
Method Details
- compare
  
  public int compare(Block b1, Block b2)
  
  Specified by:
  
  compare in interface Comparator<Block>