de.uka.ilkd.key.util

Class LexicographicComparator<U>

java.lang.Object

de.uka.ilkd.key.util.LexicographicComparator<U>

All Implemented Interfaces:

java.util.Comparator<java.lang.Comparable<U>[]>

public final class LexicographicComparator<U>
extends java.lang.Object
implements java.util.Comparator<java.lang.Comparable<U>[]>

Compares arrays of comparable objects (e.g., Integer). Returns negative numbers if o1 is less than o2, positive numbers if o2 is less than o1, and 0 if they are equal. If the arrays are equal up to the length of the shorter one, the shorter one is considered less.

Author:

bruns

Constructor Summary

Constructors

Constructor and Description
LexicographicComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(java.lang.Comparable<U>[] o1, java.lang.Comparable<U>[] o2)

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

LexicographicComparator

public LexicographicComparator()

Method Detail

compare

public int compare(java.lang.Comparable<U>[] o1,
                   java.lang.Comparable<U>[] o2)

Specified by:

compare in interface java.util.Comparator<java.lang.Comparable<U>[]>