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

java.lang.Object
  org.eclipse.ocl.examples.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

static java.util.Comparator<? super TemplateParameterSubstitution>

INSTANCE

Constructor Summary

PivotUtil.TemplateParameterSubstitutionComparator()

Method Summary

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

equals

Field Detail

INSTANCE

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

Constructor Detail

PivotUtil.TemplateParameterSubstitutionComparator

public PivotUtil.TemplateParameterSubstitutionComparator()

Method Detail

compare

public int compare(TemplateParameterSubstitution o1,
                   TemplateParameterSubstitution o2)

Specified by:

compare in interface java.util.Comparator<TemplateParameterSubstitution>