AssignmentAsExpression.sct 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296
  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="_jC0fkAbeEeKcGdE-_70tiA" specification="&#xA;interface: &#xA;&#xA;&#x9;var a : integer = 0&#xA;&#x9;var b : integer = 0&#xA;&#x9;&#xA;&#x9;var c : integer = 0&#xA;&#x9;var d : integer = 0&#xA;&#x9;&#xA;&#x9;var e : integer = 1&#xA;&#x9;var f : integer = 1&#xA;&#x9;&#xA;&#x9;var g : integer = 4&#xA;&#x9;var h : integer = 32&#xA;&#x9;&#xA;&#x9;var i : integer = 7&#xA;&#x9;var i1 : integer = 7 &#xA;&#x9;&#xA;&#x9;var j : integer = 8&#xA;&#x9;var j1 : integer = 2&#xA;&#x9;var k : integer = 8&#xA;&#x9;var k1 : integer = 4&#xA;&#x9;&#xA;&#x9;var l : integer = 3&#xA;&#x9;var m : integer = 7&#xA;&#x9;var n : integer = 5&#xA;&#x9;&#xA;&#x9;var p : integer = 0&#xA;&#x9;var r : integer = 7&#xA;&#x9;var t : integer = 10&#xA;&#x9;&#xA;&#x9;var u : integer = 6&#xA;&#x9;var v : integer = 13&#xA;&#x9;var w : integer = 7" name="AssignmentAsExpression">
  4. <regions xmi:id="_jC1tsgbeEeKcGdE-_70tiA" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_jC6mNgbeEeKcGdE-_70tiA">
  6. <outgoingTransitions xmi:id="_jC9CcwbeEeKcGdE-_70tiA" target="_jC70UgbeEeKcGdE-_70tiA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_jC70UgbeEeKcGdE-_70tiA" specification="entry / a = (b = 5) + 4&#xD;&#xA;&#xD;&#xA;" name="Add" incomingTransitions="_jC9CcwbeEeKcGdE-_70tiA">
  9. <outgoingTransitions xmi:id="_GL9vYAbmEeKcGdE-_70tiA" specification="always " target="_3sJLgPBjEeKyMOgSbPoVNg"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_AQjccD1CEeK906zM_2TYDw" specification="entry / e *= (f *= 5) * 3" name="Multiply" incomingTransitions="_AycBgD1CEeK906zM_2TYDw">
  12. <outgoingTransitions xmi:id="_BdX04D1CEeK906zM_2TYDw" specification="always" target="_Aew3kD1CEeK906zM_2TYDw"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:State" xmi:id="_Aew3kD1CEeK906zM_2TYDw" specification="entry / g/= (h/=2)/4" name="Divide" incomingTransitions="_BdX04D1CEeK906zM_2TYDw">
  15. <outgoingTransitions xmi:id="_Nn_zID1MEeKdA4U9mrRlyg" specification="always" target="_NW9tgD1MEeKdA4U9mrRlyg"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_NW9tgD1MEeKdA4U9mrRlyg" specification="entry / i%= (i1%=4) % 4" name="Modulo" incomingTransitions="_Nn_zID1MEeKdA4U9mrRlyg">
  18. <outgoingTransitions xmi:id="_660s4D1MEeKdA4U9mrRlyg" specification="always" target="_6I12UD1MEeKdA4U9mrRlyg"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:State" xmi:id="_6I12UD1MEeKdA4U9mrRlyg" specification="entry / j &lt;&lt;= (j1>>=1);&#xD;&#xA;k >>= (k1>>=2)" name="Shift" incomingTransitions="_660s4D1MEeKdA4U9mrRlyg">
  21. <outgoingTransitions xmi:id="_mpt_oD1WEeK944SX6LphIQ" specification="always" target="_mESXUD1WEeK944SX6LphIQ"/>
  22. </vertices>
  23. <vertices xsi:type="sgraph:State" xmi:id="_mESXUD1WEeK944SX6LphIQ" specification="entry / l &amp;= (n&amp;= m)" name="boolean And" incomingTransitions="_mpt_oD1WEeK944SX6LphIQ">
  24. <outgoingTransitions xmi:id="_ScETMD1ZEeK944SX6LphIQ" specification="always" target="_SHr-oD1ZEeK944SX6LphIQ"/>
  25. </vertices>
  26. <vertices xsi:type="sgraph:State" xmi:id="_SHr-oD1ZEeK944SX6LphIQ" specification="entry / p|= (r|=t)" name="boolean Or" incomingTransitions="_ScETMD1ZEeK944SX6LphIQ">
  27. <outgoingTransitions xmi:id="_sK_vgD1ZEeK944SX6LphIQ" specification="always" target="_r4S18D1ZEeK944SX6LphIQ"/>
  28. </vertices>
  29. <vertices xsi:type="sgraph:State" xmi:id="_r4S18D1ZEeK944SX6LphIQ" specification="entry / u ^= (v^= w)" name="boolean Xor" incomingTransitions="_sK_vgD1ZEeK944SX6LphIQ"/>
  30. <vertices xsi:type="sgraph:State" xmi:id="_3sJLgPBjEeKyMOgSbPoVNg" specification="entry / d -= (c -= 5) - 1" name="Subtract" incomingTransitions="_GL9vYAbmEeKcGdE-_70tiA">
  31. <outgoingTransitions xmi:id="_AycBgD1CEeK906zM_2TYDw" specification="always" target="_AQjccD1CEeK906zM_2TYDw"/>
  32. </vertices>
  33. </regions>
  34. </sgraph:Statechart>
  35. <notation:Diagram xmi:id="_jC1tsAbeEeKcGdE-_70tiA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_jC0fkAbeEeKcGdE-_70tiA" measurementUnit="Pixel">
  36. <children xmi:id="_jC4J8AbeEeKcGdE-_70tiA" type="Region" element="_jC1tsgbeEeKcGdE-_70tiA">
  37. <children xsi:type="notation:DecorationNode" xmi:id="_jC6mMAbeEeKcGdE-_70tiA" type="RegionName">
  38. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC6mMQbeEeKcGdE-_70tiA"/>
  39. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC6mMgbeEeKcGdE-_70tiA"/>
  40. </children>
  41. <children xsi:type="notation:Shape" xmi:id="_jC6mMwbeEeKcGdE-_70tiA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  42. <children xmi:id="_jC7NQAbeEeKcGdE-_70tiA" type="Entry" element="_jC6mNgbeEeKcGdE-_70tiA">
  43. <children xmi:id="_jC7NQwbeEeKcGdE-_70tiA" type="BorderItemLabelContainer">
  44. <children xsi:type="notation:DecorationNode" xmi:id="_jC7NRgbeEeKcGdE-_70tiA" type="BorderItemLabel">
  45. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC7NRwbeEeKcGdE-_70tiA"/>
  46. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC70UAbeEeKcGdE-_70tiA"/>
  47. </children>
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC7NRAbeEeKcGdE-_70tiA" fontName="Verdana" lineColor="4210752"/>
  49. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC7NRQbeEeKcGdE-_70tiA"/>
  50. </children>
  51. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC7NQQbeEeKcGdE-_70tiA" fontName="Verdana" lineColor="4210752"/>
  52. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC70UQbeEeKcGdE-_70tiA" x="33" y="14"/>
  53. </children>
  54. <children xmi:id="_jC70VAbeEeKcGdE-_70tiA" type="State" element="_jC70UgbeEeKcGdE-_70tiA">
  55. <children xsi:type="notation:DecorationNode" xmi:id="_jC8bYAbeEeKcGdE-_70tiA" type="StateName">
  56. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC8bYQbeEeKcGdE-_70tiA"/>
  57. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC8bYgbeEeKcGdE-_70tiA"/>
  58. </children>
  59. <children xsi:type="notation:Compartment" xmi:id="_jC8bYwbeEeKcGdE-_70tiA" type="StateTextCompartment">
  60. <children xsi:type="notation:Shape" xmi:id="_jC8bZAbeEeKcGdE-_70tiA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  61. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC8bZQbeEeKcGdE-_70tiA"/>
  62. </children>
  63. </children>
  64. <children xsi:type="notation:Compartment" xmi:id="_jC9CcAbeEeKcGdE-_70tiA" type="StateFigureCompartment"/>
  65. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC70VQbeEeKcGdE-_70tiA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  66. <styles xsi:type="notation:FontStyle" xmi:id="_jC70VgbeEeKcGdE-_70tiA"/>
  67. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC9CcgbeEeKcGdE-_70tiA" x="8" y="94" width="223" height="76"/>
  68. </children>
  69. <children xmi:id="_AQpjED1CEeK906zM_2TYDw" type="State" element="_AQjccD1CEeK906zM_2TYDw">
  70. <children xsi:type="notation:DecorationNode" xmi:id="_AQubkD1CEeK906zM_2TYDw" type="StateName">
  71. <styles xsi:type="notation:ShapeStyle" xmi:id="_AQubkT1CEeK906zM_2TYDw"/>
  72. <layoutConstraint xsi:type="notation:Location" xmi:id="_AQvCoD1CEeK906zM_2TYDw"/>
  73. </children>
  74. <children xsi:type="notation:Compartment" xmi:id="_AQvCoT1CEeK906zM_2TYDw" type="StateTextCompartment">
  75. <children xsi:type="notation:Shape" xmi:id="_AQvpsD1CEeK906zM_2TYDw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AQvpsT1CEeK906zM_2TYDw"/>
  77. </children>
  78. </children>
  79. <children xsi:type="notation:Compartment" xmi:id="_AQvpsj1CEeK906zM_2TYDw" type="StateFigureCompartment"/>
  80. <styles xsi:type="notation:ShapeStyle" xmi:id="_AQpjET1CEeK906zM_2TYDw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  81. <styles xsi:type="notation:FontStyle" xmi:id="_AQpjEj1CEeK906zM_2TYDw"/>
  82. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AQpjEz1CEeK906zM_2TYDw" x="12" y="309" width="225" height="63"/>
  83. </children>
  84. <children xmi:id="_AezT0D1CEeK906zM_2TYDw" type="State" element="_Aew3kD1CEeK906zM_2TYDw">
  85. <children xsi:type="notation:DecorationNode" xmi:id="_Aez64D1CEeK906zM_2TYDw" type="StateName">
  86. <styles xsi:type="notation:ShapeStyle" xmi:id="_Aez64T1CEeK906zM_2TYDw"/>
  87. <layoutConstraint xsi:type="notation:Location" xmi:id="_Ae0h8D1CEeK906zM_2TYDw"/>
  88. </children>
  89. <children xsi:type="notation:Compartment" xmi:id="_Ae0h8T1CEeK906zM_2TYDw" type="StateTextCompartment">
  90. <children xsi:type="notation:Shape" xmi:id="_Ae0h8j1CEeK906zM_2TYDw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  91. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Ae0h8z1CEeK906zM_2TYDw"/>
  92. </children>
  93. </children>
  94. <children xsi:type="notation:Compartment" xmi:id="_Ae1JAD1CEeK906zM_2TYDw" type="StateFigureCompartment"/>
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_AezT0T1CEeK906zM_2TYDw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  96. <styles xsi:type="notation:FontStyle" xmi:id="_AezT0j1CEeK906zM_2TYDw"/>
  97. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AezT0z1CEeK906zM_2TYDw" x="299" y="309" width="199" height="63"/>
  98. </children>
  99. <children xmi:id="_NXBX4D1MEeKdA4U9mrRlyg" type="State" element="_NW9tgD1MEeKdA4U9mrRlyg">
  100. <children xsi:type="notation:DecorationNode" xmi:id="_NXCmAD1MEeKdA4U9mrRlyg" type="StateName">
  101. <styles xsi:type="notation:ShapeStyle" xmi:id="_NXCmAT1MEeKdA4U9mrRlyg"/>
  102. <layoutConstraint xsi:type="notation:Location" xmi:id="_NXCmAj1MEeKdA4U9mrRlyg"/>
  103. </children>
  104. <children xsi:type="notation:Compartment" xmi:id="_NXDNED1MEeKdA4U9mrRlyg" type="StateTextCompartment">
  105. <children xsi:type="notation:Shape" xmi:id="_NXDNET1MEeKdA4U9mrRlyg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  106. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NXDNEj1MEeKdA4U9mrRlyg"/>
  107. </children>
  108. </children>
  109. <children xsi:type="notation:Compartment" xmi:id="_NXD0ID1MEeKdA4U9mrRlyg" type="StateFigureCompartment"/>
  110. <styles xsi:type="notation:ShapeStyle" xmi:id="_NXBX4T1MEeKdA4U9mrRlyg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  111. <styles xsi:type="notation:FontStyle" xmi:id="_NXBX4j1MEeKdA4U9mrRlyg"/>
  112. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NXBX4z1MEeKdA4U9mrRlyg" x="299" y="204" width="199"/>
  113. </children>
  114. <children xmi:id="_6JA1cD1MEeKdA4U9mrRlyg" type="State" element="_6I12UD1MEeKdA4U9mrRlyg">
  115. <children xsi:type="notation:DecorationNode" xmi:id="_6JBcgD1MEeKdA4U9mrRlyg" type="StateName">
  116. <styles xsi:type="notation:ShapeStyle" xmi:id="_6JBcgT1MEeKdA4U9mrRlyg"/>
  117. <layoutConstraint xsi:type="notation:Location" xmi:id="_6JBcgj1MEeKdA4U9mrRlyg"/>
  118. </children>
  119. <children xsi:type="notation:Compartment" xmi:id="_6JBcgz1MEeKdA4U9mrRlyg" type="StateTextCompartment">
  120. <children xsi:type="notation:Shape" xmi:id="_6JBchD1MEeKdA4U9mrRlyg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  121. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6JBchT1MEeKdA4U9mrRlyg"/>
  122. </children>
  123. </children>
  124. <children xsi:type="notation:Compartment" xmi:id="_6JCDkD1MEeKdA4U9mrRlyg" type="StateFigureCompartment"/>
  125. <styles xsi:type="notation:ShapeStyle" xmi:id="_6JA1cT1MEeKdA4U9mrRlyg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  126. <styles xsi:type="notation:FontStyle" xmi:id="_6JA1cj1MEeKdA4U9mrRlyg"/>
  127. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_6JA1cz1MEeKdA4U9mrRlyg" x="299" y="92" width="199"/>
  128. </children>
  129. <children xmi:id="_mEgZwD1WEeK944SX6LphIQ" type="State" element="_mESXUD1WEeK944SX6LphIQ">
  130. <children xsi:type="notation:DecorationNode" xmi:id="_mEiO8D1WEeK944SX6LphIQ" type="StateName">
  131. <styles xsi:type="notation:ShapeStyle" xmi:id="_mEiO8T1WEeK944SX6LphIQ"/>
  132. <layoutConstraint xsi:type="notation:Location" xmi:id="_mEiO8j1WEeK944SX6LphIQ"/>
  133. </children>
  134. <children xsi:type="notation:Compartment" xmi:id="_mEi2AD1WEeK944SX6LphIQ" type="StateTextCompartment">
  135. <children xsi:type="notation:Shape" xmi:id="_mEi2AT1WEeK944SX6LphIQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  136. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mEi2Aj1WEeK944SX6LphIQ"/>
  137. </children>
  138. </children>
  139. <children xsi:type="notation:Compartment" xmi:id="_mEjdED1WEeK944SX6LphIQ" type="StateFigureCompartment"/>
  140. <styles xsi:type="notation:ShapeStyle" xmi:id="_mEgZwT1WEeK944SX6LphIQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  141. <styles xsi:type="notation:FontStyle" xmi:id="_mEgZwj1WEeK944SX6LphIQ"/>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mEgZwz1WEeK944SX6LphIQ" x="609" y="92" width="166"/>
  143. </children>
  144. <children xmi:id="_SHvB8D1ZEeK944SX6LphIQ" type="State" element="_SHr-oD1ZEeK944SX6LphIQ">
  145. <children xsi:type="notation:DecorationNode" xmi:id="_SHvpAD1ZEeK944SX6LphIQ" type="StateName">
  146. <styles xsi:type="notation:ShapeStyle" xmi:id="_SHvpAT1ZEeK944SX6LphIQ"/>
  147. <layoutConstraint xsi:type="notation:Location" xmi:id="_SHvpAj1ZEeK944SX6LphIQ"/>
  148. </children>
  149. <children xsi:type="notation:Compartment" xmi:id="_SHwQED1ZEeK944SX6LphIQ" type="StateTextCompartment">
  150. <children xsi:type="notation:Shape" xmi:id="_SHwQET1ZEeK944SX6LphIQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  151. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_SHwQEj1ZEeK944SX6LphIQ"/>
  152. </children>
  153. </children>
  154. <children xsi:type="notation:Compartment" xmi:id="_SHw3ID1ZEeK944SX6LphIQ" type="StateFigureCompartment"/>
  155. <styles xsi:type="notation:ShapeStyle" xmi:id="_SHvB8T1ZEeK944SX6LphIQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  156. <styles xsi:type="notation:FontStyle" xmi:id="_SHvB8j1ZEeK944SX6LphIQ"/>
  157. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_SHvB8z1ZEeK944SX6LphIQ" x="609" y="209" width="166"/>
  158. </children>
  159. <children xmi:id="_r4gRUD1ZEeK944SX6LphIQ" type="State" element="_r4S18D1ZEeK944SX6LphIQ">
  160. <children xsi:type="notation:DecorationNode" xmi:id="_r4g4YD1ZEeK944SX6LphIQ" type="StateName">
  161. <styles xsi:type="notation:ShapeStyle" xmi:id="_r4g4YT1ZEeK944SX6LphIQ"/>
  162. <layoutConstraint xsi:type="notation:Location" xmi:id="_r4g4Yj1ZEeK944SX6LphIQ"/>
  163. </children>
  164. <children xsi:type="notation:Compartment" xmi:id="_r4g4Yz1ZEeK944SX6LphIQ" type="StateTextCompartment">
  165. <children xsi:type="notation:Shape" xmi:id="_r4g4ZD1ZEeK944SX6LphIQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  166. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_r4g4ZT1ZEeK944SX6LphIQ"/>
  167. </children>
  168. </children>
  169. <children xsi:type="notation:Compartment" xmi:id="_r4g4Zj1ZEeK944SX6LphIQ" type="StateFigureCompartment"/>
  170. <styles xsi:type="notation:ShapeStyle" xmi:id="_r4gRUT1ZEeK944SX6LphIQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  171. <styles xsi:type="notation:FontStyle" xmi:id="_r4gRUj1ZEeK944SX6LphIQ"/>
  172. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_r4gRUz1ZEeK944SX6LphIQ" x="609" y="323" width="166"/>
  173. </children>
  174. <children xmi:id="_3sRuYPBjEeKyMOgSbPoVNg" type="State" element="_3sJLgPBjEeKyMOgSbPoVNg">
  175. <children xsi:type="notation:DecorationNode" xmi:id="_3si0IPBjEeKyMOgSbPoVNg" type="StateName">
  176. <styles xsi:type="notation:ShapeStyle" xmi:id="_3si0IfBjEeKyMOgSbPoVNg"/>
  177. <layoutConstraint xsi:type="notation:Location" xmi:id="_3si0IvBjEeKyMOgSbPoVNg"/>
  178. </children>
  179. <children xsi:type="notation:Compartment" xmi:id="_3sjbMPBjEeKyMOgSbPoVNg" type="StateTextCompartment">
  180. <children xsi:type="notation:Shape" xmi:id="_3sjbMfBjEeKyMOgSbPoVNg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  181. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3sjbMvBjEeKyMOgSbPoVNg"/>
  182. </children>
  183. </children>
  184. <children xsi:type="notation:Compartment" xmi:id="_3skCQPBjEeKyMOgSbPoVNg" type="StateFigureCompartment"/>
  185. <styles xsi:type="notation:ShapeStyle" xmi:id="_3sRuYfBjEeKyMOgSbPoVNg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  186. <styles xsi:type="notation:FontStyle" xmi:id="_3sRuYvBjEeKyMOgSbPoVNg"/>
  187. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_3skCQfBjEeKyMOgSbPoVNg" name="isHorizontal" booleanValue="true"/>
  188. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3sRuY_BjEeKyMOgSbPoVNg" x="12" y="209" width="219"/>
  189. </children>
  190. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC6mNAbeEeKcGdE-_70tiA"/>
  191. </children>
  192. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC4J8QbeEeKcGdE-_70tiA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  193. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC6mNQbeEeKcGdE-_70tiA" x="220" y="10" width="936" height="556"/>
  194. </children>
  195. <children xsi:type="notation:Shape" xmi:id="_jC-QkwbeEeKcGdE-_70tiA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  196. <children xsi:type="notation:DecorationNode" xmi:id="_jC-QlQbeEeKcGdE-_70tiA" type="StatechartName">
  197. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC-QlgbeEeKcGdE-_70tiA"/>
  198. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC-QlwbeEeKcGdE-_70tiA"/>
  199. </children>
  200. <children xsi:type="notation:Shape" xmi:id="_jC-3oAbeEeKcGdE-_70tiA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  201. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC-3oQbeEeKcGdE-_70tiA"/>
  202. </children>
  203. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC-3ogbeEeKcGdE-_70tiA" x="-5" y="15" width="200" height="551"/>
  204. </children>
  205. <styles xsi:type="notation:DiagramStyle" xmi:id="_jC1tsQbeEeKcGdE-_70tiA"/>
  206. <edges xmi:id="_jC9pgAbeEeKcGdE-_70tiA" type="Transition" element="_jC9CcwbeEeKcGdE-_70tiA" source="_jC7NQAbeEeKcGdE-_70tiA" target="_jC70VAbeEeKcGdE-_70tiA">
  207. <children xsi:type="notation:DecorationNode" xmi:id="_jC-QkAbeEeKcGdE-_70tiA" type="TransitionExpression">
  208. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC-QkQbeEeKcGdE-_70tiA"/>
  209. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC-QkgbeEeKcGdE-_70tiA" y="10"/>
  210. </children>
  211. <styles xsi:type="notation:ConnectorStyle" xmi:id="_jC9pgQbeEeKcGdE-_70tiA" lineColor="4210752"/>
  212. <styles xsi:type="notation:FontStyle" xmi:id="_jC9pgwbeEeKcGdE-_70tiA" fontName="Verdana"/>
  213. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_jC9pggbeEeKcGdE-_70tiA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  214. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_WqBu8D05EeK906zM_2TYDw" id="(0.13452914798206278,0.09574468085106383)"/>
  215. </edges>
  216. <edges xmi:id="_GMCA0AbmEeKcGdE-_70tiA" type="Transition" element="_GL9vYAbmEeKcGdE-_70tiA" source="_jC70VAbeEeKcGdE-_70tiA" target="_3sRuYPBjEeKyMOgSbPoVNg">
  217. <children xsi:type="notation:DecorationNode" xmi:id="_GMCn4QbmEeKcGdE-_70tiA" type="TransitionExpression">
  218. <styles xsi:type="notation:ShapeStyle" xmi:id="_GMCn4gbmEeKcGdE-_70tiA"/>
  219. <layoutConstraint xsi:type="notation:Location" xmi:id="_GMCn4wbmEeKcGdE-_70tiA" y="-33"/>
  220. </children>
  221. <styles xsi:type="notation:ConnectorStyle" xmi:id="_GMCA0QbmEeKcGdE-_70tiA" lineColor="4210752"/>
  222. <styles xsi:type="notation:FontStyle" xmi:id="_GMCn4AbmEeKcGdE-_70tiA" fontName="Verdana"/>
  223. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_GMCA0gbmEeKcGdE-_70tiA" points="[5, 7, -69, -106]$[54, 83, -20, -30]"/>
  224. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bGCnQD05EeK906zM_2TYDw" id="(0.5022421524663677,0.7763157894736842)"/>
  225. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ccKssD05EeK906zM_2TYDw" id="(0.502283105022831,0.09375)"/>
  226. </edges>
  227. <edges xmi:id="_Ayg6AD1CEeK906zM_2TYDw" type="Transition" element="_AycBgD1CEeK906zM_2TYDw" source="_3sRuYPBjEeKyMOgSbPoVNg" target="_AQpjED1CEeK906zM_2TYDw">
  228. <children xsi:type="notation:DecorationNode" xmi:id="_AyivMD1CEeK906zM_2TYDw" type="TransitionExpression">
  229. <styles xsi:type="notation:ShapeStyle" xmi:id="_AyivMT1CEeK906zM_2TYDw"/>
  230. <layoutConstraint xsi:type="notation:Location" xmi:id="_AyivMj1CEeK906zM_2TYDw" x="1" y="-30"/>
  231. </children>
  232. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Ayg6AT1CEeK906zM_2TYDw" lineColor="4210752"/>
  233. <styles xsi:type="notation:FontStyle" xmi:id="_AyhhED1CEeK906zM_2TYDw" fontName="Verdana"/>
  234. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Ayg6Aj1CEeK906zM_2TYDw" points="[79, -4, -202, 12]$[282, 8, 1, 24]"/>
  235. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Ayo10D1CEeK906zM_2TYDw" id="(0.4840182648401826,0.796875)"/>
  236. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Ayo10T1CEeK906zM_2TYDw" id="(0.52,0.19047619047619047)"/>
  237. </edges>
  238. <edges xmi:id="_BdZDAD1CEeK906zM_2TYDw" type="Transition" element="_BdX04D1CEeK906zM_2TYDw" source="_AQpjED1CEeK906zM_2TYDw" target="_AezT0D1CEeK906zM_2TYDw">
  239. <children xsi:type="notation:DecorationNode" xmi:id="_BdZDBD1CEeK906zM_2TYDw" type="TransitionExpression">
  240. <styles xsi:type="notation:ShapeStyle" xmi:id="_BdZDBT1CEeK906zM_2TYDw"/>
  241. <layoutConstraint xsi:type="notation:Location" xmi:id="_BdZDBj1CEeK906zM_2TYDw" x="-5" y="-11"/>
  242. </children>
  243. <styles xsi:type="notation:ConnectorStyle" xmi:id="_BdZDAT1CEeK906zM_2TYDw" lineColor="4210752"/>
  244. <styles xsi:type="notation:FontStyle" xmi:id="_BdZDAz1CEeK906zM_2TYDw" fontName="Verdana"/>
  245. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_BdZDAj1CEeK906zM_2TYDw" points="[-6, -28, -1, 138]$[-6, -194, -1, -28]"/>
  246. </edges>
  247. <edges xmi:id="_NoEEkD1MEeKdA4U9mrRlyg" type="Transition" element="_Nn_zID1MEeKdA4U9mrRlyg" source="_AezT0D1CEeK906zM_2TYDw" target="_NXBX4D1MEeKdA4U9mrRlyg">
  248. <children xsi:type="notation:DecorationNode" xmi:id="_NoF5wD1MEeKdA4U9mrRlyg" type="TransitionExpression">
  249. <styles xsi:type="notation:ShapeStyle" xmi:id="_NoF5wT1MEeKdA4U9mrRlyg"/>
  250. <layoutConstraint xsi:type="notation:Location" xmi:id="_NoGg0D1MEeKdA4U9mrRlyg" x="1" y="-27"/>
  251. </children>
  252. <styles xsi:type="notation:ConnectorStyle" xmi:id="_NoEEkT1MEeKdA4U9mrRlyg" lineColor="4210752"/>
  253. <styles xsi:type="notation:FontStyle" xmi:id="_NoFSsD1MEeKdA4U9mrRlyg" fontName="Verdana"/>
  254. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_NoEEkj1MEeKdA4U9mrRlyg" points="[57, -8, -220, -1]$[243, -8, -34, -1]"/>
  255. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NoMncD1MEeKdA4U9mrRlyg" id="(0.5023696682464455,0.0)"/>
  256. </edges>
  257. <edges xmi:id="_663JID1MEeKdA4U9mrRlyg" type="Transition" element="_660s4D1MEeKdA4U9mrRlyg" source="_NXBX4D1MEeKdA4U9mrRlyg" target="_6JA1cD1MEeKdA4U9mrRlyg">
  258. <children xsi:type="notation:DecorationNode" xmi:id="_663wMT1MEeKdA4U9mrRlyg" type="TransitionExpression">
  259. <styles xsi:type="notation:ShapeStyle" xmi:id="_663wMj1MEeKdA4U9mrRlyg"/>
  260. <layoutConstraint xsi:type="notation:Location" xmi:id="_663wMz1MEeKdA4U9mrRlyg" x="2" y="-25"/>
  261. </children>
  262. <styles xsi:type="notation:ConnectorStyle" xmi:id="_663JIT1MEeKdA4U9mrRlyg" lineColor="4210752"/>
  263. <styles xsi:type="notation:FontStyle" xmi:id="_663wMD1MEeKdA4U9mrRlyg" fontName="Verdana"/>
  264. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_663JIj1MEeKdA4U9mrRlyg" points="[-9, 31, 36, -119]$[-47, 178, -2, 28]"/>
  265. </edges>
  266. <edges xmi:id="_mpzfMD1WEeK944SX6LphIQ" type="Transition" element="_mpt_oD1WEeK944SX6LphIQ" source="_6JA1cD1MEeKdA4U9mrRlyg" target="_mEgZwD1WEeK944SX6LphIQ">
  267. <children xsi:type="notation:DecorationNode" xmi:id="_mp0tUD1WEeK944SX6LphIQ" type="TransitionExpression">
  268. <styles xsi:type="notation:ShapeStyle" xmi:id="_mp0tUT1WEeK944SX6LphIQ"/>
  269. <layoutConstraint xsi:type="notation:Location" xmi:id="_mp0tUj1WEeK944SX6LphIQ" y="10"/>
  270. </children>
  271. <styles xsi:type="notation:ConnectorStyle" xmi:id="_mpzfMT1WEeK944SX6LphIQ" lineColor="4210752"/>
  272. <styles xsi:type="notation:FontStyle" xmi:id="_mp0GQD1WEeK944SX6LphIQ" fontName="Verdana"/>
  273. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_mpzfMj1WEeK944SX6LphIQ" points="[35, -6, -170, 25]$[119, -29, -86, 2]"/>
  274. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_mp7bAD1WEeK944SX6LphIQ" id="(0.8241206030150754,0.45)"/>
  275. </edges>
  276. <edges xmi:id="_ScGvcD1ZEeK944SX6LphIQ" type="Transition" element="_ScETMD1ZEeK944SX6LphIQ" source="_mEgZwD1WEeK944SX6LphIQ" target="_SHvB8D1ZEeK944SX6LphIQ">
  277. <children xsi:type="notation:DecorationNode" xmi:id="_ScHWgT1ZEeK944SX6LphIQ" type="TransitionExpression">
  278. <styles xsi:type="notation:ShapeStyle" xmi:id="_ScHWgj1ZEeK944SX6LphIQ"/>
  279. <layoutConstraint xsi:type="notation:Location" xmi:id="_ScHWgz1ZEeK944SX6LphIQ" y="30"/>
  280. </children>
  281. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ScGvcT1ZEeK944SX6LphIQ" lineColor="4210752"/>
  282. <styles xsi:type="notation:FontStyle" xmi:id="_ScHWgD1ZEeK944SX6LphIQ" fontName="Verdana"/>
  283. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ScGvcj1ZEeK944SX6LphIQ" points="[-5, 31, 17, -86]$[-20, 89, 2, -28]"/>
  284. </edges>
  285. <edges xmi:id="_sLCLwD1ZEeK944SX6LphIQ" type="Transition" element="_sK_vgD1ZEeK944SX6LphIQ" source="_SHvB8D1ZEeK944SX6LphIQ" target="_r4gRUD1ZEeK944SX6LphIQ">
  286. <children xsi:type="notation:DecorationNode" xmi:id="_sLFPED1ZEeK944SX6LphIQ" type="TransitionExpression">
  287. <styles xsi:type="notation:ShapeStyle" xmi:id="_sLFPET1ZEeK944SX6LphIQ"/>
  288. <layoutConstraint xsi:type="notation:Location" xmi:id="_sLFPEj1ZEeK944SX6LphIQ" x="-1" y="23"/>
  289. </children>
  290. <styles xsi:type="notation:ConnectorStyle" xmi:id="_sLCLwT1ZEeK944SX6LphIQ" lineColor="4210752"/>
  291. <styles xsi:type="notation:FontStyle" xmi:id="_sLCy0D1ZEeK944SX6LphIQ" fontName="Verdana"/>
  292. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_sLCLwj1ZEeK944SX6LphIQ" points="[-9, 31, 20, -81]$[-31, 84, -2, -28]"/>
  293. </edges>
  294. </notation:Diagram>
  295. </xmi:XMI>