Test_Expression.sct 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269
  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="_wXk3MAuIEeGVgpgRVT1uXw" name="Test_Expression" expression="interface:&#xA;in event event1 : integer&#xA;out event event2 : real&#xA;var var1 : integer = 6&#xA;var var2 : integer = 123&#xA;var var3 : real = 19.4&#xA;var var4 : real = 43.3&#xA;var var5 : boolean = false&#xA;&#xA;interface other:&#xA;var var1 : boolean&#xA;var var2 : real&#xA;var var3 : integer&#xA;&#xA;&#xA;">
  4. <scopes xsi:type="stext:InterfaceScope" xmi:id="_0CkKIBy-EeGM3fgW4NKLkw">
  5. <declarations xsi:type="stext:EventDefinition" xmi:id="_0CkKIRy-EeGM3fgW4NKLkw" name="event1" direction="in" type="integer"/>
  6. <declarations xsi:type="stext:EventDefinition" xmi:id="_0CkKIhy-EeGM3fgW4NKLkw" name="event2" direction="out" type="real"/>
  7. <declarations xsi:type="stext:VariableDefinition" xmi:id="_0CkKIxy-EeGM3fgW4NKLkw" name="var1" type="integer">
  8. <initialValue xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CkKJBy-EeGM3fgW4NKLkw">
  9. <value xsi:type="stext:IntLiteral" xmi:id="_0CkKJRy-EeGM3fgW4NKLkw" value="6"/>
  10. </initialValue>
  11. </declarations>
  12. <declarations xsi:type="stext:VariableDefinition" xmi:id="_0CkKJhy-EeGM3fgW4NKLkw" name="var2" type="integer">
  13. <initialValue xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CkKJxy-EeGM3fgW4NKLkw">
  14. <value xsi:type="stext:IntLiteral" xmi:id="_0CkKKBy-EeGM3fgW4NKLkw" value="123"/>
  15. </initialValue>
  16. </declarations>
  17. <declarations xsi:type="stext:VariableDefinition" xmi:id="_0CkKKRy-EeGM3fgW4NKLkw" name="var3" type="real">
  18. <initialValue xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CkKKhy-EeGM3fgW4NKLkw">
  19. <value xsi:type="stext:RealLiteral" xmi:id="_0CkKKxy-EeGM3fgW4NKLkw" value="19.4"/>
  20. </initialValue>
  21. </declarations>
  22. <declarations xsi:type="stext:VariableDefinition" xmi:id="_0CkKLBy-EeGM3fgW4NKLkw" name="var4" type="real">
  23. <initialValue xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CkKLRy-EeGM3fgW4NKLkw">
  24. <value xsi:type="stext:RealLiteral" xmi:id="_0CkKLhy-EeGM3fgW4NKLkw" value="43.3"/>
  25. </initialValue>
  26. </declarations>
  27. <declarations xsi:type="stext:VariableDefinition" xmi:id="_0CkKLxy-EeGM3fgW4NKLkw" name="var5" type="boolean">
  28. <initialValue xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CkKMBy-EeGM3fgW4NKLkw">
  29. <value xsi:type="stext:BoolLiteral" xmi:id="_0CkKMRy-EeGM3fgW4NKLkw"/>
  30. </initialValue>
  31. </declarations>
  32. </scopes>
  33. <scopes xsi:type="stext:InterfaceScope" xmi:id="_0CkKMhy-EeGM3fgW4NKLkw" name="other">
  34. <declarations xsi:type="stext:VariableDefinition" xmi:id="_0CkKMxy-EeGM3fgW4NKLkw" name="var1" type="boolean"/>
  35. <declarations xsi:type="stext:VariableDefinition" xmi:id="_0CkKNBy-EeGM3fgW4NKLkw" name="var2" type="real"/>
  36. <declarations xsi:type="stext:VariableDefinition" xmi:id="_0CkKNRy-EeGM3fgW4NKLkw" name="var3" type="integer"/>
  37. </scopes>
  38. <regions xmi:id="_wXmFUguIEeGVgpgRVT1uXw" name="main region">
  39. <vertices xsi:type="sgraph:Entry" xmi:id="_wXpIoQuIEeGVgpgRVT1uXw">
  40. <outgoingTransitions xmi:id="_wXrk4wuIEeGVgpgRVT1uXw" target="_wXqWwAuIEeGVgpgRVT1uXw"/>
  41. </vertices>
  42. <vertices xsi:type="sgraph:State" xmi:id="_wXqWwAuIEeGVgpgRVT1uXw" expression="entry / var3 += var2 * var3;&#xA;exit / var2 = 1;&#xA;exit / var4 = 22.3;" name="state1" incomingTransitions="_wXrk4wuIEeGVgpgRVT1uXw _foN2kAuLEeGVgpgRVT1uXw">
  43. <scopes xmi:id="_0CkxMBy-EeGM3fgW4NKLkw">
  44. <declarations xsi:type="stext:LocalReaction" xmi:id="_0CkxMRy-EeGM3fgW4NKLkw">
  45. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_0CkxMhy-EeGM3fgW4NKLkw">
  46. <triggers xsi:type="stext:EntryEvent" xmi:id="_0CkxMxy-EeGM3fgW4NKLkw"/>
  47. </trigger>
  48. <effect xsi:type="stext:ReactionEffect" xmi:id="_0CkxNBy-EeGM3fgW4NKLkw">
  49. <actions xsi:type="stext:Assignment" xmi:id="_0CkxNRy-EeGM3fgW4NKLkw" varRef="_0CkKKRy-EeGM3fgW4NKLkw" operator="+=">
  50. <expression xsi:type="stext:NumericalMultiplyDivideExpression" xmi:id="_0CkxNhy-EeGM3fgW4NKLkw">
  51. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_0CkxNxy-EeGM3fgW4NKLkw" value="_0CkKJhy-EeGM3fgW4NKLkw"/>
  52. <rightOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_0CkxOBy-EeGM3fgW4NKLkw" value="_0CkKKRy-EeGM3fgW4NKLkw"/>
  53. </expression>
  54. </actions>
  55. </effect>
  56. </declarations>
  57. <declarations xsi:type="stext:LocalReaction" xmi:id="_0CkxORy-EeGM3fgW4NKLkw">
  58. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_0CkxOhy-EeGM3fgW4NKLkw">
  59. <triggers xsi:type="stext:ExitEvent" xmi:id="_0CkxOxy-EeGM3fgW4NKLkw"/>
  60. </trigger>
  61. <effect xsi:type="stext:ReactionEffect" xmi:id="_0CkxPBy-EeGM3fgW4NKLkw">
  62. <actions xsi:type="stext:Assignment" xmi:id="_0CkxPRy-EeGM3fgW4NKLkw" varRef="_0CkKJhy-EeGM3fgW4NKLkw">
  63. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CkxPhy-EeGM3fgW4NKLkw">
  64. <value xsi:type="stext:IntLiteral" xmi:id="_0CkxPxy-EeGM3fgW4NKLkw" value="1"/>
  65. </expression>
  66. </actions>
  67. </effect>
  68. </declarations>
  69. <declarations xsi:type="stext:LocalReaction" xmi:id="_0CkxQBy-EeGM3fgW4NKLkw">
  70. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_0CkxQRy-EeGM3fgW4NKLkw">
  71. <triggers xsi:type="stext:ExitEvent" xmi:id="_0CkxQhy-EeGM3fgW4NKLkw"/>
  72. </trigger>
  73. <effect xsi:type="stext:ReactionEffect" xmi:id="_0CkxQxy-EeGM3fgW4NKLkw">
  74. <actions xsi:type="stext:Assignment" xmi:id="_0CkxRBy-EeGM3fgW4NKLkw" varRef="_0CkKLBy-EeGM3fgW4NKLkw">
  75. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CkxRRy-EeGM3fgW4NKLkw">
  76. <value xsi:type="stext:RealLiteral" xmi:id="_0CkxRhy-EeGM3fgW4NKLkw" value="22.3"/>
  77. </expression>
  78. </actions>
  79. </effect>
  80. </declarations>
  81. </scopes>
  82. <outgoingTransitions xmi:id="_ep-FoAuLEeGVgpgRVT1uXw" expression="event1[ (other.var1 == true ) || (var5 == false) ] / other.var1 = false;" target="_dUv_IAuLEeGVgpgRVT1uXw">
  83. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_0CpCoBy-EeGM3fgW4NKLkw">
  84. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_0CpCoRy-EeGM3fgW4NKLkw" event="_0CkKIRy-EeGM3fgW4NKLkw"/>
  85. <guardExpression xsi:type="stext:LogicalOrExpression" xmi:id="_0CpCohy-EeGM3fgW4NKLkw">
  86. <leftOperand xsi:type="stext:LogicalRelationExpression" xmi:id="_0CpCoxy-EeGM3fgW4NKLkw" operator="==">
  87. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_0CpCpBy-EeGM3fgW4NKLkw" value="_0CkKMxy-EeGM3fgW4NKLkw"/>
  88. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CpCpRy-EeGM3fgW4NKLkw">
  89. <value xsi:type="stext:BoolLiteral" xmi:id="_0CpCphy-EeGM3fgW4NKLkw" value="true"/>
  90. </rightOperand>
  91. </leftOperand>
  92. <rightOperand xsi:type="stext:LogicalRelationExpression" xmi:id="_0CpCpxy-EeGM3fgW4NKLkw" operator="==">
  93. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_0CpCqBy-EeGM3fgW4NKLkw" value="_0CkKLxy-EeGM3fgW4NKLkw"/>
  94. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CpCqRy-EeGM3fgW4NKLkw">
  95. <value xsi:type="stext:BoolLiteral" xmi:id="_0CpCqhy-EeGM3fgW4NKLkw"/>
  96. </rightOperand>
  97. </rightOperand>
  98. </guardExpression>
  99. </trigger>
  100. <effect xsi:type="stext:ReactionEffect" xmi:id="_0CpCqxy-EeGM3fgW4NKLkw">
  101. <actions xsi:type="stext:Assignment" xmi:id="_0CpCrBy-EeGM3fgW4NKLkw" varRef="_0CkKMxy-EeGM3fgW4NKLkw">
  102. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CpCrRy-EeGM3fgW4NKLkw">
  103. <value xsi:type="stext:BoolLiteral" xmi:id="_0CpCrhy-EeGM3fgW4NKLkw"/>
  104. </expression>
  105. </actions>
  106. </effect>
  107. </outgoingTransitions>
  108. </vertices>
  109. <vertices xsi:type="sgraph:State" xmi:id="_dUv_IAuLEeGVgpgRVT1uXw" expression="entry / var3 /= 5;&#xA;entry / var1 += 1;&#xA;oncycle / var1 += 1;" name="state2" incomingTransitions="_ep-FoAuLEeGVgpgRVT1uXw">
  110. <scopes xmi:id="_0CstABy-EeGM3fgW4NKLkw">
  111. <declarations xsi:type="stext:LocalReaction" xmi:id="_0CstARy-EeGM3fgW4NKLkw">
  112. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_0CstAhy-EeGM3fgW4NKLkw">
  113. <triggers xsi:type="stext:EntryEvent" xmi:id="_0CstAxy-EeGM3fgW4NKLkw"/>
  114. </trigger>
  115. <effect xsi:type="stext:ReactionEffect" xmi:id="_0CstBBy-EeGM3fgW4NKLkw">
  116. <actions xsi:type="stext:Assignment" xmi:id="_0CstBRy-EeGM3fgW4NKLkw" varRef="_0CkKKRy-EeGM3fgW4NKLkw" operator="/=">
  117. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CstBhy-EeGM3fgW4NKLkw">
  118. <value xsi:type="stext:IntLiteral" xmi:id="_0CstBxy-EeGM3fgW4NKLkw" value="5"/>
  119. </expression>
  120. </actions>
  121. </effect>
  122. </declarations>
  123. <declarations xsi:type="stext:LocalReaction" xmi:id="_0CstCBy-EeGM3fgW4NKLkw">
  124. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_0CstCRy-EeGM3fgW4NKLkw">
  125. <triggers xsi:type="stext:EntryEvent" xmi:id="_0CstChy-EeGM3fgW4NKLkw"/>
  126. </trigger>
  127. <effect xsi:type="stext:ReactionEffect" xmi:id="_0CstCxy-EeGM3fgW4NKLkw">
  128. <actions xsi:type="stext:Assignment" xmi:id="_0CstDBy-EeGM3fgW4NKLkw" varRef="_0CkKIxy-EeGM3fgW4NKLkw" operator="+=">
  129. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CstDRy-EeGM3fgW4NKLkw">
  130. <value xsi:type="stext:IntLiteral" xmi:id="_0CstDhy-EeGM3fgW4NKLkw" value="1"/>
  131. </expression>
  132. </actions>
  133. </effect>
  134. </declarations>
  135. <declarations xsi:type="stext:LocalReaction" xmi:id="_0CstDxy-EeGM3fgW4NKLkw">
  136. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_0CstEBy-EeGM3fgW4NKLkw">
  137. <triggers xsi:type="stext:OnCycleEvent" xmi:id="_0CstERy-EeGM3fgW4NKLkw"/>
  138. </trigger>
  139. <effect xsi:type="stext:ReactionEffect" xmi:id="_0CstEhy-EeGM3fgW4NKLkw">
  140. <actions xsi:type="stext:Assignment" xmi:id="_0CstExy-EeGM3fgW4NKLkw" varRef="_0CkKIxy-EeGM3fgW4NKLkw" operator="+=">
  141. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CstFBy-EeGM3fgW4NKLkw">
  142. <value xsi:type="stext:IntLiteral" xmi:id="_0CstFRy-EeGM3fgW4NKLkw" value="1"/>
  143. </expression>
  144. </actions>
  145. </effect>
  146. </declarations>
  147. </scopes>
  148. <outgoingTransitions xmi:id="_foN2kAuLEeGVgpgRVT1uXw" expression="event1[var3 > 0] / var5 = true;" target="_wXqWwAuIEeGVgpgRVT1uXw">
  149. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_0CvwUBy-EeGM3fgW4NKLkw">
  150. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_0CvwURy-EeGM3fgW4NKLkw" event="_0CkKIRy-EeGM3fgW4NKLkw"/>
  151. <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_0CvwUhy-EeGM3fgW4NKLkw" operator=">">
  152. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_0CvwUxy-EeGM3fgW4NKLkw" value="_0CkKKRy-EeGM3fgW4NKLkw"/>
  153. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CvwVBy-EeGM3fgW4NKLkw">
  154. <value xsi:type="stext:IntLiteral" xmi:id="_0CvwVRy-EeGM3fgW4NKLkw"/>
  155. </rightOperand>
  156. </guardExpression>
  157. </trigger>
  158. <effect xsi:type="stext:ReactionEffect" xmi:id="_0CvwVhy-EeGM3fgW4NKLkw">
  159. <actions xsi:type="stext:Assignment" xmi:id="_0CvwVxy-EeGM3fgW4NKLkw" varRef="_0CkKLxy-EeGM3fgW4NKLkw">
  160. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_0CvwWBy-EeGM3fgW4NKLkw">
  161. <value xsi:type="stext:BoolLiteral" xmi:id="_0CvwWRy-EeGM3fgW4NKLkw" value="true"/>
  162. </expression>
  163. </actions>
  164. </effect>
  165. </outgoingTransitions>
  166. </vertices>
  167. </regions>
  168. </sgraph:Statechart>
  169. <notation:Diagram xmi:id="_wXmFUAuIEeGVgpgRVT1uXw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_wXk3MAuIEeGVgpgRVT1uXw" measurementUnit="Pixel">
  170. <children xmi:id="_wXnTcAuIEeGVgpgRVT1uXw" type="Region" element="_wXmFUguIEeGVgpgRVT1uXw">
  171. <children xsi:type="notation:DecorationNode" xmi:id="_wXohkAuIEeGVgpgRVT1uXw" type="RegionName">
  172. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXohkQuIEeGVgpgRVT1uXw"/>
  173. <layoutConstraint xsi:type="notation:Location" xmi:id="_wXohkguIEeGVgpgRVT1uXw"/>
  174. </children>
  175. <children xsi:type="notation:Shape" xmi:id="_wXohkwuIEeGVgpgRVT1uXw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  176. <children xmi:id="_wXpIoguIEeGVgpgRVT1uXw" type="Entry" element="_wXpIoQuIEeGVgpgRVT1uXw">
  177. <children xmi:id="_wXpvsAuIEeGVgpgRVT1uXw" type="BorderItemLabelContainer">
  178. <children xsi:type="notation:DecorationNode" xmi:id="_wXpvswuIEeGVgpgRVT1uXw" type="BorderItemLabel">
  179. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXpvtAuIEeGVgpgRVT1uXw"/>
  180. <layoutConstraint xsi:type="notation:Location" xmi:id="_wXpvtQuIEeGVgpgRVT1uXw"/>
  181. </children>
  182. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXpvsQuIEeGVgpgRVT1uXw" fontName="Verdana" lineColor="4210752"/>
  183. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wXpvsguIEeGVgpgRVT1uXw"/>
  184. </children>
  185. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXpIowuIEeGVgpgRVT1uXw" fontName="Verdana" lineColor="4210752"/>
  186. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wXpvtguIEeGVgpgRVT1uXw" x="213" y="9"/>
  187. </children>
  188. <children xmi:id="_wXqWwguIEeGVgpgRVT1uXw" type="State" element="_wXqWwAuIEeGVgpgRVT1uXw">
  189. <children xsi:type="notation:DecorationNode" xmi:id="_wXq90AuIEeGVgpgRVT1uXw" type="StateName">
  190. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXq90QuIEeGVgpgRVT1uXw"/>
  191. <layoutConstraint xsi:type="notation:Location" xmi:id="_wXq90guIEeGVgpgRVT1uXw"/>
  192. </children>
  193. <children xsi:type="notation:Compartment" xmi:id="_wXq90wuIEeGVgpgRVT1uXw" type="StateTextCompartment">
  194. <children xsi:type="notation:Shape" xmi:id="_wXq91AuIEeGVgpgRVT1uXw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  195. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wXq91QuIEeGVgpgRVT1uXw"/>
  196. </children>
  197. </children>
  198. <children xsi:type="notation:Compartment" xmi:id="_wXrk4AuIEeGVgpgRVT1uXw" type="StateFigureCompartment" collapsed="true"/>
  199. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXqWwwuIEeGVgpgRVT1uXw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  200. <styles xsi:type="notation:FontStyle" xmi:id="_wXqWxAuIEeGVgpgRVT1uXw"/>
  201. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_wXrk4QuIEeGVgpgRVT1uXw"/>
  202. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wXrk4guIEeGVgpgRVT1uXw" x="121" y="49"/>
  203. </children>
  204. <children xmi:id="_dU-ooAuLEeGVgpgRVT1uXw" type="State" element="_dUv_IAuLEeGVgpgRVT1uXw">
  205. <children xsi:type="notation:DecorationNode" xmi:id="_dU_PsAuLEeGVgpgRVT1uXw" type="StateName">
  206. <styles xsi:type="notation:ShapeStyle" xmi:id="_dU_PsQuLEeGVgpgRVT1uXw"/>
  207. <layoutConstraint xsi:type="notation:Location" xmi:id="_dU_PsguLEeGVgpgRVT1uXw"/>
  208. </children>
  209. <children xsi:type="notation:Compartment" xmi:id="_dU_PswuLEeGVgpgRVT1uXw" type="StateTextCompartment">
  210. <children xsi:type="notation:Shape" xmi:id="_dU_PtAuLEeGVgpgRVT1uXw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  211. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dU_PtQuLEeGVgpgRVT1uXw"/>
  212. </children>
  213. </children>
  214. <children xsi:type="notation:Compartment" xmi:id="_dU_PtguLEeGVgpgRVT1uXw" type="StateFigureCompartment"/>
  215. <styles xsi:type="notation:ShapeStyle" xmi:id="_dU-ooQuLEeGVgpgRVT1uXw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  216. <styles xsi:type="notation:FontStyle" xmi:id="_dU-ooguLEeGVgpgRVT1uXw"/>
  217. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_dU_2wAuLEeGVgpgRVT1uXw"/>
  218. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_dU-oowuLEeGVgpgRVT1uXw" x="147" y="209"/>
  219. </children>
  220. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wXohlAuIEeGVgpgRVT1uXw"/>
  221. </children>
  222. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXnTcQuIEeGVgpgRVT1uXw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  223. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wXpIoAuIEeGVgpgRVT1uXw" x="220" y="5" width="706" height="405"/>
  224. </children>
  225. <children xsi:type="notation:Shape" xmi:id="_wXtaEwuIEeGVgpgRVT1uXw" type="StatechartText" fontName="Verdana" lineColor="4210752">
  226. <children xsi:type="notation:DecorationNode" xmi:id="_wXuBIAuIEeGVgpgRVT1uXw" type="StatechartName">
  227. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXuBIQuIEeGVgpgRVT1uXw"/>
  228. <layoutConstraint xsi:type="notation:Location" xmi:id="_wXuBIguIEeGVgpgRVT1uXw"/>
  229. </children>
  230. <children xsi:type="notation:Shape" xmi:id="_wXuBIwuIEeGVgpgRVT1uXw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  231. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wXuBJAuIEeGVgpgRVT1uXw"/>
  232. </children>
  233. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wXuBJQuIEeGVgpgRVT1uXw" x="10" y="10" width="200" height="400"/>
  234. </children>
  235. <styles xsi:type="notation:DiagramStyle" xmi:id="_wXmFUQuIEeGVgpgRVT1uXw"/>
  236. <edges xmi:id="_wXszAAuIEeGVgpgRVT1uXw" type="Transition" element="_wXrk4wuIEeGVgpgRVT1uXw" source="_wXpIoguIEeGVgpgRVT1uXw" target="_wXqWwguIEeGVgpgRVT1uXw">
  237. <children xsi:type="notation:DecorationNode" xmi:id="_wXtaEAuIEeGVgpgRVT1uXw" type="TransitionExpression">
  238. <styles xsi:type="notation:ShapeStyle" xmi:id="_wXtaEQuIEeGVgpgRVT1uXw"/>
  239. <layoutConstraint xsi:type="notation:Location" xmi:id="_wXtaEguIEeGVgpgRVT1uXw" y="40"/>
  240. </children>
  241. <styles xsi:type="notation:ConnectorStyle" xmi:id="_wXszAQuIEeGVgpgRVT1uXw" lineColor="4210752"/>
  242. <styles xsi:type="notation:FontStyle" xmi:id="_wXszAwuIEeGVgpgRVT1uXw" fontName="Verdana"/>
  243. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_wXszAguIEeGVgpgRVT1uXw" points="[7, 3, -136, -63]$[47, 22, -96, -44]"/>
  244. </edges>
  245. <edges xmi:id="_eqGogAuLEeGVgpgRVT1uXw" type="Transition" element="_ep-FoAuLEeGVgpgRVT1uXw" source="_wXqWwguIEeGVgpgRVT1uXw" target="_dU-ooAuLEeGVgpgRVT1uXw">
  246. <children xsi:type="notation:DecorationNode" xmi:id="_eqHPkAuLEeGVgpgRVT1uXw" type="TransitionExpression">
  247. <styles xsi:type="notation:ShapeStyle" xmi:id="_eqHPkQuLEeGVgpgRVT1uXw"/>
  248. <layoutConstraint xsi:type="notation:Location" xmi:id="_eqHPkguLEeGVgpgRVT1uXw" x="32" y="-222"/>
  249. </children>
  250. <styles xsi:type="notation:ConnectorStyle" xmi:id="_eqGogQuLEeGVgpgRVT1uXw" lineColor="4210752"/>
  251. <styles xsi:type="notation:FontStyle" xmi:id="_eqGogwuLEeGVgpgRVT1uXw" fontName="Verdana"/>
  252. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_eqGogguLEeGVgpgRVT1uXw" points="[3, 32, -13, -123]$[5, 160, -11, 5]"/>
  253. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-CuLgBQuEeGt3dzsSIW24Q" id="(0.5477386934673367,0.9662921348314607)"/>
  254. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_erE44AuLEeGVgpgRVT1uXw" id="(0.6216216216216216,0.19101123595505617)"/>
  255. </edges>
  256. <edges xmi:id="_foWZcAuLEeGVgpgRVT1uXw" type="Transition" element="_foN2kAuLEeGVgpgRVT1uXw" source="_dU-ooAuLEeGVgpgRVT1uXw" target="_wXqWwguIEeGVgpgRVT1uXw">
  257. <children xsi:type="notation:DecorationNode" xmi:id="_foXAgAuLEeGVgpgRVT1uXw" type="TransitionExpression">
  258. <styles xsi:type="notation:ShapeStyle" xmi:id="_foXAgQuLEeGVgpgRVT1uXw"/>
  259. <layoutConstraint xsi:type="notation:Location" xmi:id="_foXAgguLEeGVgpgRVT1uXw" y="-106"/>
  260. </children>
  261. <styles xsi:type="notation:ConnectorStyle" xmi:id="_foWZcQuLEeGVgpgRVT1uXw" lineColor="4210752"/>
  262. <styles xsi:type="notation:FontStyle" xmi:id="_foWZcwuLEeGVgpgRVT1uXw" fontName="Verdana"/>
  263. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_foWZcguLEeGVgpgRVT1uXw" points="[-20, -39, 53, 108]$[-72, -144, 1, 3]"/>
  264. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="__1U0QAusEeGwaYhzcwLTXw" id="(0.4594594594594595,0.07865168539325842)"/>
  265. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_fpTbsAuLEeGVgpgRVT1uXw" id="(0.4371859296482412,0.9438202247191011)"/>
  266. </edges>
  267. </notation:Diagram>
  268. </xmi:XMI>