There are different transition types in KIELER SyncCharts, which are "weak abortion", "strong abortion", or "normal termination". The "weak abortion" transition is represented as a simple black arrow. The "strong abortion" transition is represented as a black arrow with a little red circle at the start point. The "normal termination" transition has a little green triangle at the start point.
To add the transition types in Yakindu SCT Editor, we need the following steps:
Create an enumeration type "TransitionType".
Add the attribute "type" to the Transition Class.
And then generate the EMF Model Code.
Modify the constructor
Add the methods createNormalTerminationDecoration() and createStrongAbortDecoration() to draw the different source decorators.
And then create a method refreshSourceDecoration() to refresh the source decorator, if the transition type is changed.
Add a transitionType ComboBox. The user can select between the different options: Weak Abort, Strong Abort, and Normal Termination.
Add the following code lines in the method handleNotificationEvent() to update the source decorator when the user changes the Transition Type.