org.eclipse.ocl.pivot.ids

Class ElementId.ElementIdComparator

java.lang.Object

org.eclipse.ocl.pivot.ids.ElementId.ElementIdComparator

All Implemented Interfaces:

java.util.Comparator<ElementId>

Enclosing interface:

ElementId

public static final class ElementId.ElementIdComparator
extends java.lang.Object
implements java.util.Comparator<ElementId>

Field Summary

Fields

Modifier and Type	Field and Description
static ElementId.ElementIdComparator	INSTANCE

Constructor Summary

Constructors

Constructor and Description
ElementIdComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(ElementId o1, ElementId 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

Field Detail

INSTANCE

@NonNull
public static final ElementId.ElementIdComparator INSTANCE

Constructor Detail

ElementIdComparator

public ElementIdComparator()

Method Detail

compare

public int compare(ElementId o1,
                   ElementId o2)

Specified by:

compare in interface java.util.Comparator<ElementId>