StatechartLocalReactions.sct 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168
  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="_RFTg0In9EeGKqoh-gt8EXQ" specification="interface:&#xD;&#xA;var myInt : integer&#xD;&#xA;internal:&#xD;&#xA;oncycle / myInt+=1&#xD;&#xA;" name="StatechartLocalReactions">
  4. <regions xmi:id="_RFWkIon9EeGKqoh-gt8EXQ" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_RGUNcIn9EeGKqoh-gt8EXQ">
  6. <outgoingTransitions xmi:id="_RGfMkYn9EeGKqoh-gt8EXQ" target="_RGZtAYn9EeGKqoh-gt8EXQ"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_RGZtAYn9EeGKqoh-gt8EXQ" name="S1" incomingTransitions="_RGfMkYn9EeGKqoh-gt8EXQ _UvZM8In9EeGKqoh-gt8EXQ">
  9. <outgoingTransitions xmi:id="_TsF84In9EeGKqoh-gt8EXQ" specification="[true]" target="_TB-B0In9EeGKqoh-gt8EXQ"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_TB-B0In9EeGKqoh-gt8EXQ" name="S2" incomingTransitions="_TsF84In9EeGKqoh-gt8EXQ">
  12. <outgoingTransitions xmi:id="_UvZM8In9EeGKqoh-gt8EXQ" specification="[true]" target="_RGZtAYn9EeGKqoh-gt8EXQ"/>
  13. </vertices>
  14. </regions>
  15. <regions xmi:id="_RZW2oI1dEeGmRdyimotffQ" name="region2">
  16. <vertices xsi:type="sgraph:Entry" xmi:id="_S0APsI1dEeGmRdyimotffQ">
  17. <outgoingTransitions xmi:id="_UVq2wI1dEeGmRdyimotffQ" specification="" target="_TOHY0I1dEeGmRdyimotffQ"/>
  18. </vertices>
  19. <vertices xsi:type="sgraph:State" xmi:id="_TOHY0I1dEeGmRdyimotffQ" name="a" incomingTransitions="_UVq2wI1dEeGmRdyimotffQ"/>
  20. </regions>
  21. </sgraph:Statechart>
  22. <notation:Diagram xmi:id="_RFWkIIn9EeGKqoh-gt8EXQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_RFTg0In9EeGKqoh-gt8EXQ" measurementUnit="Pixel">
  23. <children xmi:id="_RFixYIn9EeGKqoh-gt8EXQ" type="Region" element="_RFWkIon9EeGKqoh-gt8EXQ">
  24. <children xsi:type="notation:DecorationNode" xmi:id="_RGQjEIn9EeGKqoh-gt8EXQ" type="RegionName">
  25. <styles xsi:type="notation:ShapeStyle" xmi:id="_RGQjEYn9EeGKqoh-gt8EXQ"/>
  26. <layoutConstraint xsi:type="notation:Location" xmi:id="_RGQjEon9EeGKqoh-gt8EXQ"/>
  27. </children>
  28. <children xsi:type="notation:Shape" xmi:id="_RGRKIIn9EeGKqoh-gt8EXQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  29. <children xmi:id="_RGWCoIn9EeGKqoh-gt8EXQ" type="Entry" element="_RGUNcIn9EeGKqoh-gt8EXQ">
  30. <children xmi:id="_RGYe4In9EeGKqoh-gt8EXQ" type="BorderItemLabelContainer">
  31. <children xsi:type="notation:DecorationNode" xmi:id="_RGZF8In9EeGKqoh-gt8EXQ" type="BorderItemLabel">
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_RGZF8Yn9EeGKqoh-gt8EXQ"/>
  33. <layoutConstraint xsi:type="notation:Location" xmi:id="_RGZF8on9EeGKqoh-gt8EXQ"/>
  34. </children>
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_RGYe4Yn9EeGKqoh-gt8EXQ" fontName="Verdana" lineColor="4210752"/>
  36. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RGYe4on9EeGKqoh-gt8EXQ"/>
  37. </children>
  38. <styles xsi:type="notation:ShapeStyle" xmi:id="_RGWCoYn9EeGKqoh-gt8EXQ" fontName="Verdana" lineColor="4210752"/>
  39. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RGZtAIn9EeGKqoh-gt8EXQ" x="70" y="20"/>
  40. </children>
  41. <children xmi:id="_RGbiMIn9EeGKqoh-gt8EXQ" type="State" element="_RGZtAYn9EeGKqoh-gt8EXQ">
  42. <children xsi:type="notation:DecorationNode" xmi:id="_RGcJQIn9EeGKqoh-gt8EXQ" type="StateName">
  43. <styles xsi:type="notation:ShapeStyle" xmi:id="_RGcJQYn9EeGKqoh-gt8EXQ"/>
  44. <layoutConstraint xsi:type="notation:Location" xmi:id="_RGcJQon9EeGKqoh-gt8EXQ"/>
  45. </children>
  46. <children xsi:type="notation:Compartment" xmi:id="_RGdXYIn9EeGKqoh-gt8EXQ" type="StateTextCompartment">
  47. <children xsi:type="notation:Shape" xmi:id="_RGdXYYn9EeGKqoh-gt8EXQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  48. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RGd-cIn9EeGKqoh-gt8EXQ"/>
  49. </children>
  50. </children>
  51. <children xsi:type="notation:Compartment" xmi:id="_RGd-cYn9EeGKqoh-gt8EXQ" type="StateFigureCompartment"/>
  52. <styles xsi:type="notation:ShapeStyle" xmi:id="_RGbiMYn9EeGKqoh-gt8EXQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  53. <styles xsi:type="notation:FontStyle" xmi:id="_RGbiMon9EeGKqoh-gt8EXQ"/>
  54. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_RGelgIn9EeGKqoh-gt8EXQ"/>
  55. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RGfMkIn9EeGKqoh-gt8EXQ" x="60" y="79"/>
  56. </children>
  57. <children xmi:id="_TCY4kIn9EeGKqoh-gt8EXQ" type="State" element="_TB-B0In9EeGKqoh-gt8EXQ">
  58. <children xsi:type="notation:DecorationNode" xmi:id="_TCaGsIn9EeGKqoh-gt8EXQ" type="StateName">
  59. <styles xsi:type="notation:ShapeStyle" xmi:id="_TCaGsYn9EeGKqoh-gt8EXQ"/>
  60. <layoutConstraint xsi:type="notation:Location" xmi:id="_TCaGson9EeGKqoh-gt8EXQ"/>
  61. </children>
  62. <children xsi:type="notation:Compartment" xmi:id="_TCaGs4n9EeGKqoh-gt8EXQ" type="StateTextCompartment">
  63. <children xsi:type="notation:Shape" xmi:id="_TCatwIn9EeGKqoh-gt8EXQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  64. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TCatwYn9EeGKqoh-gt8EXQ"/>
  65. </children>
  66. </children>
  67. <children xsi:type="notation:Compartment" xmi:id="_TCbU0In9EeGKqoh-gt8EXQ" type="StateFigureCompartment"/>
  68. <styles xsi:type="notation:ShapeStyle" xmi:id="_TCY4kYn9EeGKqoh-gt8EXQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  69. <styles xsi:type="notation:FontStyle" xmi:id="_TCY4kon9EeGKqoh-gt8EXQ"/>
  70. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_TCbU0Yn9EeGKqoh-gt8EXQ"/>
  71. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TCY4k4n9EeGKqoh-gt8EXQ" x="247" y="87"/>
  72. </children>
  73. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RGRKIYn9EeGKqoh-gt8EXQ"/>
  74. </children>
  75. <styles xsi:type="notation:ShapeStyle" xmi:id="_RFixYYn9EeGKqoh-gt8EXQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RGTmYIn9EeGKqoh-gt8EXQ" x="220" y="10" width="400" height="196"/>
  77. </children>
  78. <children xsi:type="notation:Shape" xmi:id="_RGkFEIn9EeGKqoh-gt8EXQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
  79. <children xsi:type="notation:DecorationNode" xmi:id="_RGksIIn9EeGKqoh-gt8EXQ" type="StatechartName">
  80. <styles xsi:type="notation:ShapeStyle" xmi:id="_RGksIYn9EeGKqoh-gt8EXQ"/>
  81. <layoutConstraint xsi:type="notation:Location" xmi:id="_RGksIon9EeGKqoh-gt8EXQ"/>
  82. </children>
  83. <children xsi:type="notation:Shape" xmi:id="_RGlTMIn9EeGKqoh-gt8EXQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  84. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RGlTMYn9EeGKqoh-gt8EXQ"/>
  85. </children>
  86. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RGl6QIn9EeGKqoh-gt8EXQ" x="8" y="10" width="200" height="201"/>
  87. </children>
  88. <children xmi:id="_RZtb8I1dEeGmRdyimotffQ" type="Region" element="_RZW2oI1dEeGmRdyimotffQ">
  89. <children xsi:type="notation:DecorationNode" xmi:id="_RZyUcI1dEeGmRdyimotffQ" type="RegionName">
  90. <styles xsi:type="notation:ShapeStyle" xmi:id="_RZyUcY1dEeGmRdyimotffQ"/>
  91. <layoutConstraint xsi:type="notation:Location" xmi:id="_RZyUco1dEeGmRdyimotffQ"/>
  92. </children>
  93. <children xsi:type="notation:Shape" xmi:id="_RZy7gI1dEeGmRdyimotffQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  94. <children xmi:id="_S00IAI1dEeGmRdyimotffQ" type="Entry" element="_S0APsI1dEeGmRdyimotffQ">
  95. <children xmi:id="_S01WII1dEeGmRdyimotffQ" type="BorderItemLabelContainer">
  96. <children xsi:type="notation:DecorationNode" xmi:id="_S019MI1dEeGmRdyimotffQ" type="BorderItemLabel">
  97. <styles xsi:type="notation:ShapeStyle" xmi:id="_S019MY1dEeGmRdyimotffQ"/>
  98. <layoutConstraint xsi:type="notation:Location" xmi:id="_S019Mo1dEeGmRdyimotffQ"/>
  99. </children>
  100. <styles xsi:type="notation:ShapeStyle" xmi:id="_S01WIY1dEeGmRdyimotffQ" fontName="Verdana" lineColor="4210752"/>
  101. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S01WIo1dEeGmRdyimotffQ"/>
  102. </children>
  103. <styles xsi:type="notation:ShapeStyle" xmi:id="_S00IAY1dEeGmRdyimotffQ" fontName="Verdana" lineColor="4210752"/>
  104. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_S00IAo1dEeGmRdyimotffQ" x="26" y="15"/>
  105. </children>
  106. <children xmi:id="_TOmhAI1dEeGmRdyimotffQ" type="State" element="_TOHY0I1dEeGmRdyimotffQ">
  107. <children xsi:type="notation:DecorationNode" xmi:id="_TOnvII1dEeGmRdyimotffQ" type="StateName">
  108. <styles xsi:type="notation:ShapeStyle" xmi:id="_TOnvIY1dEeGmRdyimotffQ"/>
  109. <layoutConstraint xsi:type="notation:Location" xmi:id="_TOnvIo1dEeGmRdyimotffQ"/>
  110. </children>
  111. <children xsi:type="notation:Compartment" xmi:id="_TOo9QI1dEeGmRdyimotffQ" type="StateTextCompartment">
  112. <children xsi:type="notation:Shape" xmi:id="_TOo9QY1dEeGmRdyimotffQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  113. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TOo9Qo1dEeGmRdyimotffQ"/>
  114. </children>
  115. </children>
  116. <children xsi:type="notation:Compartment" xmi:id="_TOqLYI1dEeGmRdyimotffQ" type="StateFigureCompartment"/>
  117. <styles xsi:type="notation:ShapeStyle" xmi:id="_TOmhAY1dEeGmRdyimotffQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  118. <styles xsi:type="notation:FontStyle" xmi:id="_TOmhAo1dEeGmRdyimotffQ"/>
  119. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_TOqLYY1dEeGmRdyimotffQ"/>
  120. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TOmhA41dEeGmRdyimotffQ" x="131" y="32"/>
  121. </children>
  122. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RZzikI1dEeGmRdyimotffQ"/>
  123. </children>
  124. <styles xsi:type="notation:ShapeStyle" xmi:id="_RZtb8Y1dEeGmRdyimotffQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  125. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_RZtb8o1dEeGmRdyimotffQ" x="220" y="210" width="400" height="196"/>
  126. </children>
  127. <styles xsi:type="notation:DiagramStyle" xmi:id="_RFWkIYn9EeGKqoh-gt8EXQ"/>
  128. <edges xmi:id="_RGho0In9EeGKqoh-gt8EXQ" type="Transition" element="_RGfMkYn9EeGKqoh-gt8EXQ" source="_RGWCoIn9EeGKqoh-gt8EXQ" target="_RGbiMIn9EeGKqoh-gt8EXQ">
  129. <children xsi:type="notation:DecorationNode" xmi:id="_RGi28Yn9EeGKqoh-gt8EXQ" type="TransitionExpression">
  130. <styles xsi:type="notation:ShapeStyle" xmi:id="_RGi28on9EeGKqoh-gt8EXQ"/>
  131. <layoutConstraint xsi:type="notation:Location" xmi:id="_RGjeAIn9EeGKqoh-gt8EXQ" y="10"/>
  132. </children>
  133. <styles xsi:type="notation:ConnectorStyle" xmi:id="_RGho0Yn9EeGKqoh-gt8EXQ" lineColor="4210752"/>
  134. <styles xsi:type="notation:FontStyle" xmi:id="_RGi28In9EeGKqoh-gt8EXQ" fontName="Verdana"/>
  135. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_RGho0on9EeGKqoh-gt8EXQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  136. </edges>
  137. <edges xmi:id="_TsKOUIn9EeGKqoh-gt8EXQ" type="Transition" element="_TsF84In9EeGKqoh-gt8EXQ" source="_RGbiMIn9EeGKqoh-gt8EXQ" target="_TCY4kIn9EeGKqoh-gt8EXQ">
  138. <children xsi:type="notation:DecorationNode" xmi:id="_TsK1YIn9EeGKqoh-gt8EXQ" type="TransitionExpression">
  139. <styles xsi:type="notation:ShapeStyle" xmi:id="_TsK1YYn9EeGKqoh-gt8EXQ"/>
  140. <layoutConstraint xsi:type="notation:Location" xmi:id="_TsK1Yon9EeGKqoh-gt8EXQ" y="10"/>
  141. </children>
  142. <styles xsi:type="notation:ConnectorStyle" xmi:id="_TsKOUYn9EeGKqoh-gt8EXQ" lineColor="4210752"/>
  143. <styles xsi:type="notation:FontStyle" xmi:id="_TsKOU4n9EeGKqoh-gt8EXQ" fontName="Verdana"/>
  144. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_TsKOUon9EeGKqoh-gt8EXQ" points="[18, 1, -162, -19]$[177, -5, -3, -25]"/>
  145. </edges>
  146. <edges xmi:id="_UvfTkIn9EeGKqoh-gt8EXQ" type="Transition" element="_UvZM8In9EeGKqoh-gt8EXQ" source="_TCY4kIn9EeGKqoh-gt8EXQ" target="_RGbiMIn9EeGKqoh-gt8EXQ">
  147. <children xsi:type="notation:DecorationNode" xmi:id="_Uvf6oIn9EeGKqoh-gt8EXQ" type="TransitionExpression">
  148. <styles xsi:type="notation:ShapeStyle" xmi:id="_Uvf6oYn9EeGKqoh-gt8EXQ"/>
  149. <layoutConstraint xsi:type="notation:Location" xmi:id="_Uvf6oon9EeGKqoh-gt8EXQ" y="10"/>
  150. </children>
  151. <styles xsi:type="notation:ConnectorStyle" xmi:id="_UvfTkYn9EeGKqoh-gt8EXQ" lineColor="4210752"/>
  152. <styles xsi:type="notation:FontStyle" xmi:id="_UvfTk4n9EeGKqoh-gt8EXQ" fontName="Verdana"/>
  153. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UvfTkon9EeGKqoh-gt8EXQ" points="[-19, -3, 176, 1]$[-193, -12, 2, -8]"/>
  154. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UwYEYIn9EeGKqoh-gt8EXQ" id="(0.55,0.08928571428571429)"/>
  155. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UwYEYYn9EeGKqoh-gt8EXQ" id="(0.325,0.16071428571428573)"/>
  156. </edges>
  157. <edges xmi:id="_UV114I1dEeGmRdyimotffQ" type="Transition" element="_UVq2wI1dEeGmRdyimotffQ" source="_S00IAI1dEeGmRdyimotffQ" target="_TOmhAI1dEeGmRdyimotffQ">
  158. <children xsi:type="notation:DecorationNode" xmi:id="_UV3EAY1dEeGmRdyimotffQ" type="TransitionExpression">
  159. <styles xsi:type="notation:ShapeStyle" xmi:id="_UV3rEI1dEeGmRdyimotffQ"/>
  160. <layoutConstraint xsi:type="notation:Location" xmi:id="_UV3rEY1dEeGmRdyimotffQ" y="10"/>
  161. </children>
  162. <styles xsi:type="notation:ConnectorStyle" xmi:id="_UV114Y1dEeGmRdyimotffQ" lineColor="4210752"/>
  163. <styles xsi:type="notation:FontStyle" xmi:id="_UV3EAI1dEeGmRdyimotffQ" fontName="Verdana"/>
  164. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UV114o1dEeGmRdyimotffQ" points="[7, 1, -108, -34]$[113, 10, -2, -25]"/>
  165. </edges>
  166. </notation:Diagram>
  167. </xmi:XMI>