NoTriggerOnTransitionWithExitPointSpec.sct 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217
  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="_nsyHQA3FEeS5LaK1Qpu9kA" specification="internal:&#xA;event A&#xA;var b :boolean" name="NoTriggerOnTransitionWithExitPointSpec">
  4. <regions xmi:id="_nsz8cg3FEeS5LaK1Qpu9kA" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_ns2_wQ3FEeS5LaK1Qpu9kA">
  6. <outgoingTransitions xmi:id="_ns5cAw3FEeS5LaK1Qpu9kA" target="_ns3m1w3FEeS5LaK1Qpu9kA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_ns3m1w3FEeS5LaK1Qpu9kA" name="A" incomingTransitions="_ns5cAw3FEeS5LaK1Qpu9kA">
  9. <outgoingTransitions xmi:id="_6v1hcA3FEeS5LaK1Qpu9kA" specification="A #exit1>" target="_1Uw_4A3FEeS5LaK1Qpu9kA"/>
  10. <outgoingTransitions xmi:id="_YZVV4A3GEeS5LaK1Qpu9kA" specification="[b] #exit2>" target="_1Uw_4A3FEeS5LaK1Qpu9kA"/>
  11. <regions xmi:id="_qK1eEA3FEeS5LaK1Qpu9kA" name="r1">
  12. <vertices xsi:type="sgraph:State" xmi:id="_xaOc8A3FEeS5LaK1Qpu9kA" name="S2" incomingTransitions="_026mQA3FEeS5LaK1Qpu9kA">
  13. <outgoingTransitions xmi:id="_36jWYA3FEeS5LaK1Qpu9kA" specification="oncycle" target="_3NlisA3FEeS5LaK1Qpu9kA"/>
  14. <outgoingTransitions xmi:id="_HkTdAA3HEeS5LaK1Qpu9kA" specification="oncycle" target="_BnjKsA3HEeS5LaK1Qpu9kA"/>
  15. </vertices>
  16. <vertices xsi:type="sgraph:Entry" xmi:id="_z-xdUA3FEeS5LaK1Qpu9kA">
  17. <outgoingTransitions xmi:id="_026mQA3FEeS5LaK1Qpu9kA" specification="" target="_xaOc8A3FEeS5LaK1Qpu9kA"/>
  18. </vertices>
  19. <vertices xsi:type="sgraph:Exit" xmi:id="_3NlisA3FEeS5LaK1Qpu9kA" name="exit1" incomingTransitions="_36jWYA3FEeS5LaK1Qpu9kA"/>
  20. <vertices xsi:type="sgraph:Exit" xmi:id="_BnjKsA3HEeS5LaK1Qpu9kA" name="exit2" incomingTransitions="_HkTdAA3HEeS5LaK1Qpu9kA"/>
  21. </regions>
  22. </vertices>
  23. <vertices xsi:type="sgraph:State" xmi:id="_1Uw_4A3FEeS5LaK1Qpu9kA" name="B" incomingTransitions="_6v1hcA3FEeS5LaK1Qpu9kA _YZVV4A3GEeS5LaK1Qpu9kA"/>
  24. </regions>
  25. </sgraph:Statechart>
  26. <notation:Diagram xmi:id="_nsz8cA3FEeS5LaK1Qpu9kA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_nsyHQA3FEeS5LaK1Qpu9kA" measurementUnit="Pixel">
  27. <children xmi:id="_ns0jgA3FEeS5LaK1Qpu9kA" type="Region" element="_nsz8cg3FEeS5LaK1Qpu9kA">
  28. <children xsi:type="notation:DecorationNode" xmi:id="_ns2YsA3FEeS5LaK1Qpu9kA" type="RegionName">
  29. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns2YsQ3FEeS5LaK1Qpu9kA"/>
  30. <layoutConstraint xsi:type="notation:Location" xmi:id="_ns2Ysg3FEeS5LaK1Qpu9kA"/>
  31. </children>
  32. <children xsi:type="notation:Shape" xmi:id="_ns2Ysw3FEeS5LaK1Qpu9kA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  33. <children xmi:id="_ns2_wg3FEeS5LaK1Qpu9kA" type="Entry" element="_ns2_wQ3FEeS5LaK1Qpu9kA">
  34. <children xmi:id="_ns3m0A3FEeS5LaK1Qpu9kA" type="BorderItemLabelContainer">
  35. <children xsi:type="notation:DecorationNode" xmi:id="_ns3m0w3FEeS5LaK1Qpu9kA" type="BorderItemLabel">
  36. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns3m1A3FEeS5LaK1Qpu9kA"/>
  37. <layoutConstraint xsi:type="notation:Location" xmi:id="_ns3m1Q3FEeS5LaK1Qpu9kA"/>
  38. </children>
  39. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns3m0Q3FEeS5LaK1Qpu9kA" fontName="Verdana" lineColor="4210752"/>
  40. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ns3m0g3FEeS5LaK1Qpu9kA"/>
  41. </children>
  42. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns2_ww3FEeS5LaK1Qpu9kA" fontName="Verdana" lineColor="4210752"/>
  43. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ns3m1g3FEeS5LaK1Qpu9kA" x="159" y="31" width="15" height="15"/>
  44. </children>
  45. <children xmi:id="_ns4N4Q3FEeS5LaK1Qpu9kA" type="State" element="_ns3m1w3FEeS5LaK1Qpu9kA">
  46. <children xsi:type="notation:DecorationNode" xmi:id="_ns408A3FEeS5LaK1Qpu9kA" type="StateName">
  47. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns408Q3FEeS5LaK1Qpu9kA"/>
  48. <layoutConstraint xsi:type="notation:Location" xmi:id="_ns408g3FEeS5LaK1Qpu9kA"/>
  49. </children>
  50. <children xsi:type="notation:Compartment" xmi:id="_ns408w3FEeS5LaK1Qpu9kA" type="StateTextCompartment">
  51. <children xsi:type="notation:Shape" xmi:id="_ns409A3FEeS5LaK1Qpu9kA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  52. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ns409Q3FEeS5LaK1Qpu9kA"/>
  53. </children>
  54. </children>
  55. <children xsi:type="notation:Compartment" xmi:id="_ns5cAA3FEeS5LaK1Qpu9kA" type="StateFigureCompartment">
  56. <children xmi:id="_qK36UA3FEeS5LaK1Qpu9kA" type="Region" element="_qK1eEA3FEeS5LaK1Qpu9kA">
  57. <children xsi:type="notation:DecorationNode" xmi:id="_qK36Uw3FEeS5LaK1Qpu9kA" type="RegionName">
  58. <styles xsi:type="notation:ShapeStyle" xmi:id="_qK36VA3FEeS5LaK1Qpu9kA"/>
  59. <layoutConstraint xsi:type="notation:Location" xmi:id="_qK4hYA3FEeS5LaK1Qpu9kA"/>
  60. </children>
  61. <children xsi:type="notation:Shape" xmi:id="_qK4hYQ3FEeS5LaK1Qpu9kA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  62. <children xmi:id="_xaPrEA3FEeS5LaK1Qpu9kA" type="State" element="_xaOc8A3FEeS5LaK1Qpu9kA">
  63. <children xsi:type="notation:DecorationNode" xmi:id="_xaQSIA3FEeS5LaK1Qpu9kA" type="StateName">
  64. <styles xsi:type="notation:ShapeStyle" xmi:id="_xaQSIQ3FEeS5LaK1Qpu9kA"/>
  65. <layoutConstraint xsi:type="notation:Location" xmi:id="_xaQSIg3FEeS5LaK1Qpu9kA"/>
  66. </children>
  67. <children xsi:type="notation:Compartment" xmi:id="_xaQ5MA3FEeS5LaK1Qpu9kA" type="StateTextCompartment">
  68. <children xsi:type="notation:Shape" xmi:id="_xaQ5MQ3FEeS5LaK1Qpu9kA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  69. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xaQ5Mg3FEeS5LaK1Qpu9kA"/>
  70. </children>
  71. </children>
  72. <children xsi:type="notation:Compartment" xmi:id="_xaQ5Mw3FEeS5LaK1Qpu9kA" type="StateFigureCompartment"/>
  73. <styles xsi:type="notation:ShapeStyle" xmi:id="_xaPrEQ3FEeS5LaK1Qpu9kA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  74. <styles xsi:type="notation:FontStyle" xmi:id="_xaPrEg3FEeS5LaK1Qpu9kA"/>
  75. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_xaQ5NA3FEeS5LaK1Qpu9kA" name="isHorizontal" booleanValue="true"/>
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xaPrEw3FEeS5LaK1Qpu9kA" x="68" y="14"/>
  77. </children>
  78. <children xmi:id="_z-z5kA3FEeS5LaK1Qpu9kA" type="Entry" element="_z-xdUA3FEeS5LaK1Qpu9kA">
  79. <children xmi:id="_z-z5kw3FEeS5LaK1Qpu9kA" type="BorderItemLabelContainer">
  80. <children xsi:type="notation:DecorationNode" xmi:id="_z-0goA3FEeS5LaK1Qpu9kA" type="BorderItemLabel">
  81. <styles xsi:type="notation:ShapeStyle" xmi:id="_z-0goQ3FEeS5LaK1Qpu9kA"/>
  82. <layoutConstraint xsi:type="notation:Location" xmi:id="_z-0gog3FEeS5LaK1Qpu9kA"/>
  83. </children>
  84. <styles xsi:type="notation:ShapeStyle" xmi:id="_z-z5lA3FEeS5LaK1Qpu9kA" fontName="Verdana" lineColor="4210752"/>
  85. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z-z5lQ3FEeS5LaK1Qpu9kA"/>
  86. </children>
  87. <styles xsi:type="notation:ShapeStyle" xmi:id="_z-z5kQ3FEeS5LaK1Qpu9kA" fontName="Verdana" lineColor="4210752"/>
  88. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z-z5kg3FEeS5LaK1Qpu9kA" x="12" y="30"/>
  89. </children>
  90. <children xmi:id="_3NmJwA3FEeS5LaK1Qpu9kA" type="Exit" element="_3NlisA3FEeS5LaK1Qpu9kA">
  91. <children xmi:id="_3Nmw0A3FEeS5LaK1Qpu9kA" type="BorderItemLabelContainer">
  92. <children xsi:type="notation:DecorationNode" xmi:id="_3NnX4A3FEeS5LaK1Qpu9kA" type="BorderItemLabel">
  93. <styles xsi:type="notation:ShapeStyle" xmi:id="_3NnX4Q3FEeS5LaK1Qpu9kA"/>
  94. <layoutConstraint xsi:type="notation:Location" xmi:id="_3NnX4g3FEeS5LaK1Qpu9kA"/>
  95. </children>
  96. <styles xsi:type="notation:ShapeStyle" xmi:id="_3Nmw0Q3FEeS5LaK1Qpu9kA" fontName="Verdana" lineColor="4210752"/>
  97. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3Nmw0g3FEeS5LaK1Qpu9kA" x="-4" y="-21"/>
  98. </children>
  99. <styles xsi:type="notation:ShapeStyle" xmi:id="_3NmJwQ3FEeS5LaK1Qpu9kA" fontName="Verdana" lineColor="4210752"/>
  100. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_3NmJwg3FEeS5LaK1Qpu9kA" x="202" y="74"/>
  101. </children>
  102. <children xmi:id="_Bnk_4A3HEeS5LaK1Qpu9kA" type="Exit" element="_BnjKsA3HEeS5LaK1Qpu9kA">
  103. <children xmi:id="_BnmOAA3HEeS5LaK1Qpu9kA" type="BorderItemLabelContainer">
  104. <children xsi:type="notation:DecorationNode" xmi:id="_BnmOAw3HEeS5LaK1Qpu9kA" type="BorderItemLabel">
  105. <styles xsi:type="notation:ShapeStyle" xmi:id="_BnmOBA3HEeS5LaK1Qpu9kA"/>
  106. <layoutConstraint xsi:type="notation:Location" xmi:id="_Bnm1EA3HEeS5LaK1Qpu9kA"/>
  107. </children>
  108. <styles xsi:type="notation:ShapeStyle" xmi:id="_BnmOAQ3HEeS5LaK1Qpu9kA" fontName="Verdana" lineColor="4210752"/>
  109. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BnmOAg3HEeS5LaK1Qpu9kA" x="-36" y="-5"/>
  110. </children>
  111. <styles xsi:type="notation:ShapeStyle" xmi:id="_Bnk_4Q3HEeS5LaK1Qpu9kA" fontName="Verdana" lineColor="4210752"/>
  112. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Bnk_4g3HEeS5LaK1Qpu9kA" x="207" y="-11"/>
  113. </children>
  114. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qK4hYg3FEeS5LaK1Qpu9kA"/>
  115. </children>
  116. <styles xsi:type="notation:ShapeStyle" xmi:id="_qK36UQ3FEeS5LaK1Qpu9kA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  117. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qK36Ug3FEeS5LaK1Qpu9kA"/>
  118. </children>
  119. </children>
  120. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns4N4g3FEeS5LaK1Qpu9kA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  121. <styles xsi:type="notation:FontStyle" xmi:id="_ns4N4w3FEeS5LaK1Qpu9kA"/>
  122. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ns5cAQ3FEeS5LaK1Qpu9kA" name="isHorizontal" booleanValue="true"/>
  123. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ns5cAg3FEeS5LaK1Qpu9kA" x="40" y="80" width="276" height="217"/>
  124. </children>
  125. <children xmi:id="_1U0qQA3FEeS5LaK1Qpu9kA" type="State" element="_1Uw_4A3FEeS5LaK1Qpu9kA">
  126. <children xsi:type="notation:DecorationNode" xmi:id="_1U14YA3FEeS5LaK1Qpu9kA" type="StateName">
  127. <styles xsi:type="notation:ShapeStyle" xmi:id="_1U14YQ3FEeS5LaK1Qpu9kA"/>
  128. <layoutConstraint xsi:type="notation:Location" xmi:id="_1U2fcA3FEeS5LaK1Qpu9kA"/>
  129. </children>
  130. <children xsi:type="notation:Compartment" xmi:id="_1U2fcQ3FEeS5LaK1Qpu9kA" type="StateTextCompartment">
  131. <children xsi:type="notation:Shape" xmi:id="_1U3GgA3FEeS5LaK1Qpu9kA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  132. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_1U3GgQ3FEeS5LaK1Qpu9kA"/>
  133. </children>
  134. </children>
  135. <children xsi:type="notation:Compartment" xmi:id="_1U3Ggg3FEeS5LaK1Qpu9kA" type="StateFigureCompartment"/>
  136. <styles xsi:type="notation:ShapeStyle" xmi:id="_1U0qQQ3FEeS5LaK1Qpu9kA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  137. <styles xsi:type="notation:FontStyle" xmi:id="_1U0qQg3FEeS5LaK1Qpu9kA"/>
  138. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_1U3Ggw3FEeS5LaK1Qpu9kA" name="isHorizontal" booleanValue="true"/>
  139. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_1U0qQw3FEeS5LaK1Qpu9kA" x="38" y="406" width="280" height="92"/>
  140. </children>
  141. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ns2YtA3FEeS5LaK1Qpu9kA"/>
  142. </children>
  143. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns0jgQ3FEeS5LaK1Qpu9kA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  144. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ns2_wA3FEeS5LaK1Qpu9kA" x="220" y="10" width="400" height="552"/>
  145. </children>
  146. <children xsi:type="notation:Shape" xmi:id="_ns7RMA3FEeS5LaK1Qpu9kA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  147. <children xsi:type="notation:DecorationNode" xmi:id="_ns7RMg3FEeS5LaK1Qpu9kA" type="StatechartName">
  148. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns7RMw3FEeS5LaK1Qpu9kA"/>
  149. <layoutConstraint xsi:type="notation:Location" xmi:id="_ns7RNA3FEeS5LaK1Qpu9kA"/>
  150. </children>
  151. <children xsi:type="notation:Shape" xmi:id="_ns7RNQ3FEeS5LaK1Qpu9kA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  152. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ns7RNg3FEeS5LaK1Qpu9kA"/>
  153. </children>
  154. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ns74QA3FEeS5LaK1Qpu9kA" x="10" y="10" width="200" height="400"/>
  155. </children>
  156. <styles xsi:type="notation:DiagramStyle" xmi:id="_nsz8cQ3FEeS5LaK1Qpu9kA"/>
  157. <edges xmi:id="_ns6qIA3FEeS5LaK1Qpu9kA" type="Transition" element="_ns5cAw3FEeS5LaK1Qpu9kA" source="_ns2_wg3FEeS5LaK1Qpu9kA" target="_ns4N4Q3FEeS5LaK1Qpu9kA">
  158. <children xsi:type="notation:DecorationNode" xmi:id="_ns6qJA3FEeS5LaK1Qpu9kA" type="TransitionExpression">
  159. <styles xsi:type="notation:ShapeStyle" xmi:id="_ns6qJQ3FEeS5LaK1Qpu9kA"/>
  160. <layoutConstraint xsi:type="notation:Location" xmi:id="_ns6qJg3FEeS5LaK1Qpu9kA" y="10"/>
  161. </children>
  162. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ns6qIQ3FEeS5LaK1Qpu9kA" lineColor="4210752"/>
  163. <styles xsi:type="notation:FontStyle" xmi:id="_ns6qIw3FEeS5LaK1Qpu9kA" fontName="Verdana"/>
  164. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ns6qIg3FEeS5LaK1Qpu9kA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  165. </edges>
  166. <edges xmi:id="_0270YA3FEeS5LaK1Qpu9kA" type="Transition" element="_026mQA3FEeS5LaK1Qpu9kA" source="_z-z5kA3FEeS5LaK1Qpu9kA" target="_xaPrEA3FEeS5LaK1Qpu9kA">
  167. <children xsi:type="notation:DecorationNode" xmi:id="_028bcA3FEeS5LaK1Qpu9kA" type="TransitionExpression">
  168. <styles xsi:type="notation:ShapeStyle" xmi:id="_028bcQ3FEeS5LaK1Qpu9kA"/>
  169. <layoutConstraint xsi:type="notation:Location" xmi:id="_028bcg3FEeS5LaK1Qpu9kA" y="10"/>
  170. </children>
  171. <styles xsi:type="notation:ConnectorStyle" xmi:id="_0270YQ3FEeS5LaK1Qpu9kA" lineColor="4210752"/>
  172. <styles xsi:type="notation:FontStyle" xmi:id="_0270Yw3FEeS5LaK1Qpu9kA" fontName="Verdana"/>
  173. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0270Yg3FEeS5LaK1Qpu9kA" points="[7, 0, -59, -1]$[60, 25, -6, 24]"/>
  174. </edges>
  175. <edges xmi:id="_36lyoA3FEeS5LaK1Qpu9kA" type="Transition" element="_36jWYA3FEeS5LaK1Qpu9kA" source="_xaPrEA3FEeS5LaK1Qpu9kA" target="_3NmJwA3FEeS5LaK1Qpu9kA">
  176. <children xsi:type="notation:DecorationNode" xmi:id="_36lypA3FEeS5LaK1Qpu9kA" type="TransitionExpression">
  177. <styles xsi:type="notation:ShapeStyle" xmi:id="_36lypQ3FEeS5LaK1Qpu9kA"/>
  178. <layoutConstraint xsi:type="notation:Location" xmi:id="_36lypg3FEeS5LaK1Qpu9kA" y="10"/>
  179. </children>
  180. <styles xsi:type="notation:ConnectorStyle" xmi:id="_36lyoQ3FEeS5LaK1Qpu9kA" lineColor="4210752"/>
  181. <styles xsi:type="notation:FontStyle" xmi:id="_36lyow3FEeS5LaK1Qpu9kA" fontName="Verdana"/>
  182. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_36lyog3FEeS5LaK1Qpu9kA" points="[18, -7, -114, -1]$[127, -11, -5, -5]"/>
  183. </edges>
  184. <edges xmi:id="_6v3WoA3FEeS5LaK1Qpu9kA" type="Transition" element="_6v1hcA3FEeS5LaK1Qpu9kA" source="_ns4N4Q3FEeS5LaK1Qpu9kA" target="_1U0qQA3FEeS5LaK1Qpu9kA">
  185. <children xsi:type="notation:DecorationNode" xmi:id="_6v3WpA3FEeS5LaK1Qpu9kA" type="TransitionExpression">
  186. <styles xsi:type="notation:ShapeStyle" xmi:id="_6v3WpQ3FEeS5LaK1Qpu9kA"/>
  187. <layoutConstraint xsi:type="notation:Location" xmi:id="_6v3Wpg3FEeS5LaK1Qpu9kA" x="-5" y="-56"/>
  188. </children>
  189. <styles xsi:type="notation:ConnectorStyle" xmi:id="_6v3WoQ3FEeS5LaK1Qpu9kA" lineColor="4210752"/>
  190. <styles xsi:type="notation:FontStyle" xmi:id="_6v3Wow3FEeS5LaK1Qpu9kA" fontName="Verdana"/>
  191. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6v3Wog3FEeS5LaK1Qpu9kA" points="[-9, 7, 3, -112]$[-9, 111, 3, -8]"/>
  192. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6v5L0A3FEeS5LaK1Qpu9kA" id="(0.6254545454545455,0.9539473684210527)"/>
  193. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6v5L0Q3FEeS5LaK1Qpu9kA" id="(0.59,0.09782608695652174)"/>
  194. </edges>
  195. <edges xmi:id="_YZZAQA3GEeS5LaK1Qpu9kA" type="Transition" element="_YZVV4A3GEeS5LaK1Qpu9kA" source="_ns4N4Q3FEeS5LaK1Qpu9kA" target="_1U0qQA3FEeS5LaK1Qpu9kA">
  196. <children xsi:type="notation:DecorationNode" xmi:id="_YZZARA3GEeS5LaK1Qpu9kA" type="TransitionExpression">
  197. <styles xsi:type="notation:ShapeStyle" xmi:id="_YZZARQ3GEeS5LaK1Qpu9kA"/>
  198. <layoutConstraint xsi:type="notation:Location" xmi:id="_YZZARg3GEeS5LaK1Qpu9kA" x="-5" y="45"/>
  199. </children>
  200. <styles xsi:type="notation:ConnectorStyle" xmi:id="_YZZAQQ3GEeS5LaK1Qpu9kA" lineColor="4210752"/>
  201. <styles xsi:type="notation:FontStyle" xmi:id="_YZZAQw3GEeS5LaK1Qpu9kA" fontName="Verdana"/>
  202. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YZZAQg3GEeS5LaK1Qpu9kA" points="[3, 8, 2, -93]$[3, 82, 2, -19]"/>
  203. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YZa1cA3GEeS5LaK1Qpu9kA" id="(0.23272727272727273,0.9473684210526315)"/>
  204. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YZa1cQ3GEeS5LaK1Qpu9kA" id="(0.23214285714285715,0.22826086956521738)"/>
  205. </edges>
  206. <edges xmi:id="_HkV5QA3HEeS5LaK1Qpu9kA" type="Transition" element="_HkTdAA3HEeS5LaK1Qpu9kA" source="_xaPrEA3FEeS5LaK1Qpu9kA" target="_Bnk_4A3HEeS5LaK1Qpu9kA">
  207. <children xsi:type="notation:DecorationNode" xmi:id="_HkWgUQ3HEeS5LaK1Qpu9kA" type="TransitionExpression">
  208. <styles xsi:type="notation:ShapeStyle" xmi:id="_HkWgUg3HEeS5LaK1Qpu9kA"/>
  209. <layoutConstraint xsi:type="notation:Location" xmi:id="_HkWgUw3HEeS5LaK1Qpu9kA" x="-3" y="-18"/>
  210. </children>
  211. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HkV5QQ3HEeS5LaK1Qpu9kA" lineColor="4210752"/>
  212. <styles xsi:type="notation:FontStyle" xmi:id="_HkWgUA3HEeS5LaK1Qpu9kA" fontName="Verdana"/>
  213. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HkV5Qg3HEeS5LaK1Qpu9kA" points="[18, -8, -67, 26]$[77, -34, -8, 0]"/>
  214. </edges>
  215. </notation:Diagram>
  216. </xmi:XMI>