org.eclipse.ocl.pivot.utilities

Class PivotUtil.TemplateParameterSubstitutionComparator

java.lang.Object

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

All Implemented Interfaces:

java.util.Comparator<TemplateParameterSubstitution>

Enclosing class:

PivotUtil

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

In TemplateSignature order.

Field Summary

Fields

Modifier and Type	Field and Description
static java.util.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

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

public static java.util.Comparator<? super TemplateParameterSubstitution> INSTANCE

Constructor Detail

TemplateParameterSubstitutionComparator

public TemplateParameterSubstitutionComparator()

Method Detail

compare

public int compare(TemplateParameterSubstitution o1,
                   TemplateParameterSubstitution o2)

Specified by:

compare in interface java.util.Comparator<TemplateParameterSubstitution>