de.cau.cs.kieler.synccharts.listener
Class TransitionPrioComparator
java.lang.Object
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

- (2010-01-19) proposed by haf
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TransitionPrioComparator
public TransitionPrioComparator()
compare
public int compare(Transition t1,
Transition t2)
-
- Specified by:
compare
in interface Comparator<Transition>