AbstractAnalysis.Worklist.ForwardDfoComparator (checker-framework 3.48.3 API)

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

Constructors

Constructor

Description

ForwardDfoComparator()

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