dk.brics.tajs.lattice

Class ObjectLabel.Comparator

java.lang.Object

dk.brics.tajs.lattice.ObjectLabel.Comparator

All Implemented Interfaces:

java.util.Comparator<ObjectLabel>

Enclosing class:

ObjectLabel

public static class ObjectLabel.Comparator
extends java.lang.Object
implements java.util.Comparator<ObjectLabel>

Constructor Summary

Constructors

Constructor and Description
Comparator()

Method Summary

Modifier and Type	Method and Description
int	compare(ObjectLabel o1, ObjectLabel o2) Compares the two object labels.
static int	compareStatic(ObjectLabel o1, ObjectLabel 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

Comparator

public Comparator()

Method Detail

compare

public int compare(@Nonnull
                   ObjectLabel o1,
                   @Nonnull
                   ObjectLabel o2)

Compares the two object labels. The source location is used as primary key, and toString is used as secondary key.

Specified by:

compare in interface java.util.Comparator<ObjectLabel>

compareStatic

public static int compareStatic(@Nonnull
                                ObjectLabel o1,
                                @Nonnull
                                ObjectLabel o2)