OutEventLifeCycle.sct 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152
  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. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYKkwidmEeKIUcvKJ7R2Xg" x="29" y="61" width="127"/>
  53. </children>
  54. <children xmi:id="_Eq9lwCkLEeKkhf1edRNNAA" type="State" element="_Eq3fICkLEeKkhf1edRNNAA">
  55. <children xsi:type="notation:DecorationNode" xmi:id="_Eq9lxCkLEeKkhf1edRNNAA" type="StateName">
  56. <styles xsi:type="notation:ShapeStyle" xmi:id="_Eq9lxSkLEeKkhf1edRNNAA"/>
  57. <layoutConstraint xsi:type="notation:Location" xmi:id="_Eq-M0CkLEeKkhf1edRNNAA"/>
  58. </children>
  59. <children xsi:type="notation:Compartment" xmi:id="_Eq-M0SkLEeKkhf1edRNNAA" type="StateTextCompartment">
  60. <children xsi:type="notation:Shape" xmi:id="_Eq-M0ikLEeKkhf1edRNNAA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  61. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Eq-M0ykLEeKkhf1edRNNAA"/>
  62. </children>
  63. </children>
  64. <children xsi:type="notation:Compartment" xmi:id="_Eq-M1CkLEeKkhf1edRNNAA" type="StateFigureCompartment" collapsed="true"/>
  65. <styles xsi:type="notation:ShapeStyle" xmi:id="_Eq9lwSkLEeKkhf1edRNNAA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  66. <styles xsi:type="notation:FontStyle" xmi:id="_Eq9lwikLEeKkhf1edRNNAA"/>
  67. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Eq9lwykLEeKkhf1edRNNAA" x="227" y="61" width="190"/>
  68. </children>
  69. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYG6ZCdmEeKIUcvKJ7R2Xg"/>
  70. </children>
  71. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYEeISdmEeKIUcvKJ7R2Xg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  72. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYHhcCdmEeKIUcvKJ7R2Xg" x="10" y="168" width="511" height="171"/>
  73. </children>
  74. <children xsi:type="notation:Shape" xmi:id="_UYMZ8CdmEeKIUcvKJ7R2Xg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  75. <children xsi:type="notation:DecorationNode" xmi:id="_UYMZ8idmEeKIUcvKJ7R2Xg" type="StatechartName">
  76. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYMZ8ydmEeKIUcvKJ7R2Xg"/>
  77. <layoutConstraint xsi:type="notation:Location" xmi:id="_UYMZ9CdmEeKIUcvKJ7R2Xg"/>
  78. </children>
  79. <children xsi:type="notation:Shape" xmi:id="_UYMZ9SdmEeKIUcvKJ7R2Xg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  80. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYNBACdmEeKIUcvKJ7R2Xg"/>
  81. </children>
  82. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_UYNBASdmEeKIUcvKJ7R2Xg" x="10" y="10" width="511" height="159"/>
  83. </children>
  84. <children xmi:id="__WAvwCkJEeKkhf1edRNNAA" type="Region" element="__V-TgCkJEeKkhf1edRNNAA">
  85. <children xsi:type="notation:DecorationNode" xmi:id="__WDzECkJEeKkhf1edRNNAA" type="RegionName">
  86. <styles xsi:type="notation:ShapeStyle" xmi:id="__WDzESkJEeKkhf1edRNNAA"/>
  87. <layoutConstraint xsi:type="notation:Location" xmi:id="__WDzEikJEeKkhf1edRNNAA"/>
  88. </children>
  89. <children xsi:type="notation:Shape" xmi:id="__WEaICkJEeKkhf1edRNNAA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  90. <children xmi:id="_BZS2ICkKEeKkhf1edRNNAA" type="Entry" element="_BZRoACkKEeKkhf1edRNNAA">
  91. <children xmi:id="_BZUEQCkKEeKkhf1edRNNAA" type="BorderItemLabelContainer">
  92. <children xsi:type="notation:DecorationNode" xmi:id="_BZUEQykKEeKkhf1edRNNAA" type="BorderItemLabel">
  93. <styles xsi:type="notation:ShapeStyle" xmi:id="_BZUERCkKEeKkhf1edRNNAA"/>
  94. <layoutConstraint xsi:type="notation:Location" xmi:id="_BZUERSkKEeKkhf1edRNNAA"/>
  95. </children>
  96. <styles xsi:type="notation:ShapeStyle" xmi:id="_BZUEQSkKEeKkhf1edRNNAA" fontName="Verdana" lineColor="4210752"/>
  97. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BZUEQikKEeKkhf1edRNNAA"/>
  98. </children>
  99. <styles xsi:type="notation:ShapeStyle" xmi:id="_BZS2ISkKEeKkhf1edRNNAA" fontName="Verdana" lineColor="4210752"/>
  100. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BZS2IikKEeKkhf1edRNNAA" x="51" y="46"/>
  101. </children>
  102. <children xmi:id="_BuMIECkKEeKkhf1edRNNAA" type="State" element="_BuK58CkKEeKkhf1edRNNAA">
  103. <children xsi:type="notation:DecorationNode" xmi:id="_BuMvICkKEeKkhf1edRNNAA" type="StateName">
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_BuMvISkKEeKkhf1edRNNAA"/>
  105. <layoutConstraint xsi:type="notation:Location" xmi:id="_BuMvIikKEeKkhf1edRNNAA"/>
  106. </children>
  107. <children xsi:type="notation:Compartment" xmi:id="_BuMvIykKEeKkhf1edRNNAA" type="StateTextCompartment">
  108. <children xsi:type="notation:Shape" xmi:id="_BuMvJCkKEeKkhf1edRNNAA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  109. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BuMvJSkKEeKkhf1edRNNAA"/>
  110. </children>
  111. </children>
  112. <children xsi:type="notation:Compartment" xmi:id="_BuNWMCkKEeKkhf1edRNNAA" type="StateFigureCompartment"/>
  113. <styles xsi:type="notation:ShapeStyle" xmi:id="_BuMIESkKEeKkhf1edRNNAA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  114. <styles xsi:type="notation:FontStyle" xmi:id="_BuMIEikKEeKkhf1edRNNAA"/>
  115. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BuMIEykKEeKkhf1edRNNAA" x="123" y="21" width="178"/>
  116. </children>
  117. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__WEaISkJEeKkhf1edRNNAA"/>
  118. </children>
  119. <styles xsi:type="notation:ShapeStyle" xmi:id="__WAvwSkJEeKkhf1edRNNAA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  120. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__WAvwikJEeKkhf1edRNNAA" x="10" y="338" width="511" height="157"/>
  121. </children>
  122. <styles xsi:type="notation:DiagramStyle" xmi:id="_UYCB4SdmEeKIUcvKJ7R2Xg"/>
  123. <edges xmi:id="_UYLy4CdmEeKIUcvKJ7R2Xg" type="Transition" element="_UYKkwydmEeKIUcvKJ7R2Xg" source="_UYHhcidmEeKIUcvKJ7R2Xg" target="_UYJWoCdmEeKIUcvKJ7R2Xg">
  124. <children xsi:type="notation:DecorationNode" xmi:id="_UYLy5CdmEeKIUcvKJ7R2Xg" type="TransitionExpression">
  125. <styles xsi:type="notation:ShapeStyle" xmi:id="_UYLy5SdmEeKIUcvKJ7R2Xg"/>
  126. <layoutConstraint xsi:type="notation:Location" xmi:id="_UYLy5idmEeKIUcvKJ7R2Xg" y="10"/>
  127. </children>
  128. <styles xsi:type="notation:ConnectorStyle" xmi:id="_UYLy4SdmEeKIUcvKJ7R2Xg" lineColor="4210752"/>
  129. <styles xsi:type="notation:FontStyle" xmi:id="_UYLy4ydmEeKIUcvKJ7R2Xg" fontName="Verdana"/>
  130. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UYLy4idmEeKIUcvKJ7R2Xg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  131. </edges>
  132. <edges xmi:id="_CzbR0CkKEeKkhf1edRNNAA" type="Transition" element="_CzZcoCkKEeKkhf1edRNNAA" source="_BZS2ICkKEeKkhf1edRNNAA" target="_BuMIECkKEeKkhf1edRNNAA">
  133. <children xsi:type="notation:DecorationNode" xmi:id="_Czcf8CkKEeKkhf1edRNNAA" type="TransitionExpression">
  134. <styles xsi:type="notation:ShapeStyle" xmi:id="_Czcf8SkKEeKkhf1edRNNAA"/>
  135. <layoutConstraint xsi:type="notation:Location" xmi:id="_Czcf8ikKEeKkhf1edRNNAA" y="10"/>
  136. </children>
  137. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Czb44CkKEeKkhf1edRNNAA" lineColor="4210752"/>
  138. <styles xsi:type="notation:FontStyle" xmi:id="_Czb44ikKEeKkhf1edRNNAA" fontName="Verdana"/>
  139. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Czb44SkKEeKkhf1edRNNAA" points="[6, 4, -84, -63]$[87, 41, -3, -26]"/>
  140. </edges>
  141. <edges xmi:id="_GO2aYCkLEeKkhf1edRNNAA" type="Transition" element="_GO1zUCkLEeKkhf1edRNNAA" source="_UYJWoCdmEeKIUcvKJ7R2Xg" target="_Eq9lwCkLEeKkhf1edRNNAA">
  142. <children xsi:type="notation:DecorationNode" xmi:id="_GO3BcSkLEeKkhf1edRNNAA" type="TransitionExpression">
  143. <styles xsi:type="notation:ShapeStyle" xmi:id="_GO3BcikLEeKkhf1edRNNAA"/>
  144. <layoutConstraint xsi:type="notation:Location" xmi:id="_GO3BcykLEeKkhf1edRNNAA" y="10"/>
  145. </children>
  146. <styles xsi:type="notation:ConnectorStyle" xmi:id="_GO2aYSkLEeKkhf1edRNNAA" lineColor="4210752"/>
  147. <styles xsi:type="notation:FontStyle" xmi:id="_GO3BcCkLEeKkhf1edRNNAA" fontName="Verdana"/>
  148. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_GO2aYikLEeKkhf1edRNNAA" points="[61, 2, -99, 2]$[156, 27, -4, 27]"/>
  149. </edges>
  150. </notation:Diagram>
  151. </xmi:XMI>