org.eclipse.ocl.examples.pivot.utilities
Class ASSaverNormalizeVisitor.TypeComparator

java.lang.Object
  org.eclipse.ocl.examples.pivot.utilities.ASSaverNormalizeVisitor.TypeComparator

All Implemented Interfaces:

java.util.Comparator<Type>

Enclosing class:

ASSaverNormalizeVisitor

protected static final class ASSaverNormalizeVisitor.TypeComparator
extends java.lang.Object
implements java.util.Comparator<Type>

Field Summary

static java.util.Comparator<Type>

INSTANCE

Constructor Summary

protected

ASSaverNormalizeVisitor.TypeComparator()

Method Summary

int	compare(Type o1, Type 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

@NonNull
public static final java.util.Comparator<Type> INSTANCE

Constructor Detail

ASSaverNormalizeVisitor.TypeComparator

protected ASSaverNormalizeVisitor.TypeComparator()

Method Detail

compare

public int compare(Type o1,
                   Type o2)

Specified by:

compare in interface java.util.Comparator<Type>