org.eclipse.ocl.pivot.utilities

Class ASSaverNormalizeVisitor.PropertyComparator

java.lang.Object

org.eclipse.ocl.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

Fields

Modifier and Type	Field and Description
static java.util.Comparator<Property>	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ASSaverNormalizeVisitor.PropertyComparator()

Method Summary

Methods

Modifier and Type	Method and Description
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>