OutEventLifeCycle.sct 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155
  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="_UYAMsCdmEeKIUcvKJ7R2Xg" specification="&#xA;&#xA;interface :&#xA;&#xA;&#x9;in event e&#xA;&#x9;out event f&#xA;&#x9;&#xA;&#x9;var f_available_in_cycle : boolean = false&#x9;&#xA;&#x9;var f_available_in_next_cycle : boolean = false" name="OutEventLifeCycle">
  4. <regions xmi:id="_UYCB4idmEeKIUcvKJ7R2Xg" name="r1">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_UYHhcSdmEeKIUcvKJ7R2Xg">
  6. <outgoingTransitions xmi:id="_UYKkwydmEeKIUcvKJ7R2Xg" target="_UYIvlCdmEeKIUcvKJ7R2Xg"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_UYIvlCdmEeKIUcvKJ7R2Xg" specification="" name="A" incomingTransitions="_UYKkwydmEeKIUcvKJ7R2Xg">
  9. <outgoingTransitions xmi:id="_GO1zUCkLEeKkhf1edRNNAA" specification="e / raise f" target="_Eq3fICkLEeKkhf1edRNNAA"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_Eq3fICkLEeKkhf1edRNNAA" specification="f / f_available_in_next_cycle = true" name="B" incomingTransitions="_GO1zUCkLEeKkhf1edRNNAA"/>
  12. </regions>
  13. <regions xmi:id="__V-TgCkJEeKkhf1edRNNAA" name="r2">
  14. <vertices xsi:type="sgraph:Entry" xmi:id="_BZRoACkKEeKkhf1edRNNAA">
  15. <outgoingTransitions xmi:id="_CzZcoCkKEeKkhf1edRNNAA" specification="" target="_BuK58CkKEeKkhf1edRNNAA"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_BuK58CkKEeKkhf1edRNNAA" specification="f / f_available_in_cycle = true" name="B" incomingTransitions="_CzZcoCkKEeKkhf1edRNNAA"/>
  18. </regions>
  19. </sgraph:Statechart>
  20. <notation:Diagram xmi:id="_UYCB4CdmEeKIUcvKJ7R2Xg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_UYAMsCdmEeKIUcvKJ7R2Xg" measurementUnit="Pixel">
  21. <children xmi:id="_UYEeICdmEeKIUcvKJ7R2Xg" type="Region" element="_UYCB4idmEeKIUcvKJ7R2Xg">
  22. <children xsi:type="notation:DecorationNode" xmi:id="_UYG6YCdmEeKIUcvKJ7R2Xg" type="RegionName">
  23. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYG6YSdmEeKIUcvKJ7R2Xg"/>
  24. <layoutConstraint xsi:type="notation:Location" xmi:id="_UYG6YidmEeKIUcvKJ7R2Xg"/>
  25. </children>
  26. <children xsi:type="notation:Shape" xmi:id="_UYG6YydmEeKIUcvKJ7R2Xg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  27. <children xmi:id="_UYHhcidmEeKIUcvKJ7R2Xg" type="Entry" element="_UYHhcSdmEeKIUcvKJ7R2Xg">
  28. <children xmi:id="_UYIIgCdmEeKIUcvKJ7R2Xg" type="BorderItemLabelContainer">
  29. <children xsi:type="notation:DecorationNode" xmi:id="_UYIvkCdmEeKIUcvKJ7R2Xg" type="BorderItemLabel">
  30. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYIvkSdmEeKIUcvKJ7R2Xg"/>
  31. <layoutConstraint xsi:type="notation:Location" xmi:id="_UYIvkidmEeKIUcvKJ7R2Xg"/>
  32. </children>
  33. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYIIgSdmEeKIUcvKJ7R2Xg" fontName="Verdana" lineColor="4210752"/>
  34. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYIIgidmEeKIUcvKJ7R2Xg"/>
  35. </children>
  36. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYHhcydmEeKIUcvKJ7R2Xg" fontName="Verdana" lineColor="4210752"/>
  37. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYIvkydmEeKIUcvKJ7R2Xg" x="82" y="19"/>
  38. </children>
  39. <children xmi:id="_UYJWoCdmEeKIUcvKJ7R2Xg" type="State" element="_UYIvlCdmEeKIUcvKJ7R2Xg">
  40. <children xsi:type="notation:DecorationNode" xmi:id="_UYJWpCdmEeKIUcvKJ7R2Xg" type="StateName">
  41. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYJWpSdmEeKIUcvKJ7R2Xg"/>
  42. <layoutConstraint xsi:type="notation:Location" xmi:id="_UYJ9sCdmEeKIUcvKJ7R2Xg"/>
  43. </children>
  44. <children xsi:type="notation:Compartment" xmi:id="_UYJ9sSdmEeKIUcvKJ7R2Xg" type="StateTextCompartment">
  45. <children xsi:type="notation:Shape" xmi:id="_UYJ9sidmEeKIUcvKJ7R2Xg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYJ9sydmEeKIUcvKJ7R2Xg"/>
  47. </children>
  48. </children>
  49. <children xsi:type="notation:Compartment" xmi:id="_UYKkwCdmEeKIUcvKJ7R2Xg" type="StateFigureCompartment"/>
  50. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYJWoSdmEeKIUcvKJ7R2Xg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  51. <styles xsi:type="notation:FontStyle" xmi:id="_UYJWoidmEeKIUcvKJ7R2Xg"/>
  52. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_UYKkwSdmEeKIUcvKJ7R2Xg"/>
  53. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYKkwidmEeKIUcvKJ7R2Xg" x="29" y="61" width="127"/>
  54. </children>
  55. <children xmi:id="_Eq9lwCkLEeKkhf1edRNNAA" type="State" element="_Eq3fICkLEeKkhf1edRNNAA">
  56. <children xsi:type="notation:DecorationNode" xmi:id="_Eq9lxCkLEeKkhf1edRNNAA" type="StateName">
  57. <styles xsi:type="notation:ShapeStyle" xmi:id="_Eq9lxSkLEeKkhf1edRNNAA"/>
  58. <layoutConstraint xsi:type="notation:Location" xmi:id="_Eq-M0CkLEeKkhf1edRNNAA"/>
  59. </children>
  60. <children xsi:type="notation:Compartment" xmi:id="_Eq-M0SkLEeKkhf1edRNNAA" type="StateTextCompartment">
  61. <children xsi:type="notation:Shape" xmi:id="_Eq-M0ikLEeKkhf1edRNNAA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  62. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Eq-M0ykLEeKkhf1edRNNAA"/>
  63. </children>
  64. </children>
  65. <children xsi:type="notation:Compartment" xmi:id="_Eq-M1CkLEeKkhf1edRNNAA" type="StateFigureCompartment" collapsed="true"/>
  66. <styles xsi:type="notation:ShapeStyle" xmi:id="_Eq9lwSkLEeKkhf1edRNNAA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  67. <styles xsi:type="notation:FontStyle" xmi:id="_Eq9lwikLEeKkhf1edRNNAA"/>
  68. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Eq-M1SkLEeKkhf1edRNNAA"/>
  69. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Eq9lwykLEeKkhf1edRNNAA" x="227" y="61" width="190"/>
  70. </children>
  71. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYG6ZCdmEeKIUcvKJ7R2Xg"/>
  72. </children>
  73. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYEeISdmEeKIUcvKJ7R2Xg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  74. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYHhcCdmEeKIUcvKJ7R2Xg" x="10" y="168" width="511" height="171"/>
  75. </children>
  76. <children xsi:type="notation:Shape" xmi:id="_UYMZ8CdmEeKIUcvKJ7R2Xg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  77. <children xsi:type="notation:DecorationNode" xmi:id="_UYMZ8idmEeKIUcvKJ7R2Xg" type="StatechartName">
  78. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYMZ8ydmEeKIUcvKJ7R2Xg"/>
  79. <layoutConstraint xsi:type="notation:Location" xmi:id="_UYMZ9CdmEeKIUcvKJ7R2Xg"/>
  80. </children>
  81. <children xsi:type="notation:Shape" xmi:id="_UYMZ9SdmEeKIUcvKJ7R2Xg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  82. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYNBACdmEeKIUcvKJ7R2Xg"/>
  83. </children>
  84. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYNBASdmEeKIUcvKJ7R2Xg" x="10" y="10" width="511" height="159"/>
  85. </children>
  86. <children xmi:id="__WAvwCkJEeKkhf1edRNNAA" type="Region" element="__V-TgCkJEeKkhf1edRNNAA">
  87. <children xsi:type="notation:DecorationNode" xmi:id="__WDzECkJEeKkhf1edRNNAA" type="RegionName">
  88. <styles xsi:type="notation:ShapeStyle" xmi:id="__WDzESkJEeKkhf1edRNNAA"/>
  89. <layoutConstraint xsi:type="notation:Location" xmi:id="__WDzEikJEeKkhf1edRNNAA"/>
  90. </children>
  91. <children xsi:type="notation:Shape" xmi:id="__WEaICkJEeKkhf1edRNNAA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  92. <children xmi:id="_BZS2ICkKEeKkhf1edRNNAA" type="Entry" element="_BZRoACkKEeKkhf1edRNNAA">
  93. <children xmi:id="_BZUEQCkKEeKkhf1edRNNAA" type="BorderItemLabelContainer">
  94. <children xsi:type="notation:DecorationNode" xmi:id="_BZUEQykKEeKkhf1edRNNAA" type="BorderItemLabel">
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_BZUERCkKEeKkhf1edRNNAA"/>
  96. <layoutConstraint xsi:type="notation:Location" xmi:id="_BZUERSkKEeKkhf1edRNNAA"/>
  97. </children>
  98. <styles xsi:type="notation:ShapeStyle" xmi:id="_BZUEQSkKEeKkhf1edRNNAA" fontName="Verdana" lineColor="4210752"/>
  99. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BZUEQikKEeKkhf1edRNNAA"/>
  100. </children>
  101. <styles xsi:type="notation:ShapeStyle" xmi:id="_BZS2ISkKEeKkhf1edRNNAA" fontName="Verdana" lineColor="4210752"/>
  102. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BZS2IikKEeKkhf1edRNNAA" x="51" y="46"/>
  103. </children>
  104. <children xmi:id="_BuMIECkKEeKkhf1edRNNAA" type="State" element="_BuK58CkKEeKkhf1edRNNAA">
  105. <children xsi:type="notation:DecorationNode" xmi:id="_BuMvICkKEeKkhf1edRNNAA" type="StateName">
  106. <styles xsi:type="notation:ShapeStyle" xmi:id="_BuMvISkKEeKkhf1edRNNAA"/>
  107. <layoutConstraint xsi:type="notation:Location" xmi:id="_BuMvIikKEeKkhf1edRNNAA"/>
  108. </children>
  109. <children xsi:type="notation:Compartment" xmi:id="_BuMvIykKEeKkhf1edRNNAA" type="StateTextCompartment">
  110. <children xsi:type="notation:Shape" xmi:id="_BuMvJCkKEeKkhf1edRNNAA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  111. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BuMvJSkKEeKkhf1edRNNAA"/>
  112. </children>
  113. </children>
  114. <children xsi:type="notation:Compartment" xmi:id="_BuNWMCkKEeKkhf1edRNNAA" type="StateFigureCompartment"/>
  115. <styles xsi:type="notation:ShapeStyle" xmi:id="_BuMIESkKEeKkhf1edRNNAA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  116. <styles xsi:type="notation:FontStyle" xmi:id="_BuMIEikKEeKkhf1edRNNAA"/>
  117. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_BuNWMSkKEeKkhf1edRNNAA"/>
  118. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BuMIEykKEeKkhf1edRNNAA" x="123" y="21" width="178"/>
  119. </children>
  120. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__WEaISkJEeKkhf1edRNNAA"/>
  121. </children>
  122. <styles xsi:type="notation:ShapeStyle" xmi:id="__WAvwSkJEeKkhf1edRNNAA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  123. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__WAvwikJEeKkhf1edRNNAA" x="10" y="338" width="511" height="157"/>
  124. </children>
  125. <styles xsi:type="notation:DiagramStyle" xmi:id="_UYCB4SdmEeKIUcvKJ7R2Xg"/>
  126. <edges xmi:id="_UYLy4CdmEeKIUcvKJ7R2Xg" type="Transition" element="_UYKkwydmEeKIUcvKJ7R2Xg" source="_UYHhcidmEeKIUcvKJ7R2Xg" target="_UYJWoCdmEeKIUcvKJ7R2Xg">
  127. <children xsi:type="notation:DecorationNode" xmi:id="_UYLy5CdmEeKIUcvKJ7R2Xg" type="TransitionExpression">
  128. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYLy5SdmEeKIUcvKJ7R2Xg"/>
  129. <layoutConstraint xsi:type="notation:Location" xmi:id="_UYLy5idmEeKIUcvKJ7R2Xg" y="10"/>
  130. </children>
  131. <styles xsi:type="notation:ConnectorStyle" xmi:id="_UYLy4SdmEeKIUcvKJ7R2Xg" lineColor="4210752"/>
  132. <styles xsi:type="notation:FontStyle" xmi:id="_UYLy4ydmEeKIUcvKJ7R2Xg" fontName="Verdana"/>
  133. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UYLy4idmEeKIUcvKJ7R2Xg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  134. </edges>
  135. <edges xmi:id="_CzbR0CkKEeKkhf1edRNNAA" type="Transition" element="_CzZcoCkKEeKkhf1edRNNAA" source="_BZS2ICkKEeKkhf1edRNNAA" target="_BuMIECkKEeKkhf1edRNNAA">
  136. <children xsi:type="notation:DecorationNode" xmi:id="_Czcf8CkKEeKkhf1edRNNAA" type="TransitionExpression">
  137. <styles xsi:type="notation:ShapeStyle" xmi:id="_Czcf8SkKEeKkhf1edRNNAA"/>
  138. <layoutConstraint xsi:type="notation:Location" xmi:id="_Czcf8ikKEeKkhf1edRNNAA" y="10"/>
  139. </children>
  140. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Czb44CkKEeKkhf1edRNNAA" lineColor="4210752"/>
  141. <styles xsi:type="notation:FontStyle" xmi:id="_Czb44ikKEeKkhf1edRNNAA" fontName="Verdana"/>
  142. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Czb44SkKEeKkhf1edRNNAA" points="[6, 4, -84, -63]$[87, 41, -3, -26]"/>
  143. </edges>
  144. <edges xmi:id="_GO2aYCkLEeKkhf1edRNNAA" type="Transition" element="_GO1zUCkLEeKkhf1edRNNAA" source="_UYJWoCdmEeKIUcvKJ7R2Xg" target="_Eq9lwCkLEeKkhf1edRNNAA">
  145. <children xsi:type="notation:DecorationNode" xmi:id="_GO3BcSkLEeKkhf1edRNNAA" type="TransitionExpression">
  146. <styles xsi:type="notation:ShapeStyle" xmi:id="_GO3BcikLEeKkhf1edRNNAA"/>
  147. <layoutConstraint xsi:type="notation:Location" xmi:id="_GO3BcykLEeKkhf1edRNNAA" y="10"/>
  148. </children>
  149. <styles xsi:type="notation:ConnectorStyle" xmi:id="_GO2aYSkLEeKkhf1edRNNAA" lineColor="4210752"/>
  150. <styles xsi:type="notation:FontStyle" xmi:id="_GO3BcCkLEeKkhf1edRNNAA" fontName="Verdana"/>
  151. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_GO2aYikLEeKkhf1edRNNAA" points="[61, 2, -99, 2]$[156, 27, -4, 27]"/>
  152. </edges>
  153. </notation:Diagram>
  154. </xmi:XMI>