ChildFirstLocalReactions.sct 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274
  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="_WbIqMFgXEeeNwJt_ornpOA" specification="namespace executionorder&#xA;&#xA;@ChildFirstExecution&#xA;&#xA;interface:&#xA;// Define events and&#xA;// and variables here. &#xA;//Use CTRL + Space for content assist.&#xA;&#xA;var cnt : integer = 0&#xA;&#xA;in event e&#xA;&#xA;var disable_a : boolean&#xA;var disable_aa : boolean&#xA;var disable_aaa : boolean&#xA;&#xA;var a_local : integer = 0&#xA;var aa_local : integer = 0&#xA;var aaa_local : integer = 0 &#xA;&#xA;&#xA;var sm_local : integer = 0&#xA;&#xA;internal :&#xA;&#xA;always / sm_local = (cnt+=1)&#xA;" namespace="executionorder" name="ChildFirstLocalReactions">
  4. <regions xmi:id="_WbJ4UlgXEeeNwJt_ornpOA" name="r">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_WbZv8VgXEeeNwJt_ornpOA">
  6. <outgoingTransitions xmi:id="_WbcMMlgXEeeNwJt_ornpOA" target="_Wba-EVgXEeeNwJt_ornpOA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_Wba-EVgXEeeNwJt_ornpOA" specification="entry / &#xA;&#x9;disable_a = false;&#xA;&#x9;disable_aa = false;&#xA;&#x9;disable_aaa = false&#xA;&#x9;&#xA;always / a_local = (cnt+=1)" name="A" incomingTransitions="_WbcMMlgXEeeNwJt_ornpOA">
  9. <outgoingTransitions xmi:id="_n4jjUFgXEeeNwJt_ornpOA" specification="e [! disable_a]" target="_lgGeMFgXEeeNwJt_ornpOA"/>
  10. <regions xmi:id="_euckTVgXEeeNwJt_ornpOA" name="r">
  11. <vertices xsi:type="sgraph:Entry" xmi:id="_euckTlgXEeeNwJt_ornpOA">
  12. <outgoingTransitions xmi:id="_euckT1gXEeeNwJt_ornpOA" specification="" target="_euckUFgXEeeNwJt_ornpOA"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:State" xmi:id="_euckUFgXEeeNwJt_ornpOA" specification="always / aa_local = (cnt+=1)" name="AA" incomingTransitions="_euckT1gXEeeNwJt_ornpOA">
  15. <outgoingTransitions xmi:id="_rKGMkFgXEeeNwJt_ornpOA" specification="e [! disable_aa] " target="_4ukrAFxFEeexYulqhdY-Pw"/>
  16. <regions xmi:id="_fjqU8FgXEeeNwJt_ornpOA" name="r">
  17. <vertices xsi:type="sgraph:Entry" xmi:id="_fjqU8VgXEeeNwJt_ornpOA">
  18. <outgoingTransitions xmi:id="_fjqU8lgXEeeNwJt_ornpOA" specification="" target="_fjqU81gXEeeNwJt_ornpOA"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:State" xmi:id="_fjqU81gXEeeNwJt_ornpOA" specification="always / aaa_local = (cnt+=1)" name="AAA" incomingTransitions="_fjqU8lgXEeeNwJt_ornpOA">
  21. <outgoingTransitions xmi:id="_p3XZYFgXEeeNwJt_ornpOA" specification="e [! disable_aaa]" target="_nybS8FxFEeexYulqhdY-Pw"/>
  22. </vertices>
  23. <vertices xsi:type="sgraph:State" xmi:id="_nybS8FxFEeexYulqhdY-Pw" name="AAB" incomingTransitions="_p3XZYFgXEeeNwJt_ornpOA"/>
  24. </regions>
  25. </vertices>
  26. <vertices xsi:type="sgraph:State" xmi:id="_4ukrAFxFEeexYulqhdY-Pw" name="AB" incomingTransitions="_rKGMkFgXEeeNwJt_ornpOA"/>
  27. </regions>
  28. </vertices>
  29. <vertices xsi:type="sgraph:State" xmi:id="_lgGeMFgXEeeNwJt_ornpOA" name="B" incomingTransitions="_n4jjUFgXEeeNwJt_ornpOA"/>
  30. </regions>
  31. </sgraph:Statechart>
  32. <notation:Diagram xmi:id="_WbJ4UFgXEeeNwJt_ornpOA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_WbIqMFgXEeeNwJt_ornpOA" measurementUnit="Pixel">
  33. <children xmi:id="_WbM7oFgXEeeNwJt_ornpOA" type="Region" element="_WbJ4UlgXEeeNwJt_ornpOA">
  34. <children xsi:type="notation:DecorationNode" xmi:id="_WbYh0FgXEeeNwJt_ornpOA" type="RegionName">
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbYh0VgXEeeNwJt_ornpOA"/>
  36. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbYh0lgXEeeNwJt_ornpOA"/>
  37. </children>
  38. <children xsi:type="notation:Shape" xmi:id="_WbYh01gXEeeNwJt_ornpOA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  39. <children xmi:id="_WbZv8lgXEeeNwJt_ornpOA" type="Entry" element="_WbZv8VgXEeeNwJt_ornpOA">
  40. <children xmi:id="_WbaXAFgXEeeNwJt_ornpOA" type="BorderItemLabelContainer">
  41. <children xsi:type="notation:DecorationNode" xmi:id="_WbaXA1gXEeeNwJt_ornpOA" type="BorderItemLabel">
  42. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbaXBFgXEeeNwJt_ornpOA"/>
  43. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbaXBVgXEeeNwJt_ornpOA"/>
  44. </children>
  45. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbaXAVgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbaXAlgXEeeNwJt_ornpOA"/>
  47. </children>
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbZv81gXEeeNwJt_ornpOA" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  49. <styles xsi:type="notation:NamedStyle" xmi:id="_WbZv9FgXEeeNwJt_ornpOA" name="allowColors"/>
  50. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Wba-EFgXEeeNwJt_ornpOA" x="50" y="5" width="15" height="15"/>
  51. </children>
  52. <children xmi:id="_Wba-FFgXEeeNwJt_ornpOA" type="State" element="_Wba-EVgXEeeNwJt_ornpOA">
  53. <children xsi:type="notation:DecorationNode" xmi:id="_WbblIFgXEeeNwJt_ornpOA" type="StateName">
  54. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbblIVgXEeeNwJt_ornpOA"/>
  55. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbblIlgXEeeNwJt_ornpOA"/>
  56. </children>
  57. <children xsi:type="notation:Compartment" xmi:id="_WbblI1gXEeeNwJt_ornpOA" type="StateTextCompartment">
  58. <children xsi:type="notation:Shape" xmi:id="_WbblJFgXEeeNwJt_ornpOA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  59. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbblJVgXEeeNwJt_ornpOA"/>
  60. </children>
  61. </children>
  62. <children xsi:type="notation:Compartment" xmi:id="_WbblJlgXEeeNwJt_ornpOA" type="StateFigureCompartment">
  63. <children xmi:id="_lIf2gFgXEeeNwJt_ornpOA" type="Region" element="_euckTVgXEeeNwJt_ornpOA">
  64. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2gVgXEeeNwJt_ornpOA" type="RegionName">
  65. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2glgXEeeNwJt_ornpOA"/>
  66. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2g1gXEeeNwJt_ornpOA"/>
  67. </children>
  68. <children xsi:type="notation:Shape" xmi:id="_lIf2hFgXEeeNwJt_ornpOA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  69. <children xmi:id="_lIf2hVgXEeeNwJt_ornpOA" type="Entry" element="_euckTlgXEeeNwJt_ornpOA">
  70. <children xmi:id="_lIf2hlgXEeeNwJt_ornpOA" type="BorderItemLabelContainer">
  71. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2h1gXEeeNwJt_ornpOA" type="BorderItemLabel">
  72. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2iFgXEeeNwJt_ornpOA"/>
  73. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2iVgXEeeNwJt_ornpOA"/>
  74. </children>
  75. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2ilgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2i1gXEeeNwJt_ornpOA"/>
  77. </children>
  78. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2jFgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  79. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2jVgXEeeNwJt_ornpOA" x="32" y="4" width="15" height="15"/>
  80. </children>
  81. <children xmi:id="_lIf2jlgXEeeNwJt_ornpOA" type="State" element="_euckUFgXEeeNwJt_ornpOA">
  82. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2j1gXEeeNwJt_ornpOA" type="StateName">
  83. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2kFgXEeeNwJt_ornpOA"/>
  84. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2kVgXEeeNwJt_ornpOA"/>
  85. </children>
  86. <children xsi:type="notation:Compartment" xmi:id="_lIf2klgXEeeNwJt_ornpOA" type="StateTextCompartment">
  87. <children xsi:type="notation:Shape" xmi:id="_lIf2k1gXEeeNwJt_ornpOA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  88. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2lFgXEeeNwJt_ornpOA"/>
  89. </children>
  90. </children>
  91. <children xsi:type="notation:Compartment" xmi:id="_lIf2lVgXEeeNwJt_ornpOA" type="StateFigureCompartment">
  92. <children xmi:id="_lIf2llgXEeeNwJt_ornpOA" type="Region" element="_fjqU8FgXEeeNwJt_ornpOA">
  93. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2l1gXEeeNwJt_ornpOA" type="RegionName">
  94. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2mFgXEeeNwJt_ornpOA"/>
  95. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2mVgXEeeNwJt_ornpOA"/>
  96. </children>
  97. <children xsi:type="notation:Shape" xmi:id="_lIf2mlgXEeeNwJt_ornpOA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  98. <children xmi:id="_lIf2m1gXEeeNwJt_ornpOA" type="Entry" element="_fjqU8VgXEeeNwJt_ornpOA">
  99. <children xmi:id="_lIf2nFgXEeeNwJt_ornpOA" type="BorderItemLabelContainer">
  100. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2nVgXEeeNwJt_ornpOA" type="BorderItemLabel">
  101. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2nlgXEeeNwJt_ornpOA"/>
  102. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2n1gXEeeNwJt_ornpOA"/>
  103. </children>
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2oFgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  105. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2oVgXEeeNwJt_ornpOA"/>
  106. </children>
  107. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2olgXEeeNwJt_ornpOA" fontName="Verdana" lineColor="4210752"/>
  108. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2o1gXEeeNwJt_ornpOA" x="25" y="13"/>
  109. </children>
  110. <children xmi:id="_lIf2pFgXEeeNwJt_ornpOA" type="State" element="_fjqU81gXEeeNwJt_ornpOA">
  111. <children xsi:type="notation:DecorationNode" xmi:id="_lIf2pVgXEeeNwJt_ornpOA" type="StateName">
  112. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2plgXEeeNwJt_ornpOA"/>
  113. <layoutConstraint xsi:type="notation:Location" xmi:id="_lIf2p1gXEeeNwJt_ornpOA"/>
  114. </children>
  115. <children xsi:type="notation:Compartment" xmi:id="_lIf2qFgXEeeNwJt_ornpOA" type="StateTextCompartment">
  116. <children xsi:type="notation:Shape" xmi:id="_lIf2qVgXEeeNwJt_ornpOA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  117. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2qlgXEeeNwJt_ornpOA"/>
  118. </children>
  119. </children>
  120. <children xsi:type="notation:Compartment" xmi:id="_lIf2q1gXEeeNwJt_ornpOA" type="StateFigureCompartment"/>
  121. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2rFgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  122. <styles xsi:type="notation:FontStyle" xmi:id="_lIf2rVgXEeeNwJt_ornpOA"/>
  123. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_lIf2rlgXEeeNwJt_ornpOA" name="isHorizontal" booleanValue="true"/>
  124. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2r1gXEeeNwJt_ornpOA" x="20" y="47"/>
  125. </children>
  126. <children xmi:id="_ny07kFxFEeexYulqhdY-Pw" type="State" element="_nybS8FxFEeexYulqhdY-Pw">
  127. <children xsi:type="notation:DecorationNode" xmi:id="_ny7CMFxFEeexYulqhdY-Pw" type="StateName">
  128. <styles xsi:type="notation:ShapeStyle" xmi:id="_ny7CMVxFEeexYulqhdY-Pw"/>
  129. <layoutConstraint xsi:type="notation:Location" xmi:id="_ny7CMlxFEeexYulqhdY-Pw"/>
  130. </children>
  131. <children xsi:type="notation:Compartment" xmi:id="_ny8QUFxFEeexYulqhdY-Pw" type="StateTextCompartment">
  132. <children xsi:type="notation:Shape" xmi:id="_ny83YFxFEeexYulqhdY-Pw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  133. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ny83YVxFEeexYulqhdY-Pw"/>
  134. </children>
  135. </children>
  136. <children xsi:type="notation:Compartment" xmi:id="_ny9ecFxFEeexYulqhdY-Pw" type="StateFigureCompartment"/>
  137. <styles xsi:type="notation:ShapeStyle" xmi:id="_ny07kVxFEeexYulqhdY-Pw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  138. <styles xsi:type="notation:FontStyle" xmi:id="_ny07klxFEeexYulqhdY-Pw"/>
  139. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ny9ecVxFEeexYulqhdY-Pw" name="isHorizontal" booleanValue="true"/>
  140. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ny07k1xFEeexYulqhdY-Pw" x="253" y="47"/>
  141. </children>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2sFgXEeeNwJt_ornpOA"/>
  143. </children>
  144. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2sVgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  145. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2slgXEeeNwJt_ornpOA" x="90" y="10"/>
  146. </children>
  147. </children>
  148. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2s1gXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  149. <styles xsi:type="notation:FontStyle" xmi:id="_lIf2tFgXEeeNwJt_ornpOA"/>
  150. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_lIf2tVgXEeeNwJt_ornpOA" name="isHorizontal" booleanValue="true"/>
  151. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2tlgXEeeNwJt_ornpOA" x="20" y="47" width="333" height="214"/>
  152. </children>
  153. <children xmi:id="_4umgMFxFEeexYulqhdY-Pw" type="State" element="_4ukrAFxFEeexYulqhdY-Pw">
  154. <children xsi:type="notation:DecorationNode" xmi:id="_4umgNFxFEeexYulqhdY-Pw" type="StateName">
  155. <styles xsi:type="notation:ShapeStyle" xmi:id="_4umgNVxFEeexYulqhdY-Pw"/>
  156. <layoutConstraint xsi:type="notation:Location" xmi:id="_4umgNlxFEeexYulqhdY-Pw"/>
  157. </children>
  158. <children xsi:type="notation:Compartment" xmi:id="_4umgN1xFEeexYulqhdY-Pw" type="StateTextCompartment">
  159. <children xsi:type="notation:Shape" xmi:id="_4unHQFxFEeexYulqhdY-Pw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  160. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4unHQVxFEeexYulqhdY-Pw"/>
  161. </children>
  162. </children>
  163. <children xsi:type="notation:Compartment" xmi:id="_4unHQlxFEeexYulqhdY-Pw" type="StateFigureCompartment"/>
  164. <styles xsi:type="notation:ShapeStyle" xmi:id="_4umgMVxFEeexYulqhdY-Pw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  165. <styles xsi:type="notation:FontStyle" xmi:id="_4umgMlxFEeexYulqhdY-Pw"/>
  166. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_4unHQ1xFEeexYulqhdY-Pw" name="isHorizontal" booleanValue="true"/>
  167. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4umgM1xFEeexYulqhdY-Pw" x="452" y="111"/>
  168. </children>
  169. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2t1gXEeeNwJt_ornpOA"/>
  170. </children>
  171. <styles xsi:type="notation:ShapeStyle" xmi:id="_lIf2uFgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  172. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lIf2uVgXEeeNwJt_ornpOA" x="90" y="10"/>
  173. </children>
  174. </children>
  175. <styles xsi:type="notation:ShapeStyle" xmi:id="_Wba-FVgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  176. <styles xsi:type="notation:FontStyle" xmi:id="_Wba-FlgXEeeNwJt_ornpOA"/>
  177. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WbcMMFgXEeeNwJt_ornpOA" name="isHorizontal" booleanValue="true"/>
  178. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbcMMVgXEeeNwJt_ornpOA" x="50" y="125" width="526" height="391"/>
  179. </children>
  180. <children xmi:id="_lgHsUFgXEeeNwJt_ornpOA" type="State" element="_lgGeMFgXEeeNwJt_ornpOA">
  181. <children xsi:type="notation:DecorationNode" xmi:id="_lgITYFgXEeeNwJt_ornpOA" type="StateName">
  182. <styles xsi:type="notation:ShapeStyle" xmi:id="_lgITYVgXEeeNwJt_ornpOA"/>
  183. <layoutConstraint xsi:type="notation:Location" xmi:id="_lgITYlgXEeeNwJt_ornpOA"/>
  184. </children>
  185. <children xsi:type="notation:Compartment" xmi:id="_lgITY1gXEeeNwJt_ornpOA" type="StateTextCompartment">
  186. <children xsi:type="notation:Shape" xmi:id="_lgITZFgXEeeNwJt_ornpOA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  187. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lgITZVgXEeeNwJt_ornpOA"/>
  188. </children>
  189. </children>
  190. <children xsi:type="notation:Compartment" xmi:id="_lgI6cFgXEeeNwJt_ornpOA" type="StateFigureCompartment"/>
  191. <styles xsi:type="notation:ShapeStyle" xmi:id="_lgHsUVgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  192. <styles xsi:type="notation:FontStyle" xmi:id="_lgHsUlgXEeeNwJt_ornpOA"/>
  193. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_lgI6cVgXEeeNwJt_ornpOA" name="isHorizontal" booleanValue="true"/>
  194. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lgHsU1gXEeeNwJt_ornpOA" x="753" y="125" width="40" height="53"/>
  195. </children>
  196. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbYh1FgXEeeNwJt_ornpOA"/>
  197. </children>
  198. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbM7oVgXEeeNwJt_ornpOA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  199. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbZv8FgXEeeNwJt_ornpOA" x="220" y="10" width="815" height="638"/>
  200. </children>
  201. <children xsi:type="notation:Shape" xmi:id="_WbeBYFgXEeeNwJt_ornpOA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  202. <children xsi:type="notation:DecorationNode" xmi:id="_WbeBYlgXEeeNwJt_ornpOA" type="StatechartName">
  203. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbeBY1gXEeeNwJt_ornpOA"/>
  204. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbeBZFgXEeeNwJt_ornpOA"/>
  205. </children>
  206. <children xsi:type="notation:Shape" xmi:id="_WbeBZVgXEeeNwJt_ornpOA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  207. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbeBZlgXEeeNwJt_ornpOA"/>
  208. </children>
  209. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbeocFgXEeeNwJt_ornpOA" x="10" y="10" width="200" height="575"/>
  210. </children>
  211. <styles xsi:type="notation:DiagramStyle" xmi:id="_WbJ4UVgXEeeNwJt_ornpOA"/>
  212. <edges xmi:id="_WbdaUFgXEeeNwJt_ornpOA" type="Transition" element="_WbcMMlgXEeeNwJt_ornpOA" source="_WbZv8lgXEeeNwJt_ornpOA" target="_Wba-FFgXEeeNwJt_ornpOA">
  213. <children xsi:type="notation:DecorationNode" xmi:id="_WbdaVFgXEeeNwJt_ornpOA" type="TransitionExpression">
  214. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbdaVVgXEeeNwJt_ornpOA"/>
  215. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbdaVlgXEeeNwJt_ornpOA" y="10"/>
  216. </children>
  217. <styles xsi:type="notation:ConnectorStyle" xmi:id="_WbdaUVgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  218. <styles xsi:type="notation:FontStyle" xmi:id="_WbdaU1gXEeeNwJt_ornpOA" fontName="Verdana"/>
  219. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_WbdaUlgXEeeNwJt_ornpOA" points="[7, 3, -83, -337]$[0, 3, -90, -337]$[0, 161, -90, -179]"/>
  220. </edges>
  221. <edges xmi:id="_eudLQlgXEeeNwJt_ornpOA" type="Transition" element="_euckT1gXEeeNwJt_ornpOA" source="_lIf2hVgXEeeNwJt_ornpOA" target="_lIf2jlgXEeeNwJt_ornpOA">
  222. <children xsi:type="notation:DecorationNode" xmi:id="_eudLQ1gXEeeNwJt_ornpOA" type="TransitionExpression">
  223. <styles xsi:type="notation:ShapeStyle" xmi:id="_eudLRFgXEeeNwJt_ornpOA"/>
  224. <layoutConstraint xsi:type="notation:Location" xmi:id="_eudLRVgXEeeNwJt_ornpOA" y="10"/>
  225. </children>
  226. <styles xsi:type="notation:ConnectorStyle" xmi:id="_eudLRlgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  227. <styles xsi:type="notation:FontStyle" xmi:id="_eudLR1gXEeeNwJt_ornpOA" fontName="Verdana"/>
  228. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eudLSFgXEeeNwJt_ornpOA" points="[5, 5, -21, -56]$[5, 23, -21, -38]$[7, 23, -19, -38]$[7, 36, -19, -25]"/>
  229. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eudLSVgXEeeNwJt_ornpOA" id="(0.32,0.1509433962264151)"/>
  230. </edges>
  231. <edges xmi:id="_fjq8AFgXEeeNwJt_ornpOA" type="Transition" element="_fjqU8lgXEeeNwJt_ornpOA" source="_lIf2m1gXEeeNwJt_ornpOA" target="_lIf2pFgXEeeNwJt_ornpOA">
  232. <children xsi:type="notation:DecorationNode" xmi:id="_fjq8AVgXEeeNwJt_ornpOA" type="TransitionExpression">
  233. <styles xsi:type="notation:ShapeStyle" xmi:id="_fjq8AlgXEeeNwJt_ornpOA"/>
  234. <layoutConstraint xsi:type="notation:Location" xmi:id="_fjq8A1gXEeeNwJt_ornpOA" y="10"/>
  235. </children>
  236. <styles xsi:type="notation:ConnectorStyle" xmi:id="_fjq8BFgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  237. <styles xsi:type="notation:FontStyle" xmi:id="_fjq8BVgXEeeNwJt_ornpOA" fontName="Verdana"/>
  238. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_fjq8BlgXEeeNwJt_ornpOA" points="[7, 2, -94, -35]$[103, 30, 2, -7]"/>
  239. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_fjq8B1gXEeeNwJt_ornpOA" id="(0.32,0.1509433962264151)"/>
  240. </edges>
  241. <edges xmi:id="_n4kKYFgXEeeNwJt_ornpOA" type="Transition" element="_n4jjUFgXEeeNwJt_ornpOA" source="_Wba-FFgXEeeNwJt_ornpOA" target="_lgHsUFgXEeeNwJt_ornpOA">
  242. <children xsi:type="notation:DecorationNode" xmi:id="_n4kxcVgXEeeNwJt_ornpOA" type="TransitionExpression">
  243. <styles xsi:type="notation:ShapeStyle" xmi:id="_n4kxclgXEeeNwJt_ornpOA"/>
  244. <layoutConstraint xsi:type="notation:Location" xmi:id="_n4kxc1gXEeeNwJt_ornpOA" x="-2" y="18"/>
  245. </children>
  246. <styles xsi:type="notation:ConnectorStyle" xmi:id="_n4kKYVgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  247. <styles xsi:type="notation:FontStyle" xmi:id="_n4kxcFgXEeeNwJt_ornpOA" fontName="Verdana"/>
  248. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_n4kKYlgXEeeNwJt_ornpOA" points="[64, 11, -186, -46]$[222, 11, -28, -46]"/>
  249. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_n4mmoFgXEeeNwJt_ornpOA" id="(0.8835341365461847,0.046822742474916385)"/>
  250. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_n4mmoVgXEeeNwJt_ornpOA" id="(0.8,0.49056603773584906)"/>
  251. </edges>
  252. <edges xmi:id="_p3YngFgXEeeNwJt_ornpOA" type="Transition" element="_p3XZYFgXEeeNwJt_ornpOA" source="_lIf2pFgXEeeNwJt_ornpOA" target="_ny07kFxFEeexYulqhdY-Pw">
  253. <children xsi:type="notation:DecorationNode" xmi:id="_p3YnhFgXEeeNwJt_ornpOA" type="TransitionExpression">
  254. <styles xsi:type="notation:ShapeStyle" xmi:id="_p3YnhVgXEeeNwJt_ornpOA"/>
  255. <layoutConstraint xsi:type="notation:Location" xmi:id="_p3YnhlgXEeeNwJt_ornpOA" x="-11" y="36"/>
  256. </children>
  257. <styles xsi:type="notation:ConnectorStyle" xmi:id="_p3YngVgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  258. <styles xsi:type="notation:FontStyle" xmi:id="_p3Yng1gXEeeNwJt_ornpOA" fontName="Verdana"/>
  259. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_p3YnglgXEeeNwJt_ornpOA" points="[68, -1, -102, -3]$[165, -1, -5, -3]"/>
  260. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_0RI2YFxFEeexYulqhdY-Pw" id="(0.15,0.5471698113207547)"/>
  261. </edges>
  262. <edges xmi:id="_rKGzoFgXEeeNwJt_ornpOA" type="Transition" element="_rKGMkFgXEeeNwJt_ornpOA" source="_lIf2jlgXEeeNwJt_ornpOA" target="_4umgMFxFEeexYulqhdY-Pw">
  263. <children xsi:type="notation:DecorationNode" xmi:id="_rKGzpFgXEeeNwJt_ornpOA" type="TransitionExpression">
  264. <styles xsi:type="notation:ShapeStyle" xmi:id="_rKGzpVgXEeeNwJt_ornpOA"/>
  265. <layoutConstraint xsi:type="notation:Location" xmi:id="_rKGzplgXEeeNwJt_ornpOA" x="30" y="-31"/>
  266. </children>
  267. <styles xsi:type="notation:ConnectorStyle" xmi:id="_rKGzoVgXEeeNwJt_ornpOA" routing="Rectilinear" lineColor="4210752"/>
  268. <styles xsi:type="notation:FontStyle" xmi:id="_rKGzo1gXEeeNwJt_ornpOA" fontName="Verdana"/>
  269. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_rKGzolgXEeeNwJt_ornpOA" points="[27, 52, -121, -7]$[131, 52, -17, -7]"/>
  270. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_rKIBwFgXEeeNwJt_ornpOA" id="(0.9178082191780822,0.14285714285714285)"/>
  271. </edges>
  272. </notation:Diagram>
  273. </xmi:XMI>