ValuedEvents.sct 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
  3. <sgraph:Statechart xmi:id="_mYUJQHjXEeGKl8JlHfi_Yg" specification="interface:&#xD;&#xA;in event IntegerEvent : integer&#xD;&#xA;var myVar : integer" name="ValuedEvents">
  4. <regions xmi:id="_mYUwUnjXEeGKl8JlHfi_Yg" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_mYXMkXjXEeGKl8JlHfi_Yg">
  6. <outgoingTransitions xmi:id="_mYcsIXjXEeGKl8JlHfi_Yg" target="_mYZo0XjXEeGKl8JlHfi_Yg"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_mYZo0XjXEeGKl8JlHfi_Yg" specification="entry / raise IntegerEvent : 2*21" name="A" incomingTransitions="_mYcsIXjXEeGKl8JlHfi_Yg"/>
  9. </regions>
  10. <regions xmi:id="_4BMZkHjZEeGKl8JlHfi_Yg">
  11. <vertices xsi:type="sgraph:Entry" xmi:id="_4h2PkHjZEeGKl8JlHfi_Yg">
  12. <outgoingTransitions xmi:id="_6753MHjZEeGKl8JlHfi_Yg" specification="" target="_48UlEHjZEeGKl8JlHfi_Yg"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:State" xmi:id="_48UlEHjZEeGKl8JlHfi_Yg" name="B" incomingTransitions="_6753MHjZEeGKl8JlHfi_Yg">
  15. <outgoingTransitions xmi:id="_-hBjwHjZEeGKl8JlHfi_Yg" specification="IntegerEvent / myVar = valueof(IntegerEvent)" target="_9hO6sHjZEeGKl8JlHfi_Yg"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_9hO6sHjZEeGKl8JlHfi_Yg" name="C" incomingTransitions="_-hBjwHjZEeGKl8JlHfi_Yg"/>
  18. </regions>
  19. </sgraph:Statechart>
  20. <notation:Diagram xmi:id="_mYUwUHjXEeGKl8JlHfi_Yg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_mYUJQHjXEeGKl8JlHfi_Yg" measurementUnit="Pixel">
  21. <children xmi:id="_mYVXYHjXEeGKl8JlHfi_Yg" type="Region" element="_mYUwUnjXEeGKl8JlHfi_Yg">
  22. <children xsi:type="notation:DecorationNode" xmi:id="_mYV-cHjXEeGKl8JlHfi_Yg" type="RegionName">
  23. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYV-cXjXEeGKl8JlHfi_Yg"/>
  24. <layoutConstraint xsi:type="notation:Location" xmi:id="_mYV-cnjXEeGKl8JlHfi_Yg"/>
  25. </children>
  26. <children xsi:type="notation:Shape" xmi:id="_mYWlgHjXEeGKl8JlHfi_Yg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  27. <children xmi:id="_mYXMknjXEeGKl8JlHfi_Yg" type="Entry" element="_mYXMkXjXEeGKl8JlHfi_Yg">
  28. <children xmi:id="_mYYasHjXEeGKl8JlHfi_Yg" type="BorderItemLabelContainer">
  29. <children xsi:type="notation:DecorationNode" xmi:id="_mYZBwHjXEeGKl8JlHfi_Yg" type="BorderItemLabel">
  30. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYZBwXjXEeGKl8JlHfi_Yg"/>
  31. <layoutConstraint xsi:type="notation:Location" xmi:id="_mYZBwnjXEeGKl8JlHfi_Yg"/>
  32. </children>
  33. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYYasXjXEeGKl8JlHfi_Yg" fontName="Verdana" lineColor="4210752"/>
  34. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mYYasnjXEeGKl8JlHfi_Yg"/>
  35. </children>
  36. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYXMk3jXEeGKl8JlHfi_Yg" fontName="Verdana" lineColor="4210752"/>
  37. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mYZo0HjXEeGKl8JlHfi_Yg" x="70" y="20"/>
  38. </children>
  39. <children xmi:id="_mYaP4HjXEeGKl8JlHfi_Yg" type="State" element="_mYZo0XjXEeGKl8JlHfi_Yg">
  40. <children xsi:type="notation:DecorationNode" xmi:id="_mYa28HjXEeGKl8JlHfi_Yg" type="StateName">
  41. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYa28XjXEeGKl8JlHfi_Yg"/>
  42. <layoutConstraint xsi:type="notation:Location" xmi:id="_mYa28njXEeGKl8JlHfi_Yg"/>
  43. </children>
  44. <children xsi:type="notation:Compartment" xmi:id="_mYbeAHjXEeGKl8JlHfi_Yg" type="StateTextCompartment">
  45. <children xsi:type="notation:Shape" xmi:id="_mYbeAXjXEeGKl8JlHfi_Yg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mYbeAnjXEeGKl8JlHfi_Yg"/>
  47. </children>
  48. </children>
  49. <children xsi:type="notation:Compartment" xmi:id="_mYcFEHjXEeGKl8JlHfi_Yg" type="StateFigureCompartment"/>
  50. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYaP4XjXEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  51. <styles xsi:type="notation:FontStyle" xmi:id="_mYaP4njXEeGKl8JlHfi_Yg"/>
  52. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_mYcFEXjXEeGKl8JlHfi_Yg"/>
  53. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mYcsIHjXEeGKl8JlHfi_Yg" x="9" y="79" width="176" height="76"/>
  54. </children>
  55. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mYWlgXjXEeGKl8JlHfi_Yg"/>
  56. </children>
  57. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYVXYXjXEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  58. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mYXMkHjXEeGKl8JlHfi_Yg" x="265" y="10" width="211" height="206"/>
  59. </children>
  60. <children xsi:type="notation:Shape" xmi:id="_mYehUHjXEeGKl8JlHfi_Yg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  61. <children xsi:type="notation:DecorationNode" xmi:id="_mYfIYHjXEeGKl8JlHfi_Yg" type="StatechartName">
  62. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYfIYXjXEeGKl8JlHfi_Yg"/>
  63. <layoutConstraint xsi:type="notation:Location" xmi:id="_mYfIYnjXEeGKl8JlHfi_Yg"/>
  64. </children>
  65. <children xsi:type="notation:Shape" xmi:id="_mYfvcHjXEeGKl8JlHfi_Yg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  66. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mYfvcXjXEeGKl8JlHfi_Yg"/>
  67. </children>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mYgWgHjXEeGKl8JlHfi_Yg" x="20" y="10" width="236" height="91"/>
  69. </children>
  70. <children xmi:id="_4BWxoHjZEeGKl8JlHfi_Yg" type="Region" element="_4BMZkHjZEeGKl8JlHfi_Yg">
  71. <children xsi:type="notation:DecorationNode" xmi:id="_4BX_wHjZEeGKl8JlHfi_Yg" type="RegionName">
  72. <styles xsi:type="notation:ShapeStyle" xmi:id="_4BX_wXjZEeGKl8JlHfi_Yg"/>
  73. <layoutConstraint xsi:type="notation:Location" xmi:id="_4BX_wnjZEeGKl8JlHfi_Yg"/>
  74. </children>
  75. <children xsi:type="notation:Shape" xmi:id="_4BYm0HjZEeGKl8JlHfi_Yg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  76. <children xmi:id="_4iGHMHjZEeGKl8JlHfi_Yg" type="Entry" element="_4h2PkHjZEeGKl8JlHfi_Yg">
  77. <children xmi:id="_4iHVUHjZEeGKl8JlHfi_Yg" type="BorderItemLabelContainer">
  78. <children xsi:type="notation:DecorationNode" xmi:id="_4iH8YHjZEeGKl8JlHfi_Yg" type="BorderItemLabel">
  79. <styles xsi:type="notation:ShapeStyle" xmi:id="_4iH8YXjZEeGKl8JlHfi_Yg"/>
  80. <layoutConstraint xsi:type="notation:Location" xmi:id="_4iIjcHjZEeGKl8JlHfi_Yg"/>
  81. </children>
  82. <styles xsi:type="notation:ShapeStyle" xmi:id="_4iHVUXjZEeGKl8JlHfi_Yg" fontName="Verdana" lineColor="4210752"/>
  83. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4iHVUnjZEeGKl8JlHfi_Yg"/>
  84. </children>
  85. <styles xsi:type="notation:ShapeStyle" xmi:id="_4iGHMXjZEeGKl8JlHfi_Yg" fontName="Verdana" lineColor="4210752"/>
  86. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4iGHMnjZEeGKl8JlHfi_Yg" x="93" y="14"/>
  87. </children>
  88. <children xmi:id="_48tmoHjZEeGKl8JlHfi_Yg" type="State" element="_48UlEHjZEeGKl8JlHfi_Yg">
  89. <children xsi:type="notation:DecorationNode" xmi:id="_48wC4HjZEeGKl8JlHfi_Yg" type="StateName">
  90. <styles xsi:type="notation:ShapeStyle" xmi:id="_48wC4XjZEeGKl8JlHfi_Yg"/>
  91. <layoutConstraint xsi:type="notation:Location" xmi:id="_48wp8HjZEeGKl8JlHfi_Yg"/>
  92. </children>
  93. <children xsi:type="notation:Compartment" xmi:id="_48wp8XjZEeGKl8JlHfi_Yg" type="StateTextCompartment">
  94. <children xsi:type="notation:Shape" xmi:id="_48xRAHjZEeGKl8JlHfi_Yg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  95. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_48xRAXjZEeGKl8JlHfi_Yg"/>
  96. </children>
  97. </children>
  98. <children xsi:type="notation:Compartment" xmi:id="_48x4EHjZEeGKl8JlHfi_Yg" type="StateFigureCompartment"/>
  99. <styles xsi:type="notation:ShapeStyle" xmi:id="_48tmoXjZEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  100. <styles xsi:type="notation:FontStyle" xmi:id="_48tmonjZEeGKl8JlHfi_Yg"/>
  101. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_48yfIHjZEeGKl8JlHfi_Yg"/>
  102. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_48tmo3jZEeGKl8JlHfi_Yg" x="107" y="74" width="111" height="66"/>
  103. </children>
  104. <children xmi:id="_9hmHEHjZEeGKl8JlHfi_Yg" type="State" element="_9hO6sHjZEeGKl8JlHfi_Yg">
  105. <children xsi:type="notation:DecorationNode" xmi:id="_9hn8QHjZEeGKl8JlHfi_Yg" type="StateName">
  106. <styles xsi:type="notation:ShapeStyle" xmi:id="_9hn8QXjZEeGKl8JlHfi_Yg"/>
  107. <layoutConstraint xsi:type="notation:Location" xmi:id="_9hn8QnjZEeGKl8JlHfi_Yg"/>
  108. </children>
  109. <children xsi:type="notation:Compartment" xmi:id="_9hn8Q3jZEeGKl8JlHfi_Yg" type="StateTextCompartment">
  110. <children xsi:type="notation:Shape" xmi:id="_9hojUHjZEeGKl8JlHfi_Yg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  111. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9hojUXjZEeGKl8JlHfi_Yg"/>
  112. </children>
  113. </children>
  114. <children xsi:type="notation:Compartment" xmi:id="_9hpKYHjZEeGKl8JlHfi_Yg" type="StateFigureCompartment"/>
  115. <styles xsi:type="notation:ShapeStyle" xmi:id="_9hmuIHjZEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  116. <styles xsi:type="notation:FontStyle" xmi:id="_9hmuIXjZEeGKl8JlHfi_Yg"/>
  117. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_9hpxcHjZEeGKl8JlHfi_Yg"/>
  118. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9hmuInjZEeGKl8JlHfi_Yg" x="114" y="209" width="96" height="61"/>
  119. </children>
  120. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4BYm0XjZEeGKl8JlHfi_Yg"/>
  121. </children>
  122. <styles xsi:type="notation:ShapeStyle" xmi:id="_4BWxoXjZEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  123. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4BWxonjZEeGKl8JlHfi_Yg" x="485" y="10" width="321" height="331"/>
  124. </children>
  125. <styles xsi:type="notation:DiagramStyle" xmi:id="_mYUwUXjXEeGKl8JlHfi_Yg"/>
  126. <edges xmi:id="_mYdTMHjXEeGKl8JlHfi_Yg" type="Transition" element="_mYcsIXjXEeGKl8JlHfi_Yg" source="_mYXMknjXEeGKl8JlHfi_Yg" target="_mYaP4HjXEeGKl8JlHfi_Yg">
  127. <children xsi:type="notation:DecorationNode" xmi:id="_mYd6QXjXEeGKl8JlHfi_Yg" type="TransitionExpression">
  128. <styles xsi:type="notation:ShapeStyle" xmi:id="_mYd6QnjXEeGKl8JlHfi_Yg"/>
  129. <layoutConstraint xsi:type="notation:Location" xmi:id="_mYd6Q3jXEeGKl8JlHfi_Yg" y="10"/>
  130. </children>
  131. <styles xsi:type="notation:ConnectorStyle" xmi:id="_mYdTMXjXEeGKl8JlHfi_Yg" lineColor="4210752"/>
  132. <styles xsi:type="notation:FontStyle" xmi:id="_mYd6QHjXEeGKl8JlHfi_Yg" fontName="Verdana"/>
  133. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_mYdTMnjXEeGKl8JlHfi_Yg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  134. </edges>
  135. <edges xmi:id="_68GrgHjZEeGKl8JlHfi_Yg" type="Transition" element="_6753MHjZEeGKl8JlHfi_Yg" source="_4iGHMHjZEeGKl8JlHfi_Yg" target="_48tmoHjZEeGKl8JlHfi_Yg">
  136. <children xsi:type="notation:DecorationNode" xmi:id="_68H5oHjZEeGKl8JlHfi_Yg" type="TransitionExpression">
  137. <styles xsi:type="notation:ShapeStyle" xmi:id="_68H5oXjZEeGKl8JlHfi_Yg"/>
  138. <layoutConstraint xsi:type="notation:Location" xmi:id="_68H5onjZEeGKl8JlHfi_Yg" y="10"/>
  139. </children>
  140. <styles xsi:type="notation:ConnectorStyle" xmi:id="_68GrgXjZEeGKl8JlHfi_Yg" lineColor="4210752"/>
  141. <styles xsi:type="notation:FontStyle" xmi:id="_68HSkHjZEeGKl8JlHfi_Yg" fontName="Verdana"/>
  142. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_68GrgnjZEeGKl8JlHfi_Yg" points="[0, 8, 5, -44]$[0, 27, 5, -25]"/>
  143. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_8mAokHjZEeGKl8JlHfi_Yg" id="(0.36036036036036034,0.07575757575757576)"/>
  144. </edges>
  145. <edges xmi:id="_-hO_IHjZEeGKl8JlHfi_Yg" type="Transition" element="_-hBjwHjZEeGKl8JlHfi_Yg" source="_48tmoHjZEeGKl8JlHfi_Yg" target="_9hmHEHjZEeGKl8JlHfi_Yg">
  146. <children xsi:type="notation:DecorationNode" xmi:id="_-hQNQHjZEeGKl8JlHfi_Yg" type="TransitionExpression">
  147. <styles xsi:type="notation:ShapeStyle" xmi:id="_-hQNQXjZEeGKl8JlHfi_Yg"/>
  148. <layoutConstraint xsi:type="notation:Location" xmi:id="_-hQNQnjZEeGKl8JlHfi_Yg" x="2" y="-4"/>
  149. </children>
  150. <styles xsi:type="notation:ConnectorStyle" xmi:id="_-hO_IXjZEeGKl8JlHfi_Yg" lineColor="4210752"/>
  151. <styles xsi:type="notation:FontStyle" xmi:id="_-hPmMHjZEeGKl8JlHfi_Yg" fontName="Verdana"/>
  152. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_-hO_InjZEeGKl8JlHfi_Yg" points="[26, 3, -70, 2]$[97, -15, 1, -16]"/>
  153. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-hrrEHjZEeGKl8JlHfi_Yg" id="(0.7567567567567568,0.30303030303030304)"/>
  154. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-hrrEXjZEeGKl8JlHfi_Yg" id="(0.17708333333333334,0.29508196721311475)"/>
  155. </edges>
  156. </notation:Diagram>
  157. </xmi:XMI>