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

java.lang.Object
  extended by org.eclipse.emf.transaction.ResourceSetListenerImpl
      extended by org.eclipse.emf.transaction.TriggerListener
          extended by de.cau.cs.kieler.synccharts.listener.FailSafeTriggerListener
              extended by de.cau.cs.kieler.synccharts.listener.FireOnceTriggerListener
                  extended by 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 red

Nested Class Summary
 
Nested classes/interfaces inherited from interface org.eclipse.emf.transaction.ResourceSetListener
ResourceSetListener.Internal
 
Field Summary
 
Fields inherited from class de.cau.cs.kieler.synccharts.listener.FireOnceTriggerListener
transaction
 
Constructor Summary
TriggerListenerPriorities()
          Constructor that configures a notification filter for only the relevant notifications.
 
Method Summary
protected  Command trigger(TransactionalEditingDomain domain, Notification notification)
           
 
Methods inherited from class de.cau.cs.kieler.synccharts.listener.FireOnceTriggerListener
transactionAboutToCommit
 
Methods inherited from class org.eclipse.emf.transaction.TriggerListener
isPrecommitOnly
 
Methods inherited from class org.eclipse.emf.transaction.ResourceSetListenerImpl
getFilter, getTarget, isAggregatePrecommitListener, isPostcommitOnly, resourceSetChanged, setTarget, unsetTarget
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TriggerListenerPriorities

public TriggerListenerPriorities()
Constructor that configures a notification filter for only the relevant notifications.

Method Detail

trigger

protected Command trigger(TransactionalEditingDomain domain,
                          Notification notification)
Specified by:
trigger in class TriggerListener