DynamicChoice.sct 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156
  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="_XGQLcHd7EeOs5MmX1Up0pg" specification="interface:&#xD;&#xA;var number : integer&#xD;&#xA;in event reset" name="DynamicChoice">
  4. <regions xmi:id="_XGRZknd7EeOs5MmX1Up0pg" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_XGVrAXd7EeOs5MmX1Up0pg">
  6. <outgoingTransitions xmi:id="_XGXgMHd7EeOs5MmX1Up0pg" target="_XGWSFHd7EeOs5MmX1Up0pg"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_XGWSFHd7EeOs5MmX1Up0pg" specification="entry / number = 1" name="Start" incomingTransitions="_XGXgMHd7EeOs5MmX1Up0pg">
  9. <outgoingTransitions xmi:id="_tK_1AHd7EeOs5MmX1Up0pg" specification=" always /number +=1" target="_rWSWIHd7EeOs5MmX1Up0pg"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:Choice" xmi:id="_rWSWIHd7EeOs5MmX1Up0pg" incomingTransitions="_tK_1AHd7EeOs5MmX1Up0pg">
  12. <outgoingTransitions xmi:id="_ti9CAHd7EeOs5MmX1Up0pg" specification="[number == 2]" target="_rl-X8Hd7EeOs5MmX1Up0pg"/>
  13. <outgoingTransitions xmi:id="_t7cagHd7EeOs5MmX1Up0pg" specification="" target="_r2m08Hd7EeOs5MmX1Up0pg"/>
  14. </vertices>
  15. <vertices xsi:type="sgraph:State" xmi:id="_rl-X8Hd7EeOs5MmX1Up0pg" name="A" incomingTransitions="_ti9CAHd7EeOs5MmX1Up0pg"/>
  16. <vertices xsi:type="sgraph:State" xmi:id="_r2m08Hd7EeOs5MmX1Up0pg" name="B" incomingTransitions="_t7cagHd7EeOs5MmX1Up0pg"/>
  17. </regions>
  18. </sgraph:Statechart>
  19. <notation:Diagram xmi:id="_XGRZkHd7EeOs5MmX1Up0pg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_XGQLcHd7EeOs5MmX1Up0pg" measurementUnit="Pixel">
  20. <children xmi:id="_XGTOwHd7EeOs5MmX1Up0pg" type="Region" element="_XGRZknd7EeOs5MmX1Up0pg">
  21. <children xsi:type="notation:DecorationNode" xmi:id="_XGVD8Hd7EeOs5MmX1Up0pg" type="RegionName">
  22. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGVD8Xd7EeOs5MmX1Up0pg"/>
  23. <layoutConstraint xsi:type="notation:Location" xmi:id="_XGVD8nd7EeOs5MmX1Up0pg"/>
  24. </children>
  25. <children xsi:type="notation:Shape" xmi:id="_XGVD83d7EeOs5MmX1Up0pg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  26. <children xmi:id="_XGVrAnd7EeOs5MmX1Up0pg" type="Entry" element="_XGVrAXd7EeOs5MmX1Up0pg">
  27. <children xmi:id="_XGVrBXd7EeOs5MmX1Up0pg" type="BorderItemLabelContainer">
  28. <children xsi:type="notation:DecorationNode" xmi:id="_XGWSEHd7EeOs5MmX1Up0pg" type="BorderItemLabel">
  29. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGWSEXd7EeOs5MmX1Up0pg"/>
  30. <layoutConstraint xsi:type="notation:Location" xmi:id="_XGWSEnd7EeOs5MmX1Up0pg"/>
  31. </children>
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGVrBnd7EeOs5MmX1Up0pg" fontName="Verdana" lineColor="4210752"/>
  33. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XGVrB3d7EeOs5MmX1Up0pg"/>
  34. </children>
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGVrA3d7EeOs5MmX1Up0pg" fontName="Verdana" lineColor="4210752"/>
  36. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XGWSE3d7EeOs5MmX1Up0pg" x="143" y="-3"/>
  37. </children>
  38. <children xmi:id="_XGWSFnd7EeOs5MmX1Up0pg" type="State" element="_XGWSFHd7EeOs5MmX1Up0pg">
  39. <children xsi:type="notation:DecorationNode" xmi:id="_XGW5IHd7EeOs5MmX1Up0pg" type="StateName">
  40. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGW5IXd7EeOs5MmX1Up0pg"/>
  41. <layoutConstraint xsi:type="notation:Location" xmi:id="_XGW5Ind7EeOs5MmX1Up0pg"/>
  42. </children>
  43. <children xsi:type="notation:Compartment" xmi:id="_XGW5I3d7EeOs5MmX1Up0pg" type="StateTextCompartment">
  44. <children xsi:type="notation:Shape" xmi:id="_XGW5JHd7EeOs5MmX1Up0pg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  45. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XGW5JXd7EeOs5MmX1Up0pg"/>
  46. </children>
  47. </children>
  48. <children xsi:type="notation:Compartment" xmi:id="_XGW5Jnd7EeOs5MmX1Up0pg" type="StateFigureCompartment"/>
  49. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGWSF3d7EeOs5MmX1Up0pg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  50. <styles xsi:type="notation:FontStyle" xmi:id="_XGWSGHd7EeOs5MmX1Up0pg"/>
  51. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_XGW5J3d7EeOs5MmX1Up0pg" name="isHorizontal" booleanValue="true"/>
  52. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XGW5KHd7EeOs5MmX1Up0pg" x="79" y="64"/>
  53. </children>
  54. <children xsi:type="notation:Shape" xmi:id="_rWUyYHd7EeOs5MmX1Up0pg" type="Choice" element="_rWSWIHd7EeOs5MmX1Up0pg" fontName="Verdana" lineColor="4210752">
  55. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rWUyYXd7EeOs5MmX1Up0pg" x="143" y="199"/>
  56. </children>
  57. <children xmi:id="_rmBbQHd7EeOs5MmX1Up0pg" type="State" element="_rl-X8Hd7EeOs5MmX1Up0pg">
  58. <children xsi:type="notation:DecorationNode" xmi:id="_rmCCUHd7EeOs5MmX1Up0pg" type="StateName">
  59. <styles xsi:type="notation:ShapeStyle" xmi:id="_rmCpYHd7EeOs5MmX1Up0pg"/>
  60. <layoutConstraint xsi:type="notation:Location" xmi:id="_rmCpYXd7EeOs5MmX1Up0pg"/>
  61. </children>
  62. <children xsi:type="notation:Compartment" xmi:id="_rmCpYnd7EeOs5MmX1Up0pg" type="StateTextCompartment">
  63. <children xsi:type="notation:Shape" xmi:id="_rmD3gHd7EeOs5MmX1Up0pg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  64. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rmD3gXd7EeOs5MmX1Up0pg"/>
  65. </children>
  66. </children>
  67. <children xsi:type="notation:Compartment" xmi:id="_rmEekHd7EeOs5MmX1Up0pg" type="StateFigureCompartment"/>
  68. <styles xsi:type="notation:ShapeStyle" xmi:id="_rmBbQXd7EeOs5MmX1Up0pg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  69. <styles xsi:type="notation:FontStyle" xmi:id="_rmBbQnd7EeOs5MmX1Up0pg"/>
  70. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_rmFFoHd7EeOs5MmX1Up0pg" name="isHorizontal" booleanValue="true"/>
  71. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rmBbQ3d7EeOs5MmX1Up0pg" x="264" y="285"/>
  72. </children>
  73. <children xmi:id="_r2pRMHd7EeOs5MmX1Up0pg" type="State" element="_r2m08Hd7EeOs5MmX1Up0pg">
  74. <children xsi:type="notation:DecorationNode" xmi:id="_r2qfUHd7EeOs5MmX1Up0pg" type="StateName">
  75. <styles xsi:type="notation:ShapeStyle" xmi:id="_r2qfUXd7EeOs5MmX1Up0pg"/>
  76. <layoutConstraint xsi:type="notation:Location" xmi:id="_r2qfUnd7EeOs5MmX1Up0pg"/>
  77. </children>
  78. <children xsi:type="notation:Compartment" xmi:id="_r2qfU3d7EeOs5MmX1Up0pg" type="StateTextCompartment">
  79. <children xsi:type="notation:Shape" xmi:id="_r2rGYHd7EeOs5MmX1Up0pg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  80. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_r2rGYXd7EeOs5MmX1Up0pg"/>
  81. </children>
  82. </children>
  83. <children xsi:type="notation:Compartment" xmi:id="_r2rtcHd7EeOs5MmX1Up0pg" type="StateFigureCompartment"/>
  84. <styles xsi:type="notation:ShapeStyle" xmi:id="_r2pRMXd7EeOs5MmX1Up0pg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  85. <styles xsi:type="notation:FontStyle" xmi:id="_r2pRMnd7EeOs5MmX1Up0pg"/>
  86. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_r2rtcXd7EeOs5MmX1Up0pg" name="isHorizontal" booleanValue="true"/>
  87. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_r2pRM3d7EeOs5MmX1Up0pg" x="43" y="285"/>
  88. </children>
  89. <children xsi:type="notation:Shape" xmi:id="_ZQNhkHd7EeOs5MmX1Up0pg" type="Note" fontName="Verdana" description="dynamic= State A, static = State B" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  90. <children xsi:type="notation:BasicDecorationNode" xmi:id="_ZQPWwHd7EeOs5MmX1Up0pg" type="DiagramName">
  91. <element xsi:nil="true"/>
  92. </children>
  93. <children xsi:type="notation:BasicDecorationNode" xmi:id="_ZQPWwXd7EeOs5MmX1Up0pg" type="Description">
  94. <element xsi:nil="true"/>
  95. </children>
  96. <styles xsi:type="notation:TextStyle" xmi:id="_ZQNhkXd7EeOs5MmX1Up0pg"/>
  97. <styles xsi:type="notation:LineTypeStyle" xmi:id="_ZQNhknd7EeOs5MmX1Up0pg"/>
  98. <element xsi:nil="true"/>
  99. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ZQNhk3d7EeOs5MmX1Up0pg" x="229" y="-3" width="144" height="45"/>
  100. </children>
  101. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XGVD9Hd7EeOs5MmX1Up0pg"/>
  102. </children>
  103. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGTOwXd7EeOs5MmX1Up0pg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  104. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XGVrAHd7EeOs5MmX1Up0pg" x="220" y="10" width="400" height="400"/>
  105. </children>
  106. <children xsi:type="notation:Shape" xmi:id="_XGYHRHd7EeOs5MmX1Up0pg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  107. <children xsi:type="notation:DecorationNode" xmi:id="_XGYuUHd7EeOs5MmX1Up0pg" type="StatechartName">
  108. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGYuUXd7EeOs5MmX1Up0pg"/>
  109. <layoutConstraint xsi:type="notation:Location" xmi:id="_XGYuUnd7EeOs5MmX1Up0pg"/>
  110. </children>
  111. <children xsi:type="notation:Shape" xmi:id="_XGYuU3d7EeOs5MmX1Up0pg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  112. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XGYuVHd7EeOs5MmX1Up0pg"/>
  113. </children>
  114. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XGYuVXd7EeOs5MmX1Up0pg" x="10" y="10" width="200" height="400"/>
  115. </children>
  116. <styles xsi:type="notation:DiagramStyle" xmi:id="_XGRZkXd7EeOs5MmX1Up0pg"/>
  117. <edges xmi:id="_XGXgMXd7EeOs5MmX1Up0pg" type="Transition" element="_XGXgMHd7EeOs5MmX1Up0pg" source="_XGVrAnd7EeOs5MmX1Up0pg" target="_XGWSFnd7EeOs5MmX1Up0pg">
  118. <children xsi:type="notation:DecorationNode" xmi:id="_XGYHQXd7EeOs5MmX1Up0pg" type="TransitionExpression">
  119. <styles xsi:type="notation:ShapeStyle" xmi:id="_XGYHQnd7EeOs5MmX1Up0pg"/>
  120. <layoutConstraint xsi:type="notation:Location" xmi:id="_XGYHQ3d7EeOs5MmX1Up0pg" y="10"/>
  121. </children>
  122. <styles xsi:type="notation:ConnectorStyle" xmi:id="_XGXgMnd7EeOs5MmX1Up0pg" lineColor="4210752"/>
  123. <styles xsi:type="notation:FontStyle" xmi:id="_XGYHQHd7EeOs5MmX1Up0pg" fontName="Verdana"/>
  124. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_XGXgM3d7EeOs5MmX1Up0pg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  125. </edges>
  126. <edges xmi:id="_tLC4UHd7EeOs5MmX1Up0pg" type="Transition" element="_tK_1AHd7EeOs5MmX1Up0pg" source="_XGWSFnd7EeOs5MmX1Up0pg" target="_rWUyYHd7EeOs5MmX1Up0pg">
  127. <children xsi:type="notation:DecorationNode" xmi:id="_tLDfYXd7EeOs5MmX1Up0pg" type="TransitionExpression">
  128. <styles xsi:type="notation:ShapeStyle" xmi:id="_tLDfYnd7EeOs5MmX1Up0pg"/>
  129. <layoutConstraint xsi:type="notation:Location" xmi:id="_tLEGcHd7EeOs5MmX1Up0pg" x="-9" y="75"/>
  130. </children>
  131. <styles xsi:type="notation:ConnectorStyle" xmi:id="_tLC4UXd7EeOs5MmX1Up0pg" lineColor="4210752"/>
  132. <styles xsi:type="notation:FontStyle" xmi:id="_tLDfYHd7EeOs5MmX1Up0pg" fontName="Verdana"/>
  133. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_tLC4Und7EeOs5MmX1Up0pg" points="[5, 24, -20, -99]$[24, 116, -1, -7]"/>
  134. </edges>
  135. <edges xmi:id="_tjAFUHd7EeOs5MmX1Up0pg" type="Transition" element="_ti9CAHd7EeOs5MmX1Up0pg" source="_rWUyYHd7EeOs5MmX1Up0pg" target="_rmBbQHd7EeOs5MmX1Up0pg">
  136. <children xsi:type="notation:DecorationNode" xmi:id="_tjAsYXd7EeOs5MmX1Up0pg" type="TransitionExpression">
  137. <styles xsi:type="notation:ShapeStyle" xmi:id="_tjAsYnd7EeOs5MmX1Up0pg"/>
  138. <layoutConstraint xsi:type="notation:Location" xmi:id="_tjBTcHd7EeOs5MmX1Up0pg" x="23" y="-30"/>
  139. </children>
  140. <styles xsi:type="notation:ConnectorStyle" xmi:id="_tjAFUXd7EeOs5MmX1Up0pg" lineColor="4210752"/>
  141. <styles xsi:type="notation:FontStyle" xmi:id="_tjAsYHd7EeOs5MmX1Up0pg" fontName="Verdana"/>
  142. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_tjAFUnd7EeOs5MmX1Up0pg" points="[8, 6, -92, -84]$[118, 90, 18, 0]"/>
  143. </edges>
  144. <edges xmi:id="_t7fd0Hd7EeOs5MmX1Up0pg" type="Transition" element="_t7cagHd7EeOs5MmX1Up0pg" source="_rWUyYHd7EeOs5MmX1Up0pg" target="_r2pRMHd7EeOs5MmX1Up0pg">
  145. <children xsi:type="notation:DecorationNode" xmi:id="_t7gr8Hd7EeOs5MmX1Up0pg" type="TransitionExpression">
  146. <styles xsi:type="notation:ShapeStyle" xmi:id="_t7gr8Xd7EeOs5MmX1Up0pg"/>
  147. <layoutConstraint xsi:type="notation:Location" xmi:id="_t7gr8nd7EeOs5MmX1Up0pg" x="5" y="15"/>
  148. </children>
  149. <styles xsi:type="notation:ConnectorStyle" xmi:id="_t7fd0Xd7EeOs5MmX1Up0pg" lineColor="4210752"/>
  150. <styles xsi:type="notation:FontStyle" xmi:id="_t7gE4Hd7EeOs5MmX1Up0pg" fontName="Verdana"/>
  151. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_t7fd0nd7EeOs5MmX1Up0pg" points="[-7, 6, 103, -78]$[-106, 74, 4, -10]"/>
  152. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_t7mykHd7EeOs5MmX1Up0pg" id="(0.65,0.22641509433962265)"/>
  153. </edges>
  154. </notation:Diagram>
  155. </xmi:XMI>