ExitOnSelfTransition.sct 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128
  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="_wsWvwPZpEeGg3a5RiiuycA" specification=" &#xA;interface:&#xA;&#x9;in event e &#xA;&#x9;in event f&#xA;&#x9;&#xA;&#x9;var entryCount : integer = 0&#xA;&#x9;var exitCount : integer = 0" name="ExitOnSelfTransition">
  4. <regions xmi:id="_wsbBMvZpEeGg3a5RiiuycA" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_wshu4fZpEeGg3a5RiiuycA">
  6. <outgoingTransitions xmi:id="_wsmAUPZpEeGg3a5RiiuycA" target="_wsjkEfZpEeGg3a5RiiuycA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_wsjkEfZpEeGg3a5RiiuycA" specification="entry / entryCount += 1&#xA;exit / exitCount+=1" name="A" incomingTransitions="_wsmAUPZpEeGg3a5RiiuycA _9iCowPZpEeGg3a5RiiuycA _hMhvQPZqEeGg3a5RiiuycA">
  9. <outgoingTransitions xmi:id="_9iCowPZpEeGg3a5RiiuycA" specification="e" target="_wsjkEfZpEeGg3a5RiiuycA"/>
  10. <outgoingTransitions xmi:id="_dM7tMPZqEeGg3a5RiiuycA" specification="f" target="_axe-cPZqEeGg3a5RiiuycA"/>
  11. </vertices>
  12. <vertices xsi:type="sgraph:State" xmi:id="_axe-cPZqEeGg3a5RiiuycA" name="B" incomingTransitions="_dM7tMPZqEeGg3a5RiiuycA">
  13. <outgoingTransitions xmi:id="_hMhvQPZqEeGg3a5RiiuycA" specification="f" target="_wsjkEfZpEeGg3a5RiiuycA"/>
  14. </vertices>
  15. </regions>
  16. </sgraph:Statechart>
  17. <notation:Diagram xmi:id="_wsbBMPZpEeGg3a5RiiuycA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_wsWvwPZpEeGg3a5RiiuycA" measurementUnit="Pixel">
  18. <children xmi:id="_wscPUPZpEeGg3a5RiiuycA" type="Region" element="_wsbBMvZpEeGg3a5RiiuycA">
  19. <children xsi:type="notation:DecorationNode" xmi:id="_wsddcPZpEeGg3a5RiiuycA" type="RegionName">
  20. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsddcfZpEeGg3a5RiiuycA"/>
  21. <layoutConstraint xsi:type="notation:Location" xmi:id="_wshH0PZpEeGg3a5RiiuycA"/>
  22. </children>
  23. <children xsi:type="notation:Shape" xmi:id="_wshH0fZpEeGg3a5RiiuycA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  24. <children xmi:id="_wsiV8PZpEeGg3a5RiiuycA" type="Entry" element="_wshu4fZpEeGg3a5RiiuycA">
  25. <children xmi:id="_wsi9APZpEeGg3a5RiiuycA" type="BorderItemLabelContainer">
  26. <children xsi:type="notation:DecorationNode" xmi:id="_wsi9A_ZpEeGg3a5RiiuycA" type="BorderItemLabel">
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsi9BPZpEeGg3a5RiiuycA"/>
  28. <layoutConstraint xsi:type="notation:Location" xmi:id="_wsi9BfZpEeGg3a5RiiuycA"/>
  29. </children>
  30. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsi9AfZpEeGg3a5RiiuycA" fontName="Verdana" lineColor="4210752"/>
  31. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wsi9AvZpEeGg3a5RiiuycA"/>
  32. </children>
  33. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsiV8fZpEeGg3a5RiiuycA" fontName="Verdana" lineColor="4210752"/>
  34. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wsjkEPZpEeGg3a5RiiuycA" x="70" y="20"/>
  35. </children>
  36. <children xmi:id="_wskLIPZpEeGg3a5RiiuycA" type="State" element="_wsjkEfZpEeGg3a5RiiuycA">
  37. <children xsi:type="notation:DecorationNode" xmi:id="_wskLJPZpEeGg3a5RiiuycA" type="StateName">
  38. <styles xsi:type="notation:ShapeStyle" xmi:id="_wskLJfZpEeGg3a5RiiuycA"/>
  39. <layoutConstraint xsi:type="notation:Location" xmi:id="_wskLJvZpEeGg3a5RiiuycA"/>
  40. </children>
  41. <children xsi:type="notation:Compartment" xmi:id="_wskyMPZpEeGg3a5RiiuycA" type="StateTextCompartment">
  42. <children xsi:type="notation:Shape" xmi:id="_wskyMfZpEeGg3a5RiiuycA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  43. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wskyMvZpEeGg3a5RiiuycA"/>
  44. </children>
  45. </children>
  46. <children xsi:type="notation:Compartment" xmi:id="_wslZQPZpEeGg3a5RiiuycA" type="StateFigureCompartment"/>
  47. <styles xsi:type="notation:ShapeStyle" xmi:id="_wskLIfZpEeGg3a5RiiuycA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  48. <styles xsi:type="notation:FontStyle" xmi:id="_wskLIvZpEeGg3a5RiiuycA"/>
  49. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_wslZQfZpEeGg3a5RiiuycA"/>
  50. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wslZQvZpEeGg3a5RiiuycA" x="53" y="79" width="138" height="58"/>
  51. </children>
  52. <children xmi:id="_axm6QPZqEeGg3a5RiiuycA" type="State" element="_axe-cPZqEeGg3a5RiiuycA">
  53. <children xsi:type="notation:DecorationNode" xmi:id="_axrLsPZqEeGg3a5RiiuycA" type="StateName">
  54. <styles xsi:type="notation:ShapeStyle" xmi:id="_axrLsfZqEeGg3a5RiiuycA"/>
  55. <layoutConstraint xsi:type="notation:Location" xmi:id="_axrLsvZqEeGg3a5RiiuycA"/>
  56. </children>
  57. <children xsi:type="notation:Compartment" xmi:id="_axrLs_ZqEeGg3a5RiiuycA" type="StateTextCompartment" collapsed="true">
  58. <children xsi:type="notation:Shape" xmi:id="_axrywPZqEeGg3a5RiiuycA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  59. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_axrywfZqEeGg3a5RiiuycA"/>
  60. </children>
  61. </children>
  62. <children xsi:type="notation:Compartment" xmi:id="_axrywvZqEeGg3a5RiiuycA" type="StateFigureCompartment"/>
  63. <styles xsi:type="notation:ShapeStyle" xmi:id="_axm6QfZqEeGg3a5RiiuycA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  64. <styles xsi:type="notation:FontStyle" xmi:id="_axm6QvZqEeGg3a5RiiuycA"/>
  65. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_axsZ0PZqEeGg3a5RiiuycA"/>
  66. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_axm6Q_ZqEeGg3a5RiiuycA" x="70" y="207" width="26" height="30"/>
  67. </children>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wshH0vZpEeGg3a5RiiuycA"/>
  69. </children>
  70. <styles xsi:type="notation:ShapeStyle" xmi:id="_wscPUfZpEeGg3a5RiiuycA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  71. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wshu4PZpEeGg3a5RiiuycA" x="220" y="10" width="400" height="400"/>
  72. </children>
  73. <children xsi:type="notation:Shape" xmi:id="_wsq40PZpEeGg3a5RiiuycA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  74. <children xsi:type="notation:DecorationNode" xmi:id="_wsq40vZpEeGg3a5RiiuycA" type="StatechartName">
  75. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsq40_ZpEeGg3a5RiiuycA"/>
  76. <layoutConstraint xsi:type="notation:Location" xmi:id="_wsq41PZpEeGg3a5RiiuycA"/>
  77. </children>
  78. <children xsi:type="notation:Shape" xmi:id="_wsq41fZpEeGg3a5RiiuycA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  79. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wsq41vZpEeGg3a5RiiuycA"/>
  80. </children>
  81. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wsrf4PZpEeGg3a5RiiuycA" x="8" y="10" width="200" height="400"/>
  82. </children>
  83. <styles xsi:type="notation:DiagramStyle" xmi:id="_wsbBMfZpEeGg3a5RiiuycA"/>
  84. <edges xmi:id="_wspqsPZpEeGg3a5RiiuycA" type="Transition" element="_wsmAUPZpEeGg3a5RiiuycA" source="_wsiV8PZpEeGg3a5RiiuycA" target="_wskLIPZpEeGg3a5RiiuycA">
  85. <children xsi:type="notation:DecorationNode" xmi:id="_wsqRwfZpEeGg3a5RiiuycA" type="TransitionExpression">
  86. <styles xsi:type="notation:ShapeStyle" xmi:id="_wsqRwvZpEeGg3a5RiiuycA"/>
  87. <layoutConstraint xsi:type="notation:Location" xmi:id="_wsqRw_ZpEeGg3a5RiiuycA" y="10"/>
  88. </children>
  89. <styles xsi:type="notation:ConnectorStyle" xmi:id="_wspqsfZpEeGg3a5RiiuycA" lineColor="4210752"/>
  90. <styles xsi:type="notation:FontStyle" xmi:id="_wsqRwPZpEeGg3a5RiiuycA" fontName="Verdana"/>
  91. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_wspqsvZpEeGg3a5RiiuycA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  92. </edges>
  93. <edges xmi:id="_9iTHcPZpEeGg3a5RiiuycA" type="Transition" element="_9iCowPZpEeGg3a5RiiuycA" source="_wskLIPZpEeGg3a5RiiuycA" target="_wskLIPZpEeGg3a5RiiuycA">
  94. <children xsi:type="notation:DecorationNode" xmi:id="_9iTugfZpEeGg3a5RiiuycA" type="TransitionExpression">
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_9iTugvZpEeGg3a5RiiuycA"/>
  96. <layoutConstraint xsi:type="notation:Location" xmi:id="_9iWKwPZpEeGg3a5RiiuycA" y="10"/>
  97. </children>
  98. <styles xsi:type="notation:ConnectorStyle" xmi:id="_9iTHcfZpEeGg3a5RiiuycA" lineColor="4210752"/>
  99. <styles xsi:type="notation:FontStyle" xmi:id="_9iTugPZpEeGg3a5RiiuycA" fontName="Verdana"/>
  100. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_9iTHcvZpEeGg3a5RiiuycA" points="[0, 7, 30, 0]$[15, 7, 45, 0]$[15, 49, 45, 42]$[-30, 49, 0, 42]$[-30, 22, 0, 15]"/>
  101. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9ivMUPZpEeGg3a5RiiuycA" id="(1.0,0.5849056603773585)"/>
  102. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_9ivzYPZpEeGg3a5RiiuycA" id="(0.7818181818181819,0.7169811320754716)"/>
  103. </edges>
  104. <edges xmi:id="_dM87UPZqEeGg3a5RiiuycA" type="Transition" element="_dM7tMPZqEeGg3a5RiiuycA" source="_wskLIPZpEeGg3a5RiiuycA" target="_axm6QPZqEeGg3a5RiiuycA">
  105. <children xsi:type="notation:DecorationNode" xmi:id="_dM87VPZqEeGg3a5RiiuycA" type="TransitionExpression">
  106. <styles xsi:type="notation:ShapeStyle" xmi:id="_dM87VfZqEeGg3a5RiiuycA"/>
  107. <layoutConstraint xsi:type="notation:Location" xmi:id="_dM9iYPZqEeGg3a5RiiuycA" y="10"/>
  108. </children>
  109. <styles xsi:type="notation:ConnectorStyle" xmi:id="_dM87UfZqEeGg3a5RiiuycA" lineColor="4210752"/>
  110. <styles xsi:type="notation:FontStyle" xmi:id="_dM87U_ZqEeGg3a5RiiuycA" fontName="Verdana"/>
  111. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_dM87UvZqEeGg3a5RiiuycA" points="[0, 0, 20, -82]$[-18, 75, 2, -7]"/>
  112. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dNCa4PZqEeGg3a5RiiuycA" id="(0.18115942028985507,0.9137931034482759)"/>
  113. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dNCa4fZqEeGg3a5RiiuycA" id="(0.25,0.225)"/>
  114. </edges>
  115. <edges xmi:id="_hMi9YPZqEeGg3a5RiiuycA" type="Transition" element="_hMhvQPZqEeGg3a5RiiuycA" source="_axm6QPZqEeGg3a5RiiuycA" target="_wskLIPZpEeGg3a5RiiuycA">
  116. <children xsi:type="notation:DecorationNode" xmi:id="_hMjkcPZqEeGg3a5RiiuycA" type="TransitionExpression">
  117. <styles xsi:type="notation:ShapeStyle" xmi:id="_hMjkcfZqEeGg3a5RiiuycA"/>
  118. <layoutConstraint xsi:type="notation:Location" xmi:id="_hMjkcvZqEeGg3a5RiiuycA" y="10"/>
  119. </children>
  120. <styles xsi:type="notation:ConnectorStyle" xmi:id="_hMi9YfZqEeGg3a5RiiuycA" lineColor="4210752"/>
  121. <styles xsi:type="notation:FontStyle" xmi:id="_hMi9Y_ZqEeGg3a5RiiuycA" fontName="Verdana"/>
  122. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_hMi9YvZqEeGg3a5RiiuycA" points="[3, -35, -16, 102]$[11, -163, -8, -26]"/>
  123. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hMoc8PZqEeGg3a5RiiuycA" id="(0.875,1.0)"/>
  124. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_lwd0gPZqEeGg3a5RiiuycA" id="(0.34782608695652173,0.9310344827586207)"/>
  125. </edges>
  126. </notation:Diagram>
  127. </xmi:XMI>