StateIsActive.sct 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186
  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="_lq1DEXjVEeGKl8JlHfi_Yg" specification="interface:&#xD;&#xA;in event Event1 : void" name="StateIsActive">
  4. <regions xmi:id="_lsG1cHjVEeGKl8JlHfi_Yg" name="R1">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_lsyx8HjVEeGKl8JlHfi_Yg">
  6. <outgoingTransitions xmi:id="_ltBbcHjVEeGKl8JlHfi_Yg" target="_ls2cUHjVEeGKl8JlHfi_Yg"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_ls2cUHjVEeGKl8JlHfi_Yg" name="R1A" incomingTransitions="_ltBbcHjVEeGKl8JlHfi_Yg">
  9. <outgoingTransitions xmi:id="_6nFakHjVEeGKl8JlHfi_Yg" specification="[active(StateIsActive.R2.R2B)]" target="_41ycEHjVEeGKl8JlHfi_Yg"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_41ycEHjVEeGKl8JlHfi_Yg" name="R1B" incomingTransitions="_6nFakHjVEeGKl8JlHfi_Yg"/>
  12. </regions>
  13. <regions xmi:id="_EF8hsHjWEeGKl8JlHfi_Yg" name="R2">
  14. <vertices xsi:type="sgraph:Entry" xmi:id="_E-U7MHjWEeGKl8JlHfi_Yg">
  15. <outgoingTransitions xmi:id="_F1MRwHjWEeGKl8JlHfi_Yg" specification="" target="_FVbzoHjWEeGKl8JlHfi_Yg"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_FVbzoHjWEeGKl8JlHfi_Yg" name="R2A" incomingTransitions="_F1MRwHjWEeGKl8JlHfi_Yg">
  18. <outgoingTransitions xmi:id="_KwaOkHjWEeGKl8JlHfi_Yg" specification="Event1" target="_Jk9IEHjWEeGKl8JlHfi_Yg"/>
  19. </vertices>
  20. <vertices xsi:type="sgraph:State" xmi:id="_Jk9IEHjWEeGKl8JlHfi_Yg" name="R2B" incomingTransitions="_KwaOkHjWEeGKl8JlHfi_Yg"/>
  21. </regions>
  22. </sgraph:Statechart>
  23. <notation:Diagram xmi:id="_lsFAQHjVEeGKl8JlHfi_Yg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_lq1DEXjVEeGKl8JlHfi_Yg" measurementUnit="Pixel">
  24. <children xmi:id="_lsRNgHjVEeGKl8JlHfi_Yg" type="Region" element="_lsG1cHjVEeGKl8JlHfi_Yg">
  25. <children xsi:type="notation:DecorationNode" xmi:id="_lstSYHjVEeGKl8JlHfi_Yg" type="RegionName">
  26. <styles xsi:type="notation:ShapeStyle" xmi:id="_lstSYXjVEeGKl8JlHfi_Yg"/>
  27. <layoutConstraint xsi:type="notation:Location" xmi:id="_lst5cHjVEeGKl8JlHfi_Yg"/>
  28. </children>
  29. <children xsi:type="notation:Shape" xmi:id="_lsvuoHjVEeGKl8JlHfi_Yg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  30. <children xmi:id="_lszZAHjVEeGKl8JlHfi_Yg" type="Entry" element="_lsyx8HjVEeGKl8JlHfi_Yg">
  31. <children xmi:id="_ls0AEHjVEeGKl8JlHfi_Yg" type="BorderItemLabelContainer">
  32. <children xsi:type="notation:DecorationNode" xmi:id="_ls0nIHjVEeGKl8JlHfi_Yg" type="BorderItemLabel">
  33. <styles xsi:type="notation:ShapeStyle" xmi:id="_ls0nIXjVEeGKl8JlHfi_Yg"/>
  34. <layoutConstraint xsi:type="notation:Location" xmi:id="_ls0nInjVEeGKl8JlHfi_Yg"/>
  35. </children>
  36. <styles xsi:type="notation:ShapeStyle" xmi:id="_ls0AEXjVEeGKl8JlHfi_Yg" fontName="Verdana" lineColor="4210752"/>
  37. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ls0AEnjVEeGKl8JlHfi_Yg"/>
  38. </children>
  39. <styles xsi:type="notation:ShapeStyle" xmi:id="_lszZAXjVEeGKl8JlHfi_Yg" fontName="Verdana" lineColor="4210752"/>
  40. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ls0nI3jVEeGKl8JlHfi_Yg" x="57" y="9"/>
  41. </children>
  42. <children xmi:id="_ls6twHjVEeGKl8JlHfi_Yg" type="State" element="_ls2cUHjVEeGKl8JlHfi_Yg">
  43. <children xsi:type="notation:DecorationNode" xmi:id="_ls7U0HjVEeGKl8JlHfi_Yg" type="StateName">
  44. <styles xsi:type="notation:ShapeStyle" xmi:id="_ls7U0XjVEeGKl8JlHfi_Yg"/>
  45. <layoutConstraint xsi:type="notation:Location" xmi:id="_ls7U0njVEeGKl8JlHfi_Yg"/>
  46. </children>
  47. <children xsi:type="notation:Compartment" xmi:id="_ls9xEHjVEeGKl8JlHfi_Yg" type="StateTextCompartment">
  48. <children xsi:type="notation:Shape" xmi:id="_ls9xEXjVEeGKl8JlHfi_Yg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  49. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ls-YIHjVEeGKl8JlHfi_Yg"/>
  50. </children>
  51. </children>
  52. <children xsi:type="notation:Compartment" xmi:id="_ls-YIXjVEeGKl8JlHfi_Yg" type="StateFigureCompartment"/>
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_ls6twXjVEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  54. <styles xsi:type="notation:FontStyle" xmi:id="_ls6twnjVEeGKl8JlHfi_Yg"/>
  55. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ls_mQHjVEeGKl8JlHfi_Yg"/>
  56. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ltANUHjVEeGKl8JlHfi_Yg" x="34" y="44" width="66"/>
  57. </children>
  58. <children xmi:id="_42FXAHjVEeGKl8JlHfi_Yg" type="State" element="_41ycEHjVEeGKl8JlHfi_Yg">
  59. <children xsi:type="notation:DecorationNode" xmi:id="_42GlIHjVEeGKl8JlHfi_Yg" type="StateName">
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_42GlIXjVEeGKl8JlHfi_Yg"/>
  61. <layoutConstraint xsi:type="notation:Location" xmi:id="_42HMMHjVEeGKl8JlHfi_Yg"/>
  62. </children>
  63. <children xsi:type="notation:Compartment" xmi:id="_42HMMXjVEeGKl8JlHfi_Yg" type="StateTextCompartment">
  64. <children xsi:type="notation:Shape" xmi:id="_42HzQHjVEeGKl8JlHfi_Yg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_42HzQXjVEeGKl8JlHfi_Yg"/>
  66. </children>
  67. </children>
  68. <children xsi:type="notation:Compartment" xmi:id="_42IaUHjVEeGKl8JlHfi_Yg" type="StateFigureCompartment"/>
  69. <styles xsi:type="notation:ShapeStyle" xmi:id="_42FXAXjVEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  70. <styles xsi:type="notation:FontStyle" xmi:id="_42FXAnjVEeGKl8JlHfi_Yg"/>
  71. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_42IaUXjVEeGKl8JlHfi_Yg"/>
  72. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_42FXA3jVEeGKl8JlHfi_Yg" x="169" y="44" width="63"/>
  73. </children>
  74. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lsvuoXjVEeGKl8JlHfi_Yg"/>
  75. </children>
  76. <styles xsi:type="notation:ShapeStyle" xmi:id="_lsRNgXjVEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  77. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lsw8wHjVEeGKl8JlHfi_Yg" x="220" y="10" width="276" height="156"/>
  78. </children>
  79. <children xsi:type="notation:Shape" xmi:id="_ltdgUHjVEeGKl8JlHfi_Yg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  80. <children xsi:type="notation:DecorationNode" xmi:id="_lteucHjVEeGKl8JlHfi_Yg" type="StatechartName">
  81. <styles xsi:type="notation:ShapeStyle" xmi:id="_lteucXjVEeGKl8JlHfi_Yg"/>
  82. <layoutConstraint xsi:type="notation:Location" xmi:id="_lteucnjVEeGKl8JlHfi_Yg"/>
  83. </children>
  84. <children xsi:type="notation:Shape" xmi:id="_lteuc3jVEeGKl8JlHfi_Yg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  85. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_lteudHjVEeGKl8JlHfi_Yg"/>
  86. </children>
  87. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ltfVgHjVEeGKl8JlHfi_Yg" x="10" y="10" width="211" height="156"/>
  88. </children>
  89. <children xmi:id="_EGCBQHjWEeGKl8JlHfi_Yg" type="Region" element="_EF8hsHjWEeGKl8JlHfi_Yg">
  90. <children xsi:type="notation:DecorationNode" xmi:id="_EGDPYHjWEeGKl8JlHfi_Yg" type="RegionName">
  91. <styles xsi:type="notation:ShapeStyle" xmi:id="_EGDPYXjWEeGKl8JlHfi_Yg"/>
  92. <layoutConstraint xsi:type="notation:Location" xmi:id="_EGDPYnjWEeGKl8JlHfi_Yg"/>
  93. </children>
  94. <children xsi:type="notation:Shape" xmi:id="_EGEdgHjWEeGKl8JlHfi_Yg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  95. <children xmi:id="_E-ky0HjWEeGKl8JlHfi_Yg" type="Entry" element="_E-U7MHjWEeGKl8JlHfi_Yg">
  96. <children xmi:id="_E-mA8HjWEeGKl8JlHfi_Yg" type="BorderItemLabelContainer">
  97. <children xsi:type="notation:DecorationNode" xmi:id="_E-moAHjWEeGKl8JlHfi_Yg" type="BorderItemLabel">
  98. <styles xsi:type="notation:ShapeStyle" xmi:id="_E-moAXjWEeGKl8JlHfi_Yg"/>
  99. <layoutConstraint xsi:type="notation:Location" xmi:id="_E-moAnjWEeGKl8JlHfi_Yg"/>
  100. </children>
  101. <styles xsi:type="notation:ShapeStyle" xmi:id="_E-mA8XjWEeGKl8JlHfi_Yg" fontName="Verdana" lineColor="4210752"/>
  102. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_E-mA8njWEeGKl8JlHfi_Yg"/>
  103. </children>
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_E-ky0XjWEeGKl8JlHfi_Yg" fontName="Verdana" lineColor="4210752"/>
  105. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_E-ky0njWEeGKl8JlHfi_Yg" x="53" y="9"/>
  106. </children>
  107. <children xmi:id="_FVyY8HjWEeGKl8JlHfi_Yg" type="State" element="_FVbzoHjWEeGKl8JlHfi_Yg">
  108. <children xsi:type="notation:DecorationNode" xmi:id="_FVznEHjWEeGKl8JlHfi_Yg" type="StateName">
  109. <styles xsi:type="notation:ShapeStyle" xmi:id="_FVznEXjWEeGKl8JlHfi_Yg"/>
  110. <layoutConstraint xsi:type="notation:Location" xmi:id="_FV0OIHjWEeGKl8JlHfi_Yg"/>
  111. </children>
  112. <children xsi:type="notation:Compartment" xmi:id="_FV0OIXjWEeGKl8JlHfi_Yg" type="StateTextCompartment">
  113. <children xsi:type="notation:Shape" xmi:id="_FV01MHjWEeGKl8JlHfi_Yg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  114. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_FV01MXjWEeGKl8JlHfi_Yg"/>
  115. </children>
  116. </children>
  117. <children xsi:type="notation:Compartment" xmi:id="_FV1cQHjWEeGKl8JlHfi_Yg" type="StateFigureCompartment"/>
  118. <styles xsi:type="notation:ShapeStyle" xmi:id="_FVyY8XjWEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  119. <styles xsi:type="notation:FontStyle" xmi:id="_FVyY8njWEeGKl8JlHfi_Yg"/>
  120. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_FV1cQXjWEeGKl8JlHfi_Yg"/>
  121. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_FVyY83jWEeGKl8JlHfi_Yg" x="29" y="52" width="69"/>
  122. </children>
  123. <children xmi:id="_JlON0HjWEeGKl8JlHfi_Yg" type="State" element="_Jk9IEHjWEeGKl8JlHfi_Yg">
  124. <children xsi:type="notation:DecorationNode" xmi:id="_JlPb8HjWEeGKl8JlHfi_Yg" type="StateName">
  125. <styles xsi:type="notation:ShapeStyle" xmi:id="_JlPb8XjWEeGKl8JlHfi_Yg"/>
  126. <layoutConstraint xsi:type="notation:Location" xmi:id="_JlPb8njWEeGKl8JlHfi_Yg"/>
  127. </children>
  128. <children xsi:type="notation:Compartment" xmi:id="_JlPb83jWEeGKl8JlHfi_Yg" type="StateTextCompartment">
  129. <children xsi:type="notation:Shape" xmi:id="_JlQDAHjWEeGKl8JlHfi_Yg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  130. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JlQDAXjWEeGKl8JlHfi_Yg"/>
  131. </children>
  132. </children>
  133. <children xsi:type="notation:Compartment" xmi:id="_JlQqEHjWEeGKl8JlHfi_Yg" type="StateFigureCompartment"/>
  134. <styles xsi:type="notation:ShapeStyle" xmi:id="_JlON0XjWEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  135. <styles xsi:type="notation:FontStyle" xmi:id="_JlON0njWEeGKl8JlHfi_Yg"/>
  136. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_JlRRIHjWEeGKl8JlHfi_Yg"/>
  137. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_JlON03jWEeGKl8JlHfi_Yg" x="149" y="52" width="70"/>
  138. </children>
  139. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EGEdgXjWEeGKl8JlHfi_Yg"/>
  140. </children>
  141. <styles xsi:type="notation:ShapeStyle" xmi:id="_EGCBQXjWEeGKl8JlHfi_Yg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  142. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EGCBQnjWEeGKl8JlHfi_Yg" x="495" y="10" width="276" height="156"/>
  143. </children>
  144. <styles xsi:type="notation:DiagramStyle" xmi:id="_lsFnUHjVEeGKl8JlHfi_Yg"/>
  145. <edges xmi:id="_ltLzgHjVEeGKl8JlHfi_Yg" type="Transition" element="_ltBbcHjVEeGKl8JlHfi_Yg" source="_lszZAHjVEeGKl8JlHfi_Yg" target="_ls6twHjVEeGKl8JlHfi_Yg">
  146. <children xsi:type="notation:DecorationNode" xmi:id="_ltNBoHjVEeGKl8JlHfi_Yg" type="TransitionExpression">
  147. <styles xsi:type="notation:ShapeStyle" xmi:id="_ltNBoXjVEeGKl8JlHfi_Yg"/>
  148. <layoutConstraint xsi:type="notation:Location" xmi:id="_ltNBonjVEeGKl8JlHfi_Yg" y="10"/>
  149. </children>
  150. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ltLzgXjVEeGKl8JlHfi_Yg" lineColor="4210752"/>
  151. <styles xsi:type="notation:FontStyle" xmi:id="_ltMakHjVEeGKl8JlHfi_Yg" fontName="Verdana"/>
  152. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ltLzgnjVEeGKl8JlHfi_Yg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  153. </edges>
  154. <edges xmi:id="_6nMvUHjVEeGKl8JlHfi_Yg" type="Transition" element="_6nFakHjVEeGKl8JlHfi_Yg" source="_ls6twHjVEeGKl8JlHfi_Yg" target="_42FXAHjVEeGKl8JlHfi_Yg">
  155. <children xsi:type="notation:DecorationNode" xmi:id="_6nNWYXjVEeGKl8JlHfi_Yg" type="TransitionExpression">
  156. <styles xsi:type="notation:ShapeStyle" xmi:id="_6nNWYnjVEeGKl8JlHfi_Yg"/>
  157. <layoutConstraint xsi:type="notation:Location" xmi:id="_6nN9cHjVEeGKl8JlHfi_Yg" x="-5" y="21"/>
  158. </children>
  159. <styles xsi:type="notation:ConnectorStyle" xmi:id="_6nMvUXjVEeGKl8JlHfi_Yg" lineColor="4210752"/>
  160. <styles xsi:type="notation:FontStyle" xmi:id="_6nNWYHjVEeGKl8JlHfi_Yg" fontName="Verdana"/>
  161. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6nMvUnjVEeGKl8JlHfi_Yg" points="[18, -1, -111, 3]$[130, -25, 1, -21]"/>
  162. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_VHIKwHjWEeGKl8JlHfi_Yg" id="(0.9242424242424242,0.8032786885245902)"/>
  163. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6ncm8HjVEeGKl8JlHfi_Yg" id="(0.09523809523809523,0.8360655737704918)"/>
  164. </edges>
  165. <edges xmi:id="_F1ZGEHjWEeGKl8JlHfi_Yg" type="Transition" element="_F1MRwHjWEeGKl8JlHfi_Yg" source="_E-ky0HjWEeGKl8JlHfi_Yg" target="_FVyY8HjWEeGKl8JlHfi_Yg">
  166. <children xsi:type="notation:DecorationNode" xmi:id="_F1ZtIHjWEeGKl8JlHfi_Yg" type="TransitionExpression">
  167. <styles xsi:type="notation:ShapeStyle" xmi:id="_F1ZtIXjWEeGKl8JlHfi_Yg"/>
  168. <layoutConstraint xsi:type="notation:Location" xmi:id="_F1ZtInjWEeGKl8JlHfi_Yg" y="10"/>
  169. </children>
  170. <styles xsi:type="notation:ConnectorStyle" xmi:id="_F1ZGEXjWEeGKl8JlHfi_Yg" lineColor="4210752"/>
  171. <styles xsi:type="notation:FontStyle" xmi:id="_F1ZGE3jWEeGKl8JlHfi_Yg" fontName="Verdana"/>
  172. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_F1ZGEnjWEeGKl8JlHfi_Yg" points="[1, 7, -2, -98]$[13, 80, 10, -25]"/>
  173. </edges>
  174. <edges xmi:id="_KwjYgHjWEeGKl8JlHfi_Yg" type="Transition" element="_KwaOkHjWEeGKl8JlHfi_Yg" source="_FVyY8HjWEeGKl8JlHfi_Yg" target="_JlON0HjWEeGKl8JlHfi_Yg">
  175. <children xsi:type="notation:DecorationNode" xmi:id="_Kwj_kXjWEeGKl8JlHfi_Yg" type="TransitionExpression">
  176. <styles xsi:type="notation:ShapeStyle" xmi:id="_Kwj_knjWEeGKl8JlHfi_Yg"/>
  177. <layoutConstraint xsi:type="notation:Location" xmi:id="_KwkmoHjWEeGKl8JlHfi_Yg" y="10"/>
  178. </children>
  179. <styles xsi:type="notation:ConnectorStyle" xmi:id="_KwjYgXjWEeGKl8JlHfi_Yg" lineColor="4210752"/>
  180. <styles xsi:type="notation:FontStyle" xmi:id="_Kwj_kHjWEeGKl8JlHfi_Yg" fontName="Verdana"/>
  181. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_KwjYgnjWEeGKl8JlHfi_Yg" points="[32, -9, -76, 2]$[109, -26, 1, -15]"/>
  182. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Kw1FUHjWEeGKl8JlHfi_Yg" id="(0.15,0.30357142857142855)"/>
  183. </edges>
  184. </notation:Diagram>
  185. </xmi:XMI>