de.cau.cs.kieler.synccharts.listener
Class TransitionPrioComparator

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.listener.TransitionPrioComparator
All Implemented Interfaces:
Comparator<Transition>

public class TransitionPrioComparator
extends Object
implements Comparator<Transition>

A Comparator class that compares Transitions according to their priorities. Can be used to sort a list of Transitions by priority, e.g. by the call Collections.sort(list, new TransitionPrioComparator())

Rating proposed yellow
(2010-01-19) proposed by haf

Constructor Summary
TransitionPrioComparator()
           
 
Method Summary
 int compare(Transition t1, Transition t2)
          
 
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
 

Constructor Detail

TransitionPrioComparator

public TransitionPrioComparator()
Method Detail

compare

public int compare(Transition t1,
                   Transition t2)

Specified by:
compare in interface Comparator<Transition>