EntryReactionAction.sct 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309
  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="_wjNuELRyEeWmXuBC8a26Lg" specification="namespace entries &#xD;&#xA;&#xD;&#xA;interface:&#xD;&#xA;&#xD;&#xA;var enteredR1:boolean = false&#xD;&#xA;var enteredR2:boolean = false&#xD;&#xA;var enteredBdefault: boolean = false&#xD;&#xA;var enteredBother:boolean = false&#xD;&#xA;&#xD;&#xA;in event b&#xD;&#xA;in event d&#xA;" namespace="entries" name="EntryReactionAction">
  4. <regions xmi:id="_CnddALR7EeWj5quH-sy1Ww" name="r2">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_CnddAbR7EeWj5quH-sy1Ww" name="default">
  6. <outgoingTransitions xmi:id="_CnddArR7EeWj5quH-sy1Ww" specification="/ enteredR2=true" target="_CneEFbR7EeWj5quH-sy1Ww"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_CneEFbR7EeWj5quH-sy1Ww" name="B" incomingTransitions="_CnddArR7EeWj5quH-sy1Ww _dIy1UMsyEeWxsbULpxN6Ug _9NYMIMsyEeWxsbULpxN6Ug">
  9. <outgoingTransitions xmi:id="_Yz-KIMsyEeWxsbULpxN6Ug" specification="d" target="_XijlkMsyEeWxsbULpxN6Ug"/>
  10. <regions xmi:id="_CneEF7R7EeWj5quH-sy1Ww" name="r">
  11. <vertices xsi:type="sgraph:State" xmi:id="_CneEGLR7EeWj5quH-sy1Ww" specification="" name="BA" incomingTransitions="_CneEG7R7EeWj5quH-sy1Ww _vySgAMsyEeWxsbULpxN6Ug">
  12. <outgoingTransitions xmi:id="_xHRV8MsyEeWxsbULpxN6Ug" specification="b" target="_hs7u4MsyEeWxsbULpxN6Ug"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:Entry" xmi:id="_CneEGrR7EeWj5quH-sy1Ww" name="default" kind="SHALLOW_HISTORY">
  15. <outgoingTransitions xmi:id="_CneEG7R7EeWj5quH-sy1Ww" specification="/ enteredBdefault=true" target="_CneEGLR7EeWj5quH-sy1Ww"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_hs7u4MsyEeWxsbULpxN6Ug" name="BB" incomingTransitions="_q4W8oMsyEeWxsbULpxN6Ug _xHRV8MsyEeWxsbULpxN6Ug">
  18. <outgoingTransitions xmi:id="_vySgAMsyEeWxsbULpxN6Ug" specification="b" target="_CneEGLR7EeWj5quH-sy1Ww"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:Entry" xmi:id="_pgKaoMsyEeWxsbULpxN6Ug" name="other">
  21. <outgoingTransitions xmi:id="_q4W8oMsyEeWxsbULpxN6Ug" specification="/ enteredBother = true" target="_hs7u4MsyEeWxsbULpxN6Ug"/>
  22. </vertices>
  23. </regions>
  24. </vertices>
  25. <vertices xsi:type="sgraph:State" xmi:id="_XijlkMsyEeWxsbULpxN6Ug" name="D" incomingTransitions="_Yz-KIMsyEeWxsbULpxN6Ug">
  26. <outgoingTransitions xmi:id="_dIy1UMsyEeWxsbULpxN6Ug" specification="b # >other" target="_CneEFbR7EeWj5quH-sy1Ww"/>
  27. <outgoingTransitions xmi:id="_9NYMIMsyEeWxsbULpxN6Ug" specification="d" target="_CneEFbR7EeWj5quH-sy1Ww"/>
  28. </vertices>
  29. </regions>
  30. <regions xmi:id="_wj5qkLRyEeWmXuBC8a26Lg" name="r1">
  31. <vertices xsi:type="sgraph:Entry" xmi:id="_wkReALRyEeWmXuBC8a26Lg">
  32. <outgoingTransitions xmi:id="_wkcdILRyEeWmXuBC8a26Lg" specification="/ enteredR1=true" target="_wkUhULRyEeWmXuBC8a26Lg"/>
  33. </vertices>
  34. <vertices xsi:type="sgraph:State" xmi:id="_wkUhULRyEeWmXuBC8a26Lg" specification="" name="A" incomingTransitions="_wkcdILRyEeWmXuBC8a26Lg"/>
  35. </regions>
  36. </sgraph:Statechart>
  37. <notation:Diagram xmi:id="_wj5DgLRyEeWmXuBC8a26Lg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_wjNuELRyEeWmXuBC8a26Lg" measurementUnit="Pixel">
  38. <children xsi:type="notation:Shape" xmi:id="_wkkY8LRyEeWmXuBC8a26Lg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  39. <children xsi:type="notation:DecorationNode" xmi:id="_wklAALRyEeWmXuBC8a26Lg" type="StatechartName">
  40. <styles xsi:type="notation:ShapeStyle" xmi:id="_wklAAbRyEeWmXuBC8a26Lg"/>
  41. <layoutConstraint xsi:type="notation:Location" xmi:id="_wklAArRyEeWmXuBC8a26Lg"/>
  42. </children>
  43. <children xsi:type="notation:Shape" xmi:id="_wklAA7RyEeWmXuBC8a26Lg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  44. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wklABLRyEeWmXuBC8a26Lg"/>
  45. </children>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wklABbRyEeWmXuBC8a26Lg" x="10" y="4" width="377" height="159"/>
  47. </children>
  48. <children xmi:id="_Cnbn0LR7EeWj5quH-sy1Ww" type="Region" element="_CnddALR7EeWj5quH-sy1Ww">
  49. <children xsi:type="notation:DecorationNode" xmi:id="_Cnbn0bR7EeWj5quH-sy1Ww" type="RegionName">
  50. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn0rR7EeWj5quH-sy1Ww"/>
  51. <layoutConstraint xsi:type="notation:Location" xmi:id="_Cnbn07R7EeWj5quH-sy1Ww"/>
  52. </children>
  53. <children xsi:type="notation:Shape" xmi:id="_Cnbn1LR7EeWj5quH-sy1Ww" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  54. <children xmi:id="_Cnbn1bR7EeWj5quH-sy1Ww" type="Entry" element="_CnddAbR7EeWj5quH-sy1Ww">
  55. <children xmi:id="_Cnbn1rR7EeWj5quH-sy1Ww" type="BorderItemLabelContainer">
  56. <children xsi:type="notation:DecorationNode" xmi:id="_Cnbn17R7EeWj5quH-sy1Ww" type="BorderItemLabel">
  57. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn2LR7EeWj5quH-sy1Ww"/>
  58. <layoutConstraint xsi:type="notation:Location" xmi:id="_Cnbn2bR7EeWj5quH-sy1Ww"/>
  59. </children>
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn2rR7EeWj5quH-sy1Ww" fontName="Verdana" lineColor="4210752"/>
  61. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Cnbn27R7EeWj5quH-sy1Ww"/>
  62. </children>
  63. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn3LR7EeWj5quH-sy1Ww" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  64. <styles xsi:type="notation:NamedStyle" xmi:id="_Cnbn3bR7EeWj5quH-sy1Ww" name="allowColors"/>
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Cnbn3rR7EeWj5quH-sy1Ww" x="47" y="7" width="15" height="15"/>
  66. </children>
  67. <children xmi:id="_Cnbn37R7EeWj5quH-sy1Ww" type="State" element="_CneEFbR7EeWj5quH-sy1Ww">
  68. <children xsi:type="notation:DecorationNode" xmi:id="_Cnbn4LR7EeWj5quH-sy1Ww" type="StateName">
  69. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn4bR7EeWj5quH-sy1Ww"/>
  70. <layoutConstraint xsi:type="notation:Location" xmi:id="_Cnbn4rR7EeWj5quH-sy1Ww"/>
  71. </children>
  72. <children xsi:type="notation:Compartment" xmi:id="_Cnbn47R7EeWj5quH-sy1Ww" type="StateTextCompartment">
  73. <children xsi:type="notation:Shape" xmi:id="_Cnbn5LR7EeWj5quH-sy1Ww" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  74. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Cnbn5bR7EeWj5quH-sy1Ww"/>
  75. </children>
  76. </children>
  77. <children xsi:type="notation:Compartment" xmi:id="_Cnbn5rR7EeWj5quH-sy1Ww" type="StateFigureCompartment">
  78. <children xmi:id="_Cnbn57R7EeWj5quH-sy1Ww" type="Region" element="_CneEF7R7EeWj5quH-sy1Ww">
  79. <children xsi:type="notation:DecorationNode" xmi:id="_Cnbn6LR7EeWj5quH-sy1Ww" type="RegionName">
  80. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn6bR7EeWj5quH-sy1Ww"/>
  81. <layoutConstraint xsi:type="notation:Location" xmi:id="_Cnbn6rR7EeWj5quH-sy1Ww"/>
  82. </children>
  83. <children xsi:type="notation:Shape" xmi:id="_Cnbn67R7EeWj5quH-sy1Ww" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  84. <children xmi:id="_Cnbn7LR7EeWj5quH-sy1Ww" type="State" element="_CneEGLR7EeWj5quH-sy1Ww">
  85. <children xsi:type="notation:DecorationNode" xmi:id="_Cnbn7bR7EeWj5quH-sy1Ww" type="StateName">
  86. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn7rR7EeWj5quH-sy1Ww"/>
  87. <layoutConstraint xsi:type="notation:Location" xmi:id="_Cnbn77R7EeWj5quH-sy1Ww"/>
  88. </children>
  89. <children xsi:type="notation:Compartment" xmi:id="_Cnbn8LR7EeWj5quH-sy1Ww" type="StateTextCompartment">
  90. <children xsi:type="notation:Shape" xmi:id="_Cnbn8bR7EeWj5quH-sy1Ww" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  91. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Cnbn8rR7EeWj5quH-sy1Ww"/>
  92. </children>
  93. </children>
  94. <children xsi:type="notation:Compartment" xmi:id="_Cnbn87R7EeWj5quH-sy1Ww" type="StateFigureCompartment"/>
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn9LR7EeWj5quH-sy1Ww" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  96. <styles xsi:type="notation:FontStyle" xmi:id="_Cnbn9bR7EeWj5quH-sy1Ww"/>
  97. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Cnbn9rR7EeWj5quH-sy1Ww" name="isHorizontal" booleanValue="true"/>
  98. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Cnbn97R7EeWj5quH-sy1Ww" x="9" y="40"/>
  99. </children>
  100. <children xmi:id="_Cnbn-LR7EeWj5quH-sy1Ww" type="Entry" element="_CneEGrR7EeWj5quH-sy1Ww">
  101. <children xmi:id="_Cnbn-bR7EeWj5quH-sy1Ww" type="BorderItemLabelContainer">
  102. <children xsi:type="notation:DecorationNode" xmi:id="_Cnbn-rR7EeWj5quH-sy1Ww" type="BorderItemLabel">
  103. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn-7R7EeWj5quH-sy1Ww"/>
  104. <layoutConstraint xsi:type="notation:Location" xmi:id="_Cnbn_LR7EeWj5quH-sy1Ww"/>
  105. </children>
  106. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn_bR7EeWj5quH-sy1Ww" fontName="Verdana" lineColor="4210752"/>
  107. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Cnbn_rR7EeWj5quH-sy1Ww" x="19" y="-4"/>
  108. </children>
  109. <styles xsi:type="notation:ShapeStyle" xmi:id="_Cnbn_7R7EeWj5quH-sy1Ww" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  110. <styles xsi:type="notation:NamedStyle" xmi:id="_CnboALR7EeWj5quH-sy1Ww" name="allowColors"/>
  111. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CnboAbR7EeWj5quH-sy1Ww" x="19" y="-20"/>
  112. </children>
  113. <children xmi:id="_hs8V8MsyEeWxsbULpxN6Ug" type="State" element="_hs7u4MsyEeWxsbULpxN6Ug">
  114. <children xsi:type="notation:DecorationNode" xmi:id="_hs89AMsyEeWxsbULpxN6Ug" type="StateName">
  115. <styles xsi:type="notation:ShapeStyle" xmi:id="_hs89AcsyEeWxsbULpxN6Ug"/>
  116. <layoutConstraint xsi:type="notation:Location" xmi:id="_hs89AssyEeWxsbULpxN6Ug"/>
  117. </children>
  118. <children xsi:type="notation:Compartment" xmi:id="_hs89A8syEeWxsbULpxN6Ug" type="StateTextCompartment">
  119. <children xsi:type="notation:Shape" xmi:id="_hs89BMsyEeWxsbULpxN6Ug" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  120. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_hs89BcsyEeWxsbULpxN6Ug"/>
  121. </children>
  122. </children>
  123. <children xsi:type="notation:Compartment" xmi:id="_hs89BssyEeWxsbULpxN6Ug" type="StateFigureCompartment"/>
  124. <styles xsi:type="notation:ShapeStyle" xmi:id="_hs8V8csyEeWxsbULpxN6Ug" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  125. <styles xsi:type="notation:FontStyle" xmi:id="_hs8V8ssyEeWxsbULpxN6Ug"/>
  126. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_hs89B8syEeWxsbULpxN6Ug" name="isHorizontal" booleanValue="true"/>
  127. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_hs8V88syEeWxsbULpxN6Ug" x="123" y="40"/>
  128. </children>
  129. <children xmi:id="_pgLBsMsyEeWxsbULpxN6Ug" type="Entry" element="_pgKaoMsyEeWxsbULpxN6Ug">
  130. <children xmi:id="_pgLowMsyEeWxsbULpxN6Ug" type="BorderItemLabelContainer">
  131. <children xsi:type="notation:DecorationNode" xmi:id="_pgLow8syEeWxsbULpxN6Ug" type="BorderItemLabel">
  132. <styles xsi:type="notation:ShapeStyle" xmi:id="_pgLoxMsyEeWxsbULpxN6Ug"/>
  133. <layoutConstraint xsi:type="notation:Location" xmi:id="_pgLoxcsyEeWxsbULpxN6Ug"/>
  134. </children>
  135. <styles xsi:type="notation:ShapeStyle" xmi:id="_pgLowcsyEeWxsbULpxN6Ug" fontName="Verdana" lineColor="4210752"/>
  136. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pgLowssyEeWxsbULpxN6Ug"/>
  137. </children>
  138. <styles xsi:type="notation:ShapeStyle" xmi:id="_pgLBscsyEeWxsbULpxN6Ug" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  139. <styles xsi:type="notation:NamedStyle" xmi:id="_pgLBsssyEeWxsbULpxN6Ug" name="allowColors"/>
  140. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pgLBs8syEeWxsbULpxN6Ug" x="133" y="140"/>
  141. </children>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CnboArR7EeWj5quH-sy1Ww"/>
  143. </children>
  144. <styles xsi:type="notation:ShapeStyle" xmi:id="_CnboA7R7EeWj5quH-sy1Ww" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  145. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CnboBLR7EeWj5quH-sy1Ww"/>
  146. </children>
  147. </children>
  148. <styles xsi:type="notation:ShapeStyle" xmi:id="_CnboBbR7EeWj5quH-sy1Ww" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  149. <styles xsi:type="notation:FontStyle" xmi:id="_CnboBrR7EeWj5quH-sy1Ww"/>
  150. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_CnboB7R7EeWj5quH-sy1Ww" name="isHorizontal" booleanValue="true"/>
  151. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CnboCLR7EeWj5quH-sy1Ww" x="5" y="69" width="216" height="260"/>
  152. </children>
  153. <children xmi:id="_Ximo4MsyEeWxsbULpxN6Ug" type="State" element="_XijlkMsyEeWxsbULpxN6Ug">
  154. <children xsi:type="notation:DecorationNode" xmi:id="_Xit9oMsyEeWxsbULpxN6Ug" type="StateName">
  155. <styles xsi:type="notation:ShapeStyle" xmi:id="_Xit9ocsyEeWxsbULpxN6Ug"/>
  156. <layoutConstraint xsi:type="notation:Location" xmi:id="_Xit9ossyEeWxsbULpxN6Ug"/>
  157. </children>
  158. <children xsi:type="notation:Compartment" xmi:id="_XiuksMsyEeWxsbULpxN6Ug" type="StateTextCompartment">
  159. <children xsi:type="notation:Shape" xmi:id="_XivLwMsyEeWxsbULpxN6Ug" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  160. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XivLwcsyEeWxsbULpxN6Ug"/>
  161. </children>
  162. </children>
  163. <children xsi:type="notation:Compartment" xmi:id="_XivLwssyEeWxsbULpxN6Ug" type="StateFigureCompartment"/>
  164. <styles xsi:type="notation:ShapeStyle" xmi:id="_Ximo4csyEeWxsbULpxN6Ug" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  165. <styles xsi:type="notation:FontStyle" xmi:id="_Ximo4ssyEeWxsbULpxN6Ug"/>
  166. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_XivLw8syEeWxsbULpxN6Ug" name="isHorizontal" booleanValue="true"/>
  167. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Ximo48syEeWxsbULpxN6Ug" x="315" y="77" width="40" height="53"/>
  168. </children>
  169. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CnboCbR7EeWj5quH-sy1Ww"/>
  170. </children>
  171. <styles xsi:type="notation:ShapeStyle" xmi:id="_CnboCrR7EeWj5quH-sy1Ww" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  172. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_CnboC7R7EeWj5quH-sy1Ww" x="10" y="292" width="377" height="365"/>
  173. </children>
  174. <children xmi:id="_wkA_ULRyEeWmXuBC8a26Lg" type="Region" element="_wj5qkLRyEeWmXuBC8a26Lg">
  175. <children xsi:type="notation:DecorationNode" xmi:id="_wkNzoLRyEeWmXuBC8a26Lg" type="RegionName">
  176. <styles xsi:type="notation:ShapeStyle" xmi:id="_wkNzobRyEeWmXuBC8a26Lg"/>
  177. <layoutConstraint xsi:type="notation:Location" xmi:id="_wkNzorRyEeWmXuBC8a26Lg"/>
  178. </children>
  179. <children xsi:type="notation:Shape" xmi:id="_wkPo0LRyEeWmXuBC8a26Lg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  180. <children xmi:id="_wkSsILRyEeWmXuBC8a26Lg" type="Entry" element="_wkReALRyEeWmXuBC8a26Lg">
  181. <children xmi:id="_wkTTMLRyEeWmXuBC8a26Lg" type="BorderItemLabelContainer">
  182. <children xsi:type="notation:DecorationNode" xmi:id="_wkTTM7RyEeWmXuBC8a26Lg" type="BorderItemLabel">
  183. <styles xsi:type="notation:ShapeStyle" xmi:id="_wkTTNLRyEeWmXuBC8a26Lg"/>
  184. <layoutConstraint xsi:type="notation:Location" xmi:id="_wkTTNbRyEeWmXuBC8a26Lg"/>
  185. </children>
  186. <styles xsi:type="notation:ShapeStyle" xmi:id="_wkTTMbRyEeWmXuBC8a26Lg" fontName="Verdana" lineColor="4210752"/>
  187. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wkTTMrRyEeWmXuBC8a26Lg"/>
  188. </children>
  189. <styles xsi:type="notation:ShapeStyle" xmi:id="_wkSsIbRyEeWmXuBC8a26Lg" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  190. <styles xsi:type="notation:NamedStyle" xmi:id="_wkSsIrRyEeWmXuBC8a26Lg" name="allowColors"/>
  191. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wkTTNrRyEeWmXuBC8a26Lg" x="53" y="33"/>
  192. </children>
  193. <children xmi:id="_wkW9kLRyEeWmXuBC8a26Lg" type="State" element="_wkUhULRyEeWmXuBC8a26Lg">
  194. <children xsi:type="notation:DecorationNode" xmi:id="_wkXkoLRyEeWmXuBC8a26Lg" type="StateName">
  195. <styles xsi:type="notation:ShapeStyle" xmi:id="_wkXkobRyEeWmXuBC8a26Lg"/>
  196. <layoutConstraint xsi:type="notation:Location" xmi:id="_wkXkorRyEeWmXuBC8a26Lg"/>
  197. </children>
  198. <children xsi:type="notation:Compartment" xmi:id="_wkZZ0LRyEeWmXuBC8a26Lg" type="StateTextCompartment">
  199. <children xsi:type="notation:Shape" xmi:id="_wkaA4LRyEeWmXuBC8a26Lg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  200. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wkaA4bRyEeWmXuBC8a26Lg"/>
  201. </children>
  202. </children>
  203. <children xsi:type="notation:Compartment" xmi:id="_wkaA4rRyEeWmXuBC8a26Lg" type="StateFigureCompartment"/>
  204. <styles xsi:type="notation:ShapeStyle" xmi:id="_wkW9kbRyEeWmXuBC8a26Lg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  205. <styles xsi:type="notation:FontStyle" xmi:id="_wkW9krRyEeWmXuBC8a26Lg"/>
  206. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_wkan8LRyEeWmXuBC8a26Lg" name="isHorizontal" booleanValue="true"/>
  207. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wkbPALRyEeWmXuBC8a26Lg" x="235" y="17"/>
  208. </children>
  209. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wkPo0bRyEeWmXuBC8a26Lg"/>
  210. </children>
  211. <styles xsi:type="notation:ShapeStyle" xmi:id="_wkBmYLRyEeWmXuBC8a26Lg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  212. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wkQ28LRyEeWmXuBC8a26Lg" x="10" y="160" width="377" height="133"/>
  213. </children>
  214. <styles xsi:type="notation:DiagramStyle" xmi:id="_wj5DgbRyEeWmXuBC8a26Lg"/>
  215. <edges xmi:id="_wkjK0LRyEeWmXuBC8a26Lg" type="Transition" element="_wkcdILRyEeWmXuBC8a26Lg" source="_wkSsILRyEeWmXuBC8a26Lg" target="_wkW9kLRyEeWmXuBC8a26Lg">
  216. <children xsi:type="notation:DecorationNode" xmi:id="_wkjx4bRyEeWmXuBC8a26Lg" type="TransitionExpression">
  217. <styles xsi:type="notation:ShapeStyle" xmi:id="_wkjx4rRyEeWmXuBC8a26Lg"/>
  218. <layoutConstraint xsi:type="notation:Location" xmi:id="_wkjx47RyEeWmXuBC8a26Lg" x="-3" y="9"/>
  219. </children>
  220. <styles xsi:type="notation:ConnectorStyle" xmi:id="_wkjK0bRyEeWmXuBC8a26Lg" lineColor="4210752"/>
  221. <styles xsi:type="notation:FontStyle" xmi:id="_wkjx4LRyEeWmXuBC8a26Lg" fontName="Verdana"/>
  222. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_wkjK0rRyEeWmXuBC8a26Lg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  223. </edges>
  224. <edges xmi:id="_CnggULR7EeWj5quH-sy1Ww" type="Transition" element="_CnddArR7EeWj5quH-sy1Ww" source="_Cnbn1bR7EeWj5quH-sy1Ww" target="_Cnbn37R7EeWj5quH-sy1Ww">
  225. <children xsi:type="notation:DecorationNode" xmi:id="_CnggUbR7EeWj5quH-sy1Ww" type="TransitionExpression">
  226. <styles xsi:type="notation:ShapeStyle" xmi:id="_CnggUrR7EeWj5quH-sy1Ww"/>
  227. <layoutConstraint xsi:type="notation:Location" xmi:id="_CnggU7R7EeWj5quH-sy1Ww" x="-13" y="-70"/>
  228. </children>
  229. <styles xsi:type="notation:ConnectorStyle" xmi:id="_CnggVLR7EeWj5quH-sy1Ww" lineColor="4210752"/>
  230. <styles xsi:type="notation:FontStyle" xmi:id="_CnggVbR7EeWj5quH-sy1Ww" fontName="Verdana"/>
  231. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CnggVrR7EeWj5quH-sy1Ww" points="[0, 7, 3, -83]$[-1, 88, 2, -2]"/>
  232. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_CnggV7R7EeWj5quH-sy1Ww" id="(0.2440944881889764,0.016853932584269662)"/>
  233. </edges>
  234. <edges xmi:id="_CnggWLR7EeWj5quH-sy1Ww" type="Transition" element="_CneEG7R7EeWj5quH-sy1Ww" source="_Cnbn-LR7EeWj5quH-sy1Ww" target="_Cnbn7LR7EeWj5quH-sy1Ww">
  235. <children xsi:type="notation:DecorationNode" xmi:id="_CnggWbR7EeWj5quH-sy1Ww" type="TransitionExpression">
  236. <styles xsi:type="notation:ShapeStyle" xmi:id="_CnggWrR7EeWj5quH-sy1Ww"/>
  237. <layoutConstraint xsi:type="notation:Location" xmi:id="_CnggW7R7EeWj5quH-sy1Ww" x="-8" y="-60"/>
  238. </children>
  239. <styles xsi:type="notation:ConnectorStyle" xmi:id="_CnggXLR7EeWj5quH-sy1Ww" lineColor="4210752"/>
  240. <styles xsi:type="notation:FontStyle" xmi:id="_CnggXbR7EeWj5quH-sy1Ww" fontName="Verdana"/>
  241. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_CnggXrR7EeWj5quH-sy1Ww" points="[-2, 7, 12, -25]$[-11, 25, 3, -7]"/>
  242. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_CnggX7R7EeWj5quH-sy1Ww" id="(0.45,0.1509433962264151)"/>
  243. </edges>
  244. <edges xmi:id="_Y0AmYMsyEeWxsbULpxN6Ug" type="Transition" element="_Yz-KIMsyEeWxsbULpxN6Ug" source="_Cnbn37R7EeWj5quH-sy1Ww" target="_Ximo4MsyEeWxsbULpxN6Ug">
  245. <children xsi:type="notation:DecorationNode" xmi:id="_Y0GtAcsyEeWxsbULpxN6Ug" type="TransitionExpression">
  246. <styles xsi:type="notation:ShapeStyle" xmi:id="_Y0GtAssyEeWxsbULpxN6Ug"/>
  247. <layoutConstraint xsi:type="notation:Location" xmi:id="_Y0GtA8syEeWxsbULpxN6Ug" y="10"/>
  248. </children>
  249. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Y0AmYcsyEeWxsbULpxN6Ug" lineColor="4210752"/>
  250. <styles xsi:type="notation:FontStyle" xmi:id="_Y0GtAMsyEeWxsbULpxN6Ug" fontName="Verdana"/>
  251. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Y0AmYssyEeWxsbULpxN6Ug" points="[13, 1, -128, 1]$[143, -9, 2, -9]"/>
  252. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Y0JJQMsyEeWxsbULpxN6Ug" id="(0.9150326797385621,0.07368421052631578)"/>
  253. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Y0JJQcsyEeWxsbULpxN6Ug" id="(0.3,0.18867924528301888)"/>
  254. </edges>
  255. <edges xmi:id="_dIzcYMsyEeWxsbULpxN6Ug" type="Transition" element="_dIy1UMsyEeWxsbULpxN6Ug" source="_Ximo4MsyEeWxsbULpxN6Ug" target="_Cnbn37R7EeWj5quH-sy1Ww">
  256. <children xsi:type="notation:DecorationNode" xmi:id="_dIzcZMsyEeWxsbULpxN6Ug" type="TransitionExpression">
  257. <styles xsi:type="notation:ShapeStyle" xmi:id="_dIzcZcsyEeWxsbULpxN6Ug"/>
  258. <layoutConstraint xsi:type="notation:Location" xmi:id="_dIzcZssyEeWxsbULpxN6Ug" x="-7" y="-13"/>
  259. </children>
  260. <styles xsi:type="notation:ConnectorStyle" xmi:id="_dIzcYcsyEeWxsbULpxN6Ug" lineColor="4210752"/>
  261. <styles xsi:type="notation:FontStyle" xmi:id="_dIzcY8syEeWxsbULpxN6Ug" fontName="Verdana"/>
  262. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dIzcYssyEeWxsbULpxN6Ug" points="[-17, 4, 106, -9]$[-49, 13, 74, 0]$[-116, 13, 7, 0]"/>
  263. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dI1RkMsyEeWxsbULpxN6Ug" id="(0.5,0.7547169811320755)"/>
  264. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dI1RkcsyEeWxsbULpxN6Ug" id="(0.9675925925925926,0.26576576576576577)"/>
  265. </edges>
  266. <edges xmi:id="_q4XjsMsyEeWxsbULpxN6Ug" type="Transition" element="_q4W8oMsyEeWxsbULpxN6Ug" source="_pgLBsMsyEeWxsbULpxN6Ug" target="_hs8V8MsyEeWxsbULpxN6Ug">
  267. <children xsi:type="notation:DecorationNode" xmi:id="_q4XjtMsyEeWxsbULpxN6Ug" type="TransitionExpression">
  268. <styles xsi:type="notation:ShapeStyle" xmi:id="_q4XjtcsyEeWxsbULpxN6Ug"/>
  269. <layoutConstraint xsi:type="notation:Location" xmi:id="_q4XjtssyEeWxsbULpxN6Ug" x="-6" y="-59"/>
  270. </children>
  271. <styles xsi:type="notation:ConnectorStyle" xmi:id="_q4XjscsyEeWxsbULpxN6Ug" lineColor="4210752"/>
  272. <styles xsi:type="notation:FontStyle" xmi:id="_q4Xjs8syEeWxsbULpxN6Ug" fontName="Verdana"/>
  273. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_q4XjsssyEeWxsbULpxN6Ug" points="[0, 8, -5, -70]$[0, 54, -5, -24]"/>
  274. </edges>
  275. <edges xmi:id="_vyTHEMsyEeWxsbULpxN6Ug" type="Transition" element="_vySgAMsyEeWxsbULpxN6Ug" source="_hs8V8MsyEeWxsbULpxN6Ug" target="_Cnbn7LR7EeWj5quH-sy1Ww">
  276. <children xsi:type="notation:DecorationNode" xmi:id="_vyTHFMsyEeWxsbULpxN6Ug" type="TransitionExpression">
  277. <styles xsi:type="notation:ShapeStyle" xmi:id="_vyTHFcsyEeWxsbULpxN6Ug"/>
  278. <layoutConstraint xsi:type="notation:Location" xmi:id="_vyTHFssyEeWxsbULpxN6Ug" y="10"/>
  279. </children>
  280. <styles xsi:type="notation:ConnectorStyle" xmi:id="_vyTHEcsyEeWxsbULpxN6Ug" lineColor="4210752"/>
  281. <styles xsi:type="notation:FontStyle" xmi:id="_vyTHE8syEeWxsbULpxN6Ug" fontName="Verdana"/>
  282. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_vyTHEssyEeWxsbULpxN6Ug" points="[-17, 7, 112, 3]$[-128, 24, 1, 20]"/>
  283. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_vyUVMMsyEeWxsbULpxN6Ug" id="(0.075,0.5849056603773585)"/>
  284. </edges>
  285. <edges xmi:id="_xHR9AMsyEeWxsbULpxN6Ug" type="Transition" element="_xHRV8MsyEeWxsbULpxN6Ug" source="_Cnbn7LR7EeWj5quH-sy1Ww" target="_hs8V8MsyEeWxsbULpxN6Ug">
  286. <children xsi:type="notation:DecorationNode" xmi:id="_xHR9BMsyEeWxsbULpxN6Ug" type="TransitionExpression">
  287. <styles xsi:type="notation:ShapeStyle" xmi:id="_xHR9BcsyEeWxsbULpxN6Ug"/>
  288. <layoutConstraint xsi:type="notation:Location" xmi:id="_xHR9BssyEeWxsbULpxN6Ug" y="10"/>
  289. </children>
  290. <styles xsi:type="notation:ConnectorStyle" xmi:id="_xHR9AcsyEeWxsbULpxN6Ug" lineColor="4210752"/>
  291. <styles xsi:type="notation:FontStyle" xmi:id="_xHR9A8syEeWxsbULpxN6Ug" fontName="Verdana"/>
  292. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_xHR9AssyEeWxsbULpxN6Ug" points="[16, 4, -87, 5]$[105, 9, 2, 10]"/>
  293. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_xHTLIMsyEeWxsbULpxN6Ug" id="(0.55,0.8301886792452831)"/>
  294. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_xHTLIcsyEeWxsbULpxN6Ug" id="(0.25,0.8113207547169812)"/>
  295. </edges>
  296. <edges xmi:id="_9NYzMMsyEeWxsbULpxN6Ug" type="Transition" element="_9NYMIMsyEeWxsbULpxN6Ug" source="_Ximo4MsyEeWxsbULpxN6Ug" target="_Cnbn37R7EeWj5quH-sy1Ww">
  297. <children xsi:type="notation:DecorationNode" xmi:id="_9NYzNMsyEeWxsbULpxN6Ug" type="TransitionExpression">
  298. <styles xsi:type="notation:ShapeStyle" xmi:id="_9NYzNcsyEeWxsbULpxN6Ug"/>
  299. <layoutConstraint xsi:type="notation:Location" xmi:id="_9NYzNssyEeWxsbULpxN6Ug" y="10"/>
  300. </children>
  301. <styles xsi:type="notation:ConnectorStyle" xmi:id="_9NYzMcsyEeWxsbULpxN6Ug" lineColor="4210752"/>
  302. <styles xsi:type="notation:FontStyle" xmi:id="_9NYzM8syEeWxsbULpxN6Ug" fontName="Verdana"/>
  303. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_9NYzMssyEeWxsbULpxN6Ug" points="[-2, 11, 119, -93]$[-17, 95, 104, -9]$[-116, 95, 5, -9]"/>
  304. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9NaBUMsyEeWxsbULpxN6Ug" id="(0.5,0.7735849056603774)"/>
  305. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9NaBUcsyEeWxsbULpxN6Ug" id="(0.9768518518518519,0.6891891891891891)"/>
  306. </edges>
  307. </notation:Diagram>
  308. </xmi:XMI>