de.cau.cs.kieler.synccharts.listener
Class TriggerListenerPriorities
java.lang.Object
org.eclipse.emf.transaction.ResourceSetListenerImpl
org.eclipse.emf.transaction.TriggerListener
de.cau.cs.kieler.synccharts.listener.FailSafeTriggerListener
de.cau.cs.kieler.synccharts.listener.FireOnceTriggerListener
de.cau.cs.kieler.synccharts.listener.TriggerListenerPriorities
- All Implemented Interfaces:
- EventListener, ResourceSetListener, ResourceSetListener.Internal
public class TriggerListenerPriorities
- extends FireOnceTriggerListener
A SyncCharts TriggerListener that fixes changes in Transition priorities.
Requirements of priorities of outgoing transitions of a state are: They must be
a list starting with 1 with no duplicates and no holes.
Hence manually changing on priority must trigger an update of all other priorities.
Additionally, changing the sourceState of a transition (i.e. creating a new transition or
moving a transition source to another state) also requires prio updates for all outgoing
transitions at the involved states.
- Rating

Constructor Summary |
TriggerListenerPriorities()
Constructor that configures a notification filter for only the
relevant notifications. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TriggerListenerPriorities
public TriggerListenerPriorities()
- Constructor that configures a notification filter for only the
relevant notifications.
trigger
protected Command trigger(TransactionalEditingDomain domain,
Notification notification)
- Specified by:
trigger
in class TriggerListener