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

java.lang.Object
  extended by org.eclipse.ocl.examples.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
static PivotUtil.PrecedenceComparator INSTANCE
           
 
Constructor Summary
PivotUtil.PrecedenceComparator()
           
 
Method Summary
 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
equals
 

Field Detail

INSTANCE

public static final PivotUtil.PrecedenceComparator INSTANCE
Constructor Detail

PivotUtil.PrecedenceComparator

public PivotUtil.PrecedenceComparator()
Method Detail

compare

public int compare(Precedence p1,
                   Precedence p2)
Specified by:
compare in interface java.util.Comparator<Precedence>