org.eclipse.ocl.pivot.utilities

Class PivotUtil.TemplateParameterSubstitutionComparator

java.lang.Object

org.eclipse.ocl.pivot.utilities.PivotUtil.TemplateParameterSubstitutionComparator

All Implemented Interfaces:

Comparator<TemplateParameterSubstitution>

Enclosing class:

PivotUtil

public static class PivotUtil.TemplateParameterSubstitutionComparator
extends Object
implements Comparator<TemplateParameterSubstitution>

In TemplateSignature order.

Field Summary

Fields

Modifier and Type	Field and Description
static Comparator<? super TemplateParameterSubstitution>	INSTANCE

Constructor Summary

Constructors

Constructor and Description
TemplateParameterSubstitutionComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(TemplateParameterSubstitution o1, TemplateParameterSubstitution o2)

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 Comparator<? super TemplateParameterSubstitution> INSTANCE

Constructor Detail

TemplateParameterSubstitutionComparator

public TemplateParameterSubstitutionComparator()

Method Detail

compare

public int compare(TemplateParameterSubstitution o1,
                   TemplateParameterSubstitution o2)

Specified by:

compare in interface Comparator<TemplateParameterSubstitution>