Operations.sct 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  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="_o9WJwD1DEeK7haHJZ9RPwA" specification="internal:&#xD;&#xA;operation internalOperation1() &#xD;&#xA;operation internalOperation2(param1 : integer) :boolean&#xD;&#xA;var myBool : boolean &#xD;&#xA;&#xD;&#xA;interface Interface1:&#xD;&#xA;operation interfaceOperation1() &#xD;&#xA;operation interfaceOperation2(param1 : integer) :boolean&#xD;&#xA;&#xD;&#xA;interface:&#xD;&#xA;in event ev&#xD;&#xA;operation unnamedInterfaceOperation1()&#xD;&#xA;operation unnamedInterfaceOperation2(param1 : integer) :boolean&#xD;&#xA;" name="Operations">
  4. <regions xmi:id="_o9WJwz1DEeK7haHJZ9RPwA" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_o9cQYD1DEeK7haHJZ9RPwA">
  6. <outgoingTransitions xmi:id="_o9cQej1DEeK7haHJZ9RPwA" target="_o9cQaz1DEeK7haHJZ9RPwA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_o9cQaz1DEeK7haHJZ9RPwA" specification="entry / internalOperation1()&#xD;&#xA;entry / myBool = internalOperation2(4)" name="A" incomingTransitions="_o9cQej1DEeK7haHJZ9RPwA">
  9. <outgoingTransitions xmi:id="__4FnMD1DEeK7haHJZ9RPwA" specification="ev" target="__d3JUD1DEeK7haHJZ9RPwA"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="__d3JUD1DEeK7haHJZ9RPwA" specification="entry / Interface1.interfaceOperation1()&#xD;&#xA;entry / Interface1.interfaceOperation2(4)" name="B" incomingTransitions="__4FnMD1DEeK7haHJZ9RPwA">
  12. <outgoingTransitions xmi:id="_PPFoUD3yEeK47LT8Vd-Q2Q" specification="ev" target="_AJilgD3yEeK47LT8Vd-Q2Q"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:State" xmi:id="_AJilgD3yEeK47LT8Vd-Q2Q" specification="entry / unnamedInterfaceOperation1(); unnamedInterfaceOperation2(4)" name="C" incomingTransitions="_PPFoUD3yEeK47LT8Vd-Q2Q"/>
  15. </regions>
  16. </sgraph:Statechart>
  17. <notation:Diagram xmi:id="_o9WJwT1DEeK7haHJZ9RPwA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_o9WJwD1DEeK7haHJZ9RPwA" measurementUnit="Pixel">
  18. <children xmi:id="_o9WJxD1DEeK7haHJZ9RPwA" type="Region" element="_o9WJwz1DEeK7haHJZ9RPwA">
  19. <children xsi:type="notation:DecorationNode" xmi:id="_o9WJxz1DEeK7haHJZ9RPwA" type="RegionName">
  20. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9WJyD1DEeK7haHJZ9RPwA"/>
  21. <layoutConstraint xsi:type="notation:Location" xmi:id="_o9WJyT1DEeK7haHJZ9RPwA"/>
  22. </children>
  23. <children xsi:type="notation:Shape" xmi:id="_o9WJyj1DEeK7haHJZ9RPwA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  24. <children xmi:id="_o9cQYT1DEeK7haHJZ9RPwA" type="Entry" element="_o9cQYD1DEeK7haHJZ9RPwA">
  25. <children xmi:id="_o9cQZD1DEeK7haHJZ9RPwA" type="BorderItemLabelContainer">
  26. <children xsi:type="notation:DecorationNode" xmi:id="_o9cQZz1DEeK7haHJZ9RPwA" type="BorderItemLabel">
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9cQaD1DEeK7haHJZ9RPwA"/>
  28. <layoutConstraint xsi:type="notation:Location" xmi:id="_o9cQaT1DEeK7haHJZ9RPwA"/>
  29. </children>
  30. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9cQZT1DEeK7haHJZ9RPwA" fontName="Verdana" lineColor="4210752"/>
  31. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o9cQZj1DEeK7haHJZ9RPwA"/>
  32. </children>
  33. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9cQYj1DEeK7haHJZ9RPwA" fontName="Verdana" lineColor="4210752"/>
  34. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o9cQaj1DEeK7haHJZ9RPwA" x="190"/>
  35. </children>
  36. <children xmi:id="_o9cQbT1DEeK7haHJZ9RPwA" type="State" element="_o9cQaz1DEeK7haHJZ9RPwA">
  37. <children xsi:type="notation:DecorationNode" xmi:id="_o9cQcT1DEeK7haHJZ9RPwA" type="StateName">
  38. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9cQcj1DEeK7haHJZ9RPwA"/>
  39. <layoutConstraint xsi:type="notation:Location" xmi:id="_o9cQcz1DEeK7haHJZ9RPwA"/>
  40. </children>
  41. <children xsi:type="notation:Compartment" xmi:id="_o9cQdD1DEeK7haHJZ9RPwA" type="StateTextCompartment">
  42. <children xsi:type="notation:Shape" xmi:id="_o9cQdT1DEeK7haHJZ9RPwA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  43. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o9cQdj1DEeK7haHJZ9RPwA"/>
  44. </children>
  45. </children>
  46. <children xsi:type="notation:Compartment" xmi:id="_o9cQdz1DEeK7haHJZ9RPwA" type="StateFigureCompartment"/>
  47. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9cQbj1DEeK7haHJZ9RPwA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  48. <styles xsi:type="notation:FontStyle" xmi:id="_o9cQbz1DEeK7haHJZ9RPwA"/>
  49. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_o9cQeD1DEeK7haHJZ9RPwA"/>
  50. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o9cQeT1DEeK7haHJZ9RPwA" x="67" y="40" width="272" height="80"/>
  51. </children>
  52. <children xmi:id="__d9P8D1DEeK7haHJZ9RPwA" type="State" element="__d3JUD1DEeK7haHJZ9RPwA">
  53. <children xsi:type="notation:DecorationNode" xmi:id="__d9P9D1DEeK7haHJZ9RPwA" type="StateName">
  54. <styles xsi:type="notation:ShapeStyle" xmi:id="__d9P9T1DEeK7haHJZ9RPwA"/>
  55. <layoutConstraint xsi:type="notation:Location" xmi:id="__d9P9j1DEeK7haHJZ9RPwA"/>
  56. </children>
  57. <children xsi:type="notation:Compartment" xmi:id="__d9P9z1DEeK7haHJZ9RPwA" type="StateTextCompartment">
  58. <children xsi:type="notation:Shape" xmi:id="__d9P-D1DEeK7haHJZ9RPwA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  59. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__d9P-T1DEeK7haHJZ9RPwA"/>
  60. </children>
  61. </children>
  62. <children xsi:type="notation:Compartment" xmi:id="__d9P-j1DEeK7haHJZ9RPwA" type="StateFigureCompartment"/>
  63. <styles xsi:type="notation:ShapeStyle" xmi:id="__d9P8T1DEeK7haHJZ9RPwA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  64. <styles xsi:type="notation:FontStyle" xmi:id="__d9P8j1DEeK7haHJZ9RPwA"/>
  65. <styles xsi:type="notation:BooleanValueStyle" xmi:id="__d9P-z1DEeK7haHJZ9RPwA"/>
  66. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__d9P8z1DEeK7haHJZ9RPwA" x="60" y="160" width="286" height="80"/>
  67. </children>
  68. <children xmi:id="_AJsWgD3yEeK47LT8Vd-Q2Q" type="State" element="_AJilgD3yEeK47LT8Vd-Q2Q">
  69. <children xsi:type="notation:DecorationNode" xmi:id="_AKJCcD3yEeK47LT8Vd-Q2Q" type="StateName">
  70. <styles xsi:type="notation:ShapeStyle" xmi:id="_AKJCcT3yEeK47LT8Vd-Q2Q"/>
  71. <layoutConstraint xsi:type="notation:Location" xmi:id="_AKJCcj3yEeK47LT8Vd-Q2Q"/>
  72. </children>
  73. <children xsi:type="notation:Compartment" xmi:id="_AKJCcz3yEeK47LT8Vd-Q2Q" type="StateTextCompartment">
  74. <children xsi:type="notation:Shape" xmi:id="_AKJCdD3yEeK47LT8Vd-Q2Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  75. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AKJCdT3yEeK47LT8Vd-Q2Q"/>
  76. </children>
  77. </children>
  78. <children xsi:type="notation:Compartment" xmi:id="_AKJCdj3yEeK47LT8Vd-Q2Q" type="StateFigureCompartment"/>
  79. <styles xsi:type="notation:ShapeStyle" xmi:id="_AJsWgT3yEeK47LT8Vd-Q2Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  80. <styles xsi:type="notation:FontStyle" xmi:id="_AJsWgj3yEeK47LT8Vd-Q2Q"/>
  81. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_AKJCdz3yEeK47LT8Vd-Q2Q"/>
  82. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_AJsWgz3yEeK47LT8Vd-Q2Q" x="60" y="264" width="281" height="61"/>
  83. </children>
  84. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o9WJyz1DEeK7haHJZ9RPwA"/>
  85. </children>
  86. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9WJxT1DEeK7haHJZ9RPwA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  87. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o9WJzD1DEeK7haHJZ9RPwA" x="460" y="10" width="400" height="400"/>
  88. </children>
  89. <children xsi:type="notation:Shape" xmi:id="_o9iXAD1DEeK7haHJZ9RPwA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  90. <children xsi:type="notation:DecorationNode" xmi:id="_o9iXAj1DEeK7haHJZ9RPwA" type="StatechartName">
  91. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9iXAz1DEeK7haHJZ9RPwA"/>
  92. <layoutConstraint xsi:type="notation:Location" xmi:id="_o9iXBD1DEeK7haHJZ9RPwA"/>
  93. </children>
  94. <children xsi:type="notation:Shape" xmi:id="_o9iXBT1DEeK7haHJZ9RPwA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  95. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o9iXBj1DEeK7haHJZ9RPwA"/>
  96. </children>
  97. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_o9iXBz1DEeK7haHJZ9RPwA" x="10" y="10" width="451" height="400"/>
  98. </children>
  99. <styles xsi:type="notation:DiagramStyle" xmi:id="_o9WJwj1DEeK7haHJZ9RPwA"/>
  100. <edges xmi:id="_o9cQez1DEeK7haHJZ9RPwA" type="Transition" element="_o9cQej1DEeK7haHJZ9RPwA" source="_o9cQYT1DEeK7haHJZ9RPwA" target="_o9cQbT1DEeK7haHJZ9RPwA">
  101. <children xsi:type="notation:DecorationNode" xmi:id="_o9cQfz1DEeK7haHJZ9RPwA" type="TransitionExpression">
  102. <styles xsi:type="notation:ShapeStyle" xmi:id="_o9cQgD1DEeK7haHJZ9RPwA"/>
  103. <layoutConstraint xsi:type="notation:Location" xmi:id="_o9cQgT1DEeK7haHJZ9RPwA" y="10"/>
  104. </children>
  105. <styles xsi:type="notation:ConnectorStyle" xmi:id="_o9cQfD1DEeK7haHJZ9RPwA" lineColor="4210752"/>
  106. <styles xsi:type="notation:FontStyle" xmi:id="_o9cQfj1DEeK7haHJZ9RPwA" fontName="Verdana"/>
  107. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_o9cQfT1DEeK7haHJZ9RPwA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  108. </edges>
  109. <edges xmi:id="__4FnMT1DEeK7haHJZ9RPwA" type="Transition" element="__4FnMD1DEeK7haHJZ9RPwA" source="_o9cQbT1DEeK7haHJZ9RPwA" target="__d9P8D1DEeK7haHJZ9RPwA">
  110. <children xsi:type="notation:DecorationNode" xmi:id="__4FnNT1DEeK7haHJZ9RPwA" type="TransitionExpression">
  111. <styles xsi:type="notation:ShapeStyle" xmi:id="__4FnNj1DEeK7haHJZ9RPwA"/>
  112. <layoutConstraint xsi:type="notation:Location" xmi:id="__4FnNz1DEeK7haHJZ9RPwA" y="10"/>
  113. </children>
  114. <styles xsi:type="notation:ConnectorStyle" xmi:id="__4FnMj1DEeK7haHJZ9RPwA" lineColor="4210752"/>
  115. <styles xsi:type="notation:FontStyle" xmi:id="__4FnND1DEeK7haHJZ9RPwA" fontName="Verdana"/>
  116. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__4FnMz1DEeK7haHJZ9RPwA" points="[-6, 66, -3, -92]$[-11, 100, -8, -58]"/>
  117. </edges>
  118. <edges xmi:id="_PPPZUD3yEeK47LT8Vd-Q2Q" type="Transition" element="_PPFoUD3yEeK47LT8Vd-Q2Q" source="__d9P8D1DEeK7haHJZ9RPwA" target="_AJsWgD3yEeK47LT8Vd-Q2Q">
  119. <children xsi:type="notation:DecorationNode" xmi:id="_PPZKUD3yEeK47LT8Vd-Q2Q" type="TransitionExpression">
  120. <styles xsi:type="notation:ShapeStyle" xmi:id="_PPZKUT3yEeK47LT8Vd-Q2Q"/>
  121. <layoutConstraint xsi:type="notation:Location" xmi:id="_PPZKUj3yEeK47LT8Vd-Q2Q" y="10"/>
  122. </children>
  123. <styles xsi:type="notation:ConnectorStyle" xmi:id="_PPPZUT3yEeK47LT8Vd-Q2Q" lineColor="4210752"/>
  124. <styles xsi:type="notation:FontStyle" xmi:id="_PPPZUz3yEeK47LT8Vd-Q2Q" fontName="Verdana"/>
  125. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PPPZUj3yEeK47LT8Vd-Q2Q" points="[4, 38, 3, -29]$[4, 58, 3, -9]"/>
  126. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PPiUQD3yEeK47LT8Vd-Q2Q" id="(0.5124555160142349,0.16393442622950818)"/>
  127. </edges>
  128. </notation:Diagram>
  129. </xmi:XMI>