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

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

All Implemented Interfaces:

java.util.Comparator<Property>

Enclosing class:

ASSaverNormalizeVisitor

protected static final class ASSaverNormalizeVisitor.PropertyComparator
extends java.lang.Object
implements java.util.Comparator<Property>

Field Summary

static java.util.Comparator<Property>

INSTANCE

Constructor Summary

protected

ASSaverNormalizeVisitor.PropertyComparator()

Method Summary

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

Constructor Detail

ASSaverNormalizeVisitor.PropertyComparator

protected ASSaverNormalizeVisitor.PropertyComparator()

Method Detail

compare

public int compare(Property o1,
                   Property o2)

Specified by:

compare in interface java.util.Comparator<Property>