InterfaceTest.sct 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284
  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/2.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText">
  3. <sgraph:Statechart xmi:id="_p-KfMAn1EeGuZq6TN7cDtg" name="InterfaceTest" expression="interface:&#xA;&#xA;in event event1&#xA;out event event2 : integer&#xA;&#xA;var var1 : boolean&#xA;var var2 : real = 2.3&#xA;var var3 : integer = 1&#xA;&#xA;interface other:&#xA;&#xA;in event event3&#xA;out event event4&#xA;&#xA;var v1 : integer = 5&#xA;&#xA;interface third:&#xA;&#xA;in event event5&#xA;out event event6 : boolean&#xA;&#xA;var v1 : real&#xA;">
  4. <scopes xsi:type="stext:InterfaceScope" xmi:id="_mqE3UAutEeGQwLj0UL2wOQ">
  5. <declarations xsi:type="stext:EventDefinition" xmi:id="_mqE3UQutEeGQwLj0UL2wOQ" name="event1" direction="in"/>
  6. <declarations xsi:type="stext:EventDefinition" xmi:id="_mqE3UgutEeGQwLj0UL2wOQ" name="event2" direction="out" type="integer"/>
  7. <declarations xsi:type="stext:VariableDefinition" xmi:id="_mqE3UwutEeGQwLj0UL2wOQ" name="var1" type="boolean"/>
  8. <declarations xsi:type="stext:VariableDefinition" xmi:id="_mqE3VAutEeGQwLj0UL2wOQ" name="var2" type="real" initialValue="2.3"/>
  9. <declarations xsi:type="stext:VariableDefinition" xmi:id="_mqE3VQutEeGQwLj0UL2wOQ" name="var3" type="integer" initialValue="1"/>
  10. </scopes>
  11. <scopes xsi:type="stext:InterfaceScope" xmi:id="_mqE3VgutEeGQwLj0UL2wOQ" name="other">
  12. <declarations xsi:type="stext:EventDefinition" xmi:id="_mqE3VwutEeGQwLj0UL2wOQ" name="event3" direction="in"/>
  13. <declarations xsi:type="stext:EventDefinition" xmi:id="_mqE3WAutEeGQwLj0UL2wOQ" name="event4" direction="out"/>
  14. <declarations xsi:type="stext:VariableDefinition" xmi:id="_mqE3WQutEeGQwLj0UL2wOQ" name="v1" type="integer" initialValue="5"/>
  15. </scopes>
  16. <scopes xsi:type="stext:InterfaceScope" xmi:id="_mqE3WgutEeGQwLj0UL2wOQ" name="third">
  17. <declarations xsi:type="stext:EventDefinition" xmi:id="_mqE3WwutEeGQwLj0UL2wOQ" name="event5" direction="in"/>
  18. <declarations xsi:type="stext:EventDefinition" xmi:id="_mqE3XAutEeGQwLj0UL2wOQ" name="event6" direction="out" type="boolean"/>
  19. <declarations xsi:type="stext:VariableDefinition" xmi:id="_mqE3XQutEeGQwLj0UL2wOQ" name="v1" type="real"/>
  20. </scopes>
  21. <regions xmi:id="_p-LtUgn1EeGuZq6TN7cDtg" name="main region">
  22. <vertices xsi:type="sgraph:Entry" xmi:id="_p-RM4Qn1EeGuZq6TN7cDtg">
  23. <outgoingTransitions xmi:id="_p-TpIwn1EeGuZq6TN7cDtg" expression="" target="_p-Rz9wn1EeGuZq6TN7cDtg"/>
  24. </vertices>
  25. <vertices xsi:type="sgraph:State" xmi:id="_p-Rz9wn1EeGuZq6TN7cDtg" name="state1" incomingTransitions="_p-TpIwn1EeGuZq6TN7cDtg _IduY8An2EeGuZq6TN7cDtg _aUmT4An2EeGuZq6TN7cDtg _ezdE0An2EeGuZq6TN7cDtg" expression="">
  26. <outgoingTransitions xmi:id="_Fp0t8An2EeGuZq6TN7cDtg" expression="event1[var2 > 0]" target="_DQwk0An2EeGuZq6TN7cDtg">
  27. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqOoUAutEeGQwLj0UL2wOQ">
  28. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_mqOoUQutEeGQwLj0UL2wOQ" event="_mqE3UQutEeGQwLj0UL2wOQ"/>
  29. <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_mqOoUgutEeGQwLj0UL2wOQ" operator=">">
  30. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_mqOoUwutEeGQwLj0UL2wOQ" value="_mqE3VAutEeGQwLj0UL2wOQ"/>
  31. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_mqOoVAutEeGQwLj0UL2wOQ" value="0"/>
  32. </guardExpression>
  33. </trigger>
  34. </outgoingTransitions>
  35. <outgoingTransitions xmi:id="_Wx7eYAn2EeGuZq6TN7cDtg" expression="other.event3[var3 == 1]" target="_N8IiYAn2EeGuZq6TN7cDtg">
  36. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqOoVQutEeGQwLj0UL2wOQ">
  37. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_mqOoVgutEeGQwLj0UL2wOQ" event="_mqE3VwutEeGQwLj0UL2wOQ"/>
  38. <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_mqOoVwutEeGQwLj0UL2wOQ" operator="==">
  39. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_mqOoWAutEeGQwLj0UL2wOQ" value="_mqE3VQutEeGQwLj0UL2wOQ"/>
  40. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_mqOoWQutEeGQwLj0UL2wOQ" value="1"/>
  41. </guardExpression>
  42. </trigger>
  43. </outgoingTransitions>
  44. <outgoingTransitions xmi:id="_dQp1UAn2EeGuZq6TN7cDtg" expression="third.event5[var1 == true]" target="_b6-b0An2EeGuZq6TN7cDtg">
  45. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqYZUAutEeGQwLj0UL2wOQ">
  46. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_mqYZUQutEeGQwLj0UL2wOQ" event="_mqE3WwutEeGQwLj0UL2wOQ"/>
  47. <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_mqYZUgutEeGQwLj0UL2wOQ" operator="==">
  48. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_mqYZUwutEeGQwLj0UL2wOQ" value="_mqE3UwutEeGQwLj0UL2wOQ"/>
  49. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_mqYZVAutEeGQwLj0UL2wOQ" value="true"/>
  50. </guardExpression>
  51. </trigger>
  52. </outgoingTransitions>
  53. <scopes xmi:id="_mqE3XgutEeGQwLj0UL2wOQ"/>
  54. </vertices>
  55. <vertices xsi:type="sgraph:State" xmi:id="_DQwk0An2EeGuZq6TN7cDtg" name="state2" incomingTransitions="_Fp0t8An2EeGuZq6TN7cDtg" expression="entry / raise event2 : 22;">
  56. <outgoingTransitions xmi:id="_IduY8An2EeGuZq6TN7cDtg" expression="event1" target="_p-Rz9wn1EeGuZq6TN7cDtg">
  57. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqYZXAutEeGQwLj0UL2wOQ">
  58. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_mqYZXQutEeGQwLj0UL2wOQ" event="_mqE3UQutEeGQwLj0UL2wOQ"/>
  59. </trigger>
  60. </outgoingTransitions>
  61. <scopes xmi:id="_mqYZVQutEeGQwLj0UL2wOQ">
  62. <declarations xsi:type="stext:LocalReaction" xmi:id="_mqYZVgutEeGQwLj0UL2wOQ">
  63. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqYZVwutEeGQwLj0UL2wOQ">
  64. <triggers xsi:type="stext:EntryEvent" xmi:id="_mqYZWAutEeGQwLj0UL2wOQ"/>
  65. </trigger>
  66. <effect xsi:type="stext:ReactionEffect" xmi:id="_mqYZWQutEeGQwLj0UL2wOQ">
  67. <actions xsi:type="stext:EventRaising" xmi:id="_mqYZWgutEeGQwLj0UL2wOQ" event="_mqE3UgutEeGQwLj0UL2wOQ">
  68. <value xsi:type="stext:PrimitiveValueExpression" xmi:id="_mqYZWwutEeGQwLj0UL2wOQ" value="22"/>
  69. </actions>
  70. </effect>
  71. </declarations>
  72. </scopes>
  73. </vertices>
  74. <vertices xsi:type="sgraph:State" xmi:id="_N8IiYAn2EeGuZq6TN7cDtg" name="state3" incomingTransitions="_Wx7eYAn2EeGuZq6TN7cDtg" expression="entry / raise other.event4;">
  75. <outgoingTransitions xmi:id="_aUmT4An2EeGuZq6TN7cDtg" expression="other.event3" target="_p-Rz9wn1EeGuZq6TN7cDtg">
  76. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqYZZAutEeGQwLj0UL2wOQ">
  77. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_mqYZZQutEeGQwLj0UL2wOQ" event="_mqE3VwutEeGQwLj0UL2wOQ"/>
  78. </trigger>
  79. </outgoingTransitions>
  80. <scopes xmi:id="_mqYZXgutEeGQwLj0UL2wOQ">
  81. <declarations xsi:type="stext:LocalReaction" xmi:id="_mqYZXwutEeGQwLj0UL2wOQ">
  82. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqYZYAutEeGQwLj0UL2wOQ">
  83. <triggers xsi:type="stext:EntryEvent" xmi:id="_mqYZYQutEeGQwLj0UL2wOQ"/>
  84. </trigger>
  85. <effect xsi:type="stext:ReactionEffect" xmi:id="_mqYZYgutEeGQwLj0UL2wOQ">
  86. <actions xsi:type="stext:EventRaising" xmi:id="_mqYZYwutEeGQwLj0UL2wOQ" event="_mqE3WAutEeGQwLj0UL2wOQ"/>
  87. </effect>
  88. </declarations>
  89. </scopes>
  90. </vertices>
  91. <vertices xsi:type="sgraph:State" xmi:id="_b6-b0An2EeGuZq6TN7cDtg" name="state4" incomingTransitions="_dQp1UAn2EeGuZq6TN7cDtg" expression="entry / raise third.event6 : true;">
  92. <outgoingTransitions xmi:id="_ezdE0An2EeGuZq6TN7cDtg" expression="third.event5" target="_p-Rz9wn1EeGuZq6TN7cDtg">
  93. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqhjQAutEeGQwLj0UL2wOQ">
  94. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_mqhjQQutEeGQwLj0UL2wOQ" event="_mqE3WwutEeGQwLj0UL2wOQ"/>
  95. </trigger>
  96. </outgoingTransitions>
  97. <scopes xmi:id="_mqYZZgutEeGQwLj0UL2wOQ">
  98. <declarations xsi:type="stext:LocalReaction" xmi:id="_mqYZZwutEeGQwLj0UL2wOQ">
  99. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_mqYZaAutEeGQwLj0UL2wOQ">
  100. <triggers xsi:type="stext:EntryEvent" xmi:id="_mqYZaQutEeGQwLj0UL2wOQ"/>
  101. </trigger>
  102. <effect xsi:type="stext:ReactionEffect" xmi:id="_mqYZagutEeGQwLj0UL2wOQ">
  103. <actions xsi:type="stext:EventRaising" xmi:id="_mqYZawutEeGQwLj0UL2wOQ" event="_mqE3XAutEeGQwLj0UL2wOQ">
  104. <value xsi:type="stext:PrimitiveValueExpression" xmi:id="_mqYZbAutEeGQwLj0UL2wOQ" value="true"/>
  105. </actions>
  106. </effect>
  107. </declarations>
  108. </scopes>
  109. </vertices>
  110. </regions>
  111. </sgraph:Statechart>
  112. <notation:Diagram xmi:id="_p-LtUAn1EeGuZq6TN7cDtg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_p-KfMAn1EeGuZq6TN7cDtg" measurementUnit="Pixel">
  113. <children xmi:id="_p-OJkAn1EeGuZq6TN7cDtg" type="Region" element="_p-LtUgn1EeGuZq6TN7cDtg">
  114. <children xsi:type="notation:DecorationNode" xmi:id="_p-P-wAn1EeGuZq6TN7cDtg" type="RegionName">
  115. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-P-wQn1EeGuZq6TN7cDtg"/>
  116. <layoutConstraint xsi:type="notation:Location" xmi:id="_p-P-wgn1EeGuZq6TN7cDtg"/>
  117. </children>
  118. <children xsi:type="notation:Shape" xmi:id="_p-Ql0An1EeGuZq6TN7cDtg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  119. <children xmi:id="_p-RM4gn1EeGuZq6TN7cDtg" type="Entry" element="_p-RM4Qn1EeGuZq6TN7cDtg">
  120. <children xmi:id="_p-Rz8An1EeGuZq6TN7cDtg" type="BorderItemLabelContainer">
  121. <children xsi:type="notation:DecorationNode" xmi:id="_p-Rz8wn1EeGuZq6TN7cDtg" type="BorderItemLabel">
  122. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-Rz9An1EeGuZq6TN7cDtg"/>
  123. <layoutConstraint xsi:type="notation:Location" xmi:id="_p-Rz9Qn1EeGuZq6TN7cDtg"/>
  124. </children>
  125. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-Rz8Qn1EeGuZq6TN7cDtg" fontName="Verdana" lineColor="4210752"/>
  126. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_p-Rz8gn1EeGuZq6TN7cDtg"/>
  127. </children>
  128. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-RM4wn1EeGuZq6TN7cDtg" fontName="Verdana" lineColor="4210752"/>
  129. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_p-Rz9gn1EeGuZq6TN7cDtg" x="70" y="20"/>
  130. </children>
  131. <children xmi:id="_p-SbAQn1EeGuZq6TN7cDtg" type="State" element="_p-Rz9wn1EeGuZq6TN7cDtg">
  132. <children xsi:type="notation:DecorationNode" xmi:id="_p-TCEAn1EeGuZq6TN7cDtg" type="StateName">
  133. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-TCEQn1EeGuZq6TN7cDtg"/>
  134. <layoutConstraint xsi:type="notation:Location" xmi:id="_p-TCEgn1EeGuZq6TN7cDtg"/>
  135. </children>
  136. <children xsi:type="notation:Compartment" xmi:id="_p-TCEwn1EeGuZq6TN7cDtg" type="StateTextCompartment">
  137. <children xsi:type="notation:Shape" xmi:id="_p-TCFAn1EeGuZq6TN7cDtg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  138. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_p-TCFQn1EeGuZq6TN7cDtg"/>
  139. </children>
  140. </children>
  141. <children xsi:type="notation:Compartment" xmi:id="_p-TpIAn1EeGuZq6TN7cDtg" type="StateFigureCompartment"/>
  142. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-SbAgn1EeGuZq6TN7cDtg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  143. <styles xsi:type="notation:FontStyle" xmi:id="_p-SbAwn1EeGuZq6TN7cDtg"/>
  144. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_p-TpIQn1EeGuZq6TN7cDtg"/>
  145. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_p-TpIgn1EeGuZq6TN7cDtg" x="116" y="63"/>
  146. </children>
  147. <children xmi:id="_DQ-AMAn2EeGuZq6TN7cDtg" type="State" element="_DQwk0An2EeGuZq6TN7cDtg">
  148. <children xsi:type="notation:DecorationNode" xmi:id="_DQ-nQAn2EeGuZq6TN7cDtg" type="StateName">
  149. <styles xsi:type="notation:ShapeStyle" xmi:id="_DQ-nQQn2EeGuZq6TN7cDtg"/>
  150. <layoutConstraint xsi:type="notation:Location" xmi:id="_DQ-nQgn2EeGuZq6TN7cDtg"/>
  151. </children>
  152. <children xsi:type="notation:Compartment" xmi:id="_DQ-nQwn2EeGuZq6TN7cDtg" type="StateTextCompartment">
  153. <children xsi:type="notation:Shape" xmi:id="_DQ-nRAn2EeGuZq6TN7cDtg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  154. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DQ-nRQn2EeGuZq6TN7cDtg"/>
  155. </children>
  156. </children>
  157. <children xsi:type="notation:Compartment" xmi:id="_DQ_OUAn2EeGuZq6TN7cDtg" type="StateFigureCompartment"/>
  158. <styles xsi:type="notation:ShapeStyle" xmi:id="_DQ-AMQn2EeGuZq6TN7cDtg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  159. <styles xsi:type="notation:FontStyle" xmi:id="_DQ-AMgn2EeGuZq6TN7cDtg"/>
  160. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_DQ_OUQn2EeGuZq6TN7cDtg"/>
  161. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_DQ-AMwn2EeGuZq6TN7cDtg" x="329" y="34" width="192"/>
  162. </children>
  163. <children xmi:id="_N8RsUAn2EeGuZq6TN7cDtg" type="State" element="_N8IiYAn2EeGuZq6TN7cDtg">
  164. <children xsi:type="notation:DecorationNode" xmi:id="_N8STYAn2EeGuZq6TN7cDtg" type="StateName">
  165. <styles xsi:type="notation:ShapeStyle" xmi:id="_N8STYQn2EeGuZq6TN7cDtg"/>
  166. <layoutConstraint xsi:type="notation:Location" xmi:id="_N8STYgn2EeGuZq6TN7cDtg"/>
  167. </children>
  168. <children xsi:type="notation:Compartment" xmi:id="_N8S6cAn2EeGuZq6TN7cDtg" type="StateTextCompartment">
  169. <children xsi:type="notation:Shape" xmi:id="_N8S6cQn2EeGuZq6TN7cDtg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  170. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N8S6cgn2EeGuZq6TN7cDtg"/>
  171. </children>
  172. </children>
  173. <children xsi:type="notation:Compartment" xmi:id="_N8S6cwn2EeGuZq6TN7cDtg" type="StateFigureCompartment"/>
  174. <styles xsi:type="notation:ShapeStyle" xmi:id="_N8RsUQn2EeGuZq6TN7cDtg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  175. <styles xsi:type="notation:FontStyle" xmi:id="_N8RsUgn2EeGuZq6TN7cDtg"/>
  176. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_N8ThgAn2EeGuZq6TN7cDtg"/>
  177. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_N8RsUwn2EeGuZq6TN7cDtg" x="336" y="183"/>
  178. </children>
  179. <children xmi:id="_b7G-sAn2EeGuZq6TN7cDtg" type="State" element="_b6-b0An2EeGuZq6TN7cDtg">
  180. <children xsi:type="notation:DecorationNode" xmi:id="_b7HlwAn2EeGuZq6TN7cDtg" type="StateName">
  181. <styles xsi:type="notation:ShapeStyle" xmi:id="_b7HlwQn2EeGuZq6TN7cDtg"/>
  182. <layoutConstraint xsi:type="notation:Location" xmi:id="_b7Hlwgn2EeGuZq6TN7cDtg"/>
  183. </children>
  184. <children xsi:type="notation:Compartment" xmi:id="_b7Hlwwn2EeGuZq6TN7cDtg" type="StateTextCompartment">
  185. <children xsi:type="notation:Shape" xmi:id="_b7HlxAn2EeGuZq6TN7cDtg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  186. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_b7HlxQn2EeGuZq6TN7cDtg"/>
  187. </children>
  188. </children>
  189. <children xsi:type="notation:Compartment" xmi:id="_b7Hlxgn2EeGuZq6TN7cDtg" type="StateFigureCompartment"/>
  190. <styles xsi:type="notation:ShapeStyle" xmi:id="_b7G-sQn2EeGuZq6TN7cDtg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  191. <styles xsi:type="notation:FontStyle" xmi:id="_b7G-sgn2EeGuZq6TN7cDtg"/>
  192. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_b7IM0An2EeGuZq6TN7cDtg"/>
  193. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_b7G-swn2EeGuZq6TN7cDtg" x="34" y="268"/>
  194. </children>
  195. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_p-Ql0Qn1EeGuZq6TN7cDtg"/>
  196. </children>
  197. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-OJkQn1EeGuZq6TN7cDtg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  198. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_p-RM4An1EeGuZq6TN7cDtg" x="220" y="10" width="651" height="400"/>
  199. </children>
  200. <children xsi:type="notation:Shape" xmi:id="_p-VeUwn1EeGuZq6TN7cDtg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  201. <children xsi:type="notation:DecorationNode" xmi:id="_p-WFYAn1EeGuZq6TN7cDtg" type="StatechartName">
  202. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-WFYQn1EeGuZq6TN7cDtg"/>
  203. <layoutConstraint xsi:type="notation:Location" xmi:id="_p-WFYgn1EeGuZq6TN7cDtg"/>
  204. </children>
  205. <children xsi:type="notation:Shape" xmi:id="_p-WFYwn1EeGuZq6TN7cDtg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  206. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_p-WFZAn1EeGuZq6TN7cDtg"/>
  207. </children>
  208. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_p-WscAn1EeGuZq6TN7cDtg" x="5" y="10" width="200" height="400"/>
  209. </children>
  210. <styles xsi:type="notation:DiagramStyle" xmi:id="_p-LtUQn1EeGuZq6TN7cDtg"/>
  211. <edges xmi:id="_p-U3QAn1EeGuZq6TN7cDtg" type="Transition" element="_p-TpIwn1EeGuZq6TN7cDtg" source="_p-RM4gn1EeGuZq6TN7cDtg" target="_p-SbAQn1EeGuZq6TN7cDtg">
  212. <children xsi:type="notation:DecorationNode" xmi:id="_p-VeUAn1EeGuZq6TN7cDtg" type="TransitionExpression">
  213. <styles xsi:type="notation:ShapeStyle" xmi:id="_p-VeUQn1EeGuZq6TN7cDtg"/>
  214. <layoutConstraint xsi:type="notation:Location" xmi:id="_p-VeUgn1EeGuZq6TN7cDtg" y="40"/>
  215. </children>
  216. <styles xsi:type="notation:ConnectorStyle" xmi:id="_p-U3QQn1EeGuZq6TN7cDtg" lineColor="4210752"/>
  217. <styles xsi:type="notation:FontStyle" xmi:id="_p-U3Qwn1EeGuZq6TN7cDtg" fontName="Verdana"/>
  218. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_p-U3Qgn1EeGuZq6TN7cDtg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  219. </edges>
  220. <edges xmi:id="_Fp3KMAn2EeGuZq6TN7cDtg" type="Transition" element="_Fp0t8An2EeGuZq6TN7cDtg" source="_p-SbAQn1EeGuZq6TN7cDtg" target="_DQ-AMAn2EeGuZq6TN7cDtg">
  221. <children xsi:type="notation:DecorationNode" xmi:id="_Fp3xQQn2EeGuZq6TN7cDtg" type="TransitionExpression">
  222. <styles xsi:type="notation:ShapeStyle" xmi:id="_Fp3xQgn2EeGuZq6TN7cDtg"/>
  223. <layoutConstraint xsi:type="notation:Location" xmi:id="_Fp3xQwn2EeGuZq6TN7cDtg" x="-2" y="-15"/>
  224. </children>
  225. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Fp3KMQn2EeGuZq6TN7cDtg" lineColor="4210752"/>
  226. <styles xsi:type="notation:FontStyle" xmi:id="_Fp3xQAn2EeGuZq6TN7cDtg" fontName="Verdana"/>
  227. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Fp3KMgn2EeGuZq6TN7cDtg" points="[25, -6, -175, -6]$[202, -31, 2, -31]"/>
  228. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_KAl9MArjEeGz3Ki5JUYy2w" id="(0.03125,0.42857142857142855)"/>
  229. </edges>
  230. <edges xmi:id="_IdwOIAn2EeGuZq6TN7cDtg" type="Transition" element="_IduY8An2EeGuZq6TN7cDtg" source="_DQ-AMAn2EeGuZq6TN7cDtg" target="_p-SbAQn1EeGuZq6TN7cDtg">
  231. <children xsi:type="notation:DecorationNode" xmi:id="_Idw1MQn2EeGuZq6TN7cDtg" type="TransitionExpression">
  232. <styles xsi:type="notation:ShapeStyle" xmi:id="_Idw1Mgn2EeGuZq6TN7cDtg"/>
  233. <layoutConstraint xsi:type="notation:Location" xmi:id="_Idw1Mwn2EeGuZq6TN7cDtg" x="3" y="-9"/>
  234. </children>
  235. <styles xsi:type="notation:ConnectorStyle" xmi:id="_IdwOIQn2EeGuZq6TN7cDtg" lineColor="4210752"/>
  236. <styles xsi:type="notation:FontStyle" xmi:id="_Idw1MAn2EeGuZq6TN7cDtg" fontName="Verdana"/>
  237. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_IdwOIgn2EeGuZq6TN7cDtg" points="[-24, 2, 155, -13]$[-175, 14, 4, -1]"/>
  238. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_L_i54An2EeGuZq6TN7cDtg" id="(0.02040816326530612,0.7619047619047619)"/>
  239. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_LZZf4An2EeGuZq6TN7cDtg" id="(0.9183673469387755,0.7301587301587301)"/>
  240. </edges>
  241. <edges xmi:id="_Wx-hsAn2EeGuZq6TN7cDtg" type="Transition" element="_Wx7eYAn2EeGuZq6TN7cDtg" source="_p-SbAQn1EeGuZq6TN7cDtg" target="_N8RsUAn2EeGuZq6TN7cDtg">
  242. <children xsi:type="notation:DecorationNode" xmi:id="_Wx_IwAn2EeGuZq6TN7cDtg" type="TransitionExpression">
  243. <styles xsi:type="notation:ShapeStyle" xmi:id="_Wx_IwQn2EeGuZq6TN7cDtg"/>
  244. <layoutConstraint xsi:type="notation:Location" xmi:id="_Wx_Iwgn2EeGuZq6TN7cDtg" x="73" y="-34"/>
  245. </children>
  246. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Wx-hsQn2EeGuZq6TN7cDtg" lineColor="4210752"/>
  247. <styles xsi:type="notation:FontStyle" xmi:id="_Wx-hswn2EeGuZq6TN7cDtg" fontName="Verdana"/>
  248. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Wx-hsgn2EeGuZq6TN7cDtg" points="[25, 15, -173, -105]$[176, 110, -22, -10]"/>
  249. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Wy7j8An2EeGuZq6TN7cDtg" id="(0.15384615384615385,0.1746031746031746)"/>
  250. </edges>
  251. <edges xmi:id="_aUowIAn2EeGuZq6TN7cDtg" type="Transition" element="_aUmT4An2EeGuZq6TN7cDtg" source="_N8RsUAn2EeGuZq6TN7cDtg" target="_p-SbAQn1EeGuZq6TN7cDtg">
  252. <children xsi:type="notation:DecorationNode" xmi:id="_aUowJAn2EeGuZq6TN7cDtg" type="TransitionExpression">
  253. <styles xsi:type="notation:ShapeStyle" xmi:id="_aUowJQn2EeGuZq6TN7cDtg"/>
  254. <layoutConstraint xsi:type="notation:Location" xmi:id="_aUpXMAn2EeGuZq6TN7cDtg" x="4" y="-16"/>
  255. </children>
  256. <styles xsi:type="notation:ConnectorStyle" xmi:id="_aUowIQn2EeGuZq6TN7cDtg" lineColor="4210752"/>
  257. <styles xsi:type="notation:FontStyle" xmi:id="_aUowIwn2EeGuZq6TN7cDtg" fontName="Verdana"/>
  258. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_aUowIgn2EeGuZq6TN7cDtg" points="[-9, -6, 180, 106]$[-194, -97, -5, 15]"/>
  259. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_aVlLUAn2EeGuZq6TN7cDtg" id="(0.06293706293706294,0.31746031746031744)"/>
  260. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_aVlLUQn2EeGuZq6TN7cDtg" id="(0.40816326530612246,0.7619047619047619)"/>
  261. </edges>
  262. <edges xmi:id="_dQs4oAn2EeGuZq6TN7cDtg" type="Transition" element="_dQp1UAn2EeGuZq6TN7cDtg" source="_p-SbAQn1EeGuZq6TN7cDtg" target="_b7G-sAn2EeGuZq6TN7cDtg">
  263. <children xsi:type="notation:DecorationNode" xmi:id="_dQtfsQn2EeGuZq6TN7cDtg" type="TransitionExpression">
  264. <styles xsi:type="notation:ShapeStyle" xmi:id="_dQtfsgn2EeGuZq6TN7cDtg"/>
  265. <layoutConstraint xsi:type="notation:Location" xmi:id="_dQtfswn2EeGuZq6TN7cDtg" x="76" y="-83"/>
  266. </children>
  267. <styles xsi:type="notation:ConnectorStyle" xmi:id="_dQs4oQn2EeGuZq6TN7cDtg" lineColor="4210752"/>
  268. <styles xsi:type="notation:FontStyle" xmi:id="_dQtfsAn2EeGuZq6TN7cDtg" fontName="Verdana"/>
  269. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dQs4ogn2EeGuZq6TN7cDtg" points="[4, 32, -15, -195]$[28, 196, 9, -31]"/>
  270. </edges>
  271. <edges xmi:id="_ezgIIAn2EeGuZq6TN7cDtg" type="Transition" element="_ezdE0An2EeGuZq6TN7cDtg" source="_b7G-sAn2EeGuZq6TN7cDtg" target="_p-SbAQn1EeGuZq6TN7cDtg">
  272. <children xsi:type="notation:DecorationNode" xmi:id="_ezgIJAn2EeGuZq6TN7cDtg" type="TransitionExpression">
  273. <styles xsi:type="notation:ShapeStyle" xmi:id="_ezgIJQn2EeGuZq6TN7cDtg"/>
  274. <layoutConstraint xsi:type="notation:Location" xmi:id="_ezgIJgn2EeGuZq6TN7cDtg" x="1" y="-24"/>
  275. </children>
  276. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ezgIIQn2EeGuZq6TN7cDtg" lineColor="4210752"/>
  277. <styles xsi:type="notation:FontStyle" xmi:id="_ezgIIwn2EeGuZq6TN7cDtg" fontName="Verdana"/>
  278. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ezgIIgn2EeGuZq6TN7cDtg" points="[-3, -23, 18, 198]$[-27, -222, -6, -1]"/>
  279. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_e0iC4An2EeGuZq6TN7cDtg" id="(0.16326530612244897,0.36507936507936506)"/>
  280. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_e0iC4Qn2EeGuZq6TN7cDtg" id="(0.12244897959183673,0.4603174603174603)"/>
  281. </edges>
  282. </notation:Diagram>
  283. </xmi:XMI>