org.semanticweb.HermiT.debugger

Class Printing.DataRangeComparator

java.lang.Object

org.semanticweb.HermiT.debugger.Printing.DataRangeComparator

All Implemented Interfaces:

Comparator<DataRange>

Enclosing class:

Printing

public static class Printing.DataRangeComparator
extends Object
implements Comparator<DataRange>

Field Summary

Fields

Modifier and Type	Field and Description
static Printing.DataRangeComparator	INSTANCE

Constructor Summary

Constructors

Constructor and Description
DataRangeComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(DataRange c1, DataRange c2)

Methods inherited from class java.lang.Object

equals, 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

Field Detail

INSTANCE

public static final Printing.DataRangeComparator INSTANCE

Constructor Detail

DataRangeComparator

public DataRangeComparator()

Method Detail

compare

public int compare(DataRange c1,
                   DataRange c2)

Specified by:

compare in interface Comparator<DataRange>