org.eclipse.ocl.pivot.utilities

Class PivotUtil.PrecedenceComparator

java.lang.Object

org.eclipse.ocl.pivot.utilities.PivotUtil.PrecedenceComparator

All Implemented Interfaces:

java.util.Comparator<Precedence>

Enclosing class:

PivotUtil

public static class PivotUtil.PrecedenceComparator
extends java.lang.Object
implements java.util.Comparator<Precedence>

'Highest' precedence first

Field Summary

Fields

Modifier and Type	Field and Description
static PivotUtil.PrecedenceComparator	INSTANCE

Constructor Summary

Constructors

Constructor and Description
PrecedenceComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(Precedence p1, Precedence p2)

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 final PivotUtil.PrecedenceComparator INSTANCE

Constructor Detail

PrecedenceComparator

public PrecedenceComparator()

Method Detail

compare

public int compare(Precedence p1,
                   Precedence p2)

Specified by:

compare in interface java.util.Comparator<Precedence>