example.sct 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120
  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/2.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText">
  3. <sgraph:Statechart xmi:id="_g9KqMP78EeCTNZx8j-fbNg" name="example" expression="interface A:&#xD;&#xA;var a : integer&#xD;&#xA;&#xD;&#xA;interface:&#xD;&#xA;var b : integer&#xD;&#xA;&#xD;&#xA;internal :&#xD;&#xA;event A">
  4. <scopes xsi:type="stext:InterfaceScope" xmi:id="_5WQU8P78EeCTNZx8j-fbNg" name="A">
  5. <declarations xsi:type="stext:VariableDefinition" xmi:id="_5WQU8f78EeCTNZx8j-fbNg" name="a" type="integer"/>
  6. </scopes>
  7. <scopes xsi:type="stext:InterfaceScope" xmi:id="_5WQU8v78EeCTNZx8j-fbNg">
  8. <declarations xsi:type="stext:VariableDefinition" xmi:id="_5WQU8_78EeCTNZx8j-fbNg" name="b" type="integer"/>
  9. </scopes>
  10. <scopes xsi:type="stext:InternalScope" xmi:id="_5WQU9P78EeCTNZx8j-fbNg">
  11. <declarations xsi:type="stext:EventDefinition" xmi:id="_5WQU9f78EeCTNZx8j-fbNg" name="A"/>
  12. </scopes>
  13. <regions xmi:id="_g9KqM_78EeCTNZx8j-fbNg" name="main region">
  14. <vertices xsi:type="sgraph:Entry" xmi:id="_g9KqPf78EeCTNZx8j-fbNg">
  15. <outgoingTransitions xmi:id="_g9UbM_78EeCTNZx8j-fbNg" target="_g9KqSP78EeCTNZx8j-fbNg"/>
  16. </vertices>
  17. <vertices xsi:type="sgraph:State" xmi:id="_g9KqSP78EeCTNZx8j-fbNg" name="S1" incomingTransitions="_g9UbM_78EeCTNZx8j-fbNg">
  18. <outgoingTransitions xmi:id="_tgGmUP78EeCTNZx8j-fbNg" expression="/a = 2;" target="_sHlUMP78EeCTNZx8j-fbNg">
  19. <effect xsi:type="stext:ReactionEffect" xmi:id="_5WQU9_78EeCTNZx8j-fbNg">
  20. <actions xsi:type="stext:Assignment" xmi:id="_5WQU-P78EeCTNZx8j-fbNg" varRef="_5WQU8f78EeCTNZx8j-fbNg">
  21. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_5WQU-f78EeCTNZx8j-fbNg" value="2"/>
  22. </actions>
  23. </effect>
  24. </outgoingTransitions>
  25. <scopes xmi:id="_5WQU9v78EeCTNZx8j-fbNg"/>
  26. </vertices>
  27. <vertices xsi:type="sgraph:State" xmi:id="_sHlUMP78EeCTNZx8j-fbNg" name="S2" incomingTransitions="_tgGmUP78EeCTNZx8j-fbNg">
  28. <scopes xmi:id="_5WaF8P78EeCTNZx8j-fbNg"/>
  29. </vertices>
  30. </regions>
  31. </sgraph:Statechart>
  32. <notation:Diagram xmi:id="_g9KqMf78EeCTNZx8j-fbNg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_g9KqMP78EeCTNZx8j-fbNg" measurementUnit="Pixel">
  33. <children xmi:id="_g9KqNP78EeCTNZx8j-fbNg" type="Region" element="_g9KqM_78EeCTNZx8j-fbNg">
  34. <children xsi:type="notation:DecorationNode" xmi:id="_g9KqN_78EeCTNZx8j-fbNg" type="RegionName">
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9KqOP78EeCTNZx8j-fbNg"/>
  36. <layoutConstraint xsi:type="notation:Location" xmi:id="_g9KqOf78EeCTNZx8j-fbNg"/>
  37. </children>
  38. <children xsi:type="notation:Shape" xmi:id="_g9KqOv78EeCTNZx8j-fbNg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  39. <children xmi:id="_g9KqPv78EeCTNZx8j-fbNg" type="Entry" element="_g9KqPf78EeCTNZx8j-fbNg">
  40. <children xmi:id="_g9KqQf78EeCTNZx8j-fbNg" type="BorderItemLabelContainer">
  41. <children xsi:type="notation:DecorationNode" xmi:id="_g9KqRP78EeCTNZx8j-fbNg" type="BorderItemLabel">
  42. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9KqRf78EeCTNZx8j-fbNg"/>
  43. <layoutConstraint xsi:type="notation:Location" xmi:id="_g9KqRv78EeCTNZx8j-fbNg"/>
  44. </children>
  45. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9KqQv78EeCTNZx8j-fbNg" fontName="Verdana" lineColor="4210752"/>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_g9KqQ_78EeCTNZx8j-fbNg"/>
  47. </children>
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9KqP_78EeCTNZx8j-fbNg" fontName="Verdana" lineColor="4210752"/>
  49. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_g9KqR_78EeCTNZx8j-fbNg" x="70" y="20"/>
  50. </children>
  51. <children xmi:id="_g9KqSv78EeCTNZx8j-fbNg" type="State" element="_g9KqSP78EeCTNZx8j-fbNg">
  52. <children xsi:type="notation:DecorationNode" xmi:id="_g9KqTv78EeCTNZx8j-fbNg" type="StateName">
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9KqT_78EeCTNZx8j-fbNg"/>
  54. <layoutConstraint xsi:type="notation:Location" xmi:id="_g9KqUP78EeCTNZx8j-fbNg"/>
  55. </children>
  56. <children xsi:type="notation:Compartment" xmi:id="_g9KqUf78EeCTNZx8j-fbNg" type="StateTextCompartment">
  57. <children xsi:type="notation:Shape" xmi:id="_g9KqUv78EeCTNZx8j-fbNg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  58. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_g9KqU_78EeCTNZx8j-fbNg"/>
  59. </children>
  60. </children>
  61. <children xsi:type="notation:Compartment" xmi:id="_g9UbMP78EeCTNZx8j-fbNg" type="StateFigureCompartment"/>
  62. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9KqS_78EeCTNZx8j-fbNg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  63. <styles xsi:type="notation:FontStyle" xmi:id="_g9KqTP78EeCTNZx8j-fbNg"/>
  64. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_g9UbMf78EeCTNZx8j-fbNg"/>
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_g9UbMv78EeCTNZx8j-fbNg" x="40" y="80"/>
  66. </children>
  67. <children xmi:id="_sHvFMP78EeCTNZx8j-fbNg" type="State" element="_sHlUMP78EeCTNZx8j-fbNg">
  68. <children xsi:type="notation:DecorationNode" xmi:id="_sHvFNP78EeCTNZx8j-fbNg" type="StateName">
  69. <styles xsi:type="notation:ShapeStyle" xmi:id="_sHvFNf78EeCTNZx8j-fbNg"/>
  70. <layoutConstraint xsi:type="notation:Location" xmi:id="_sHvFNv78EeCTNZx8j-fbNg"/>
  71. </children>
  72. <children xsi:type="notation:Compartment" xmi:id="_sHvFN_78EeCTNZx8j-fbNg" type="StateTextCompartment">
  73. <children xsi:type="notation:Shape" xmi:id="_sHvFOP78EeCTNZx8j-fbNg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  74. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_sHvFOf78EeCTNZx8j-fbNg"/>
  75. </children>
  76. </children>
  77. <children xsi:type="notation:Compartment" xmi:id="_sHvFOv78EeCTNZx8j-fbNg" type="StateFigureCompartment"/>
  78. <styles xsi:type="notation:ShapeStyle" xmi:id="_sHvFMf78EeCTNZx8j-fbNg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  79. <styles xsi:type="notation:FontStyle" xmi:id="_sHvFMv78EeCTNZx8j-fbNg"/>
  80. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_sHvFO_78EeCTNZx8j-fbNg"/>
  81. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_sHvFM_78EeCTNZx8j-fbNg" x="242" y="87"/>
  82. </children>
  83. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_g9KqO_78EeCTNZx8j-fbNg"/>
  84. </children>
  85. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9KqNf78EeCTNZx8j-fbNg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  86. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_g9KqPP78EeCTNZx8j-fbNg" x="220" y="10" width="400" height="400"/>
  87. </children>
  88. <children xsi:type="notation:Shape" xmi:id="_g9UbO_78EeCTNZx8j-fbNg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  89. <children xsi:type="notation:DecorationNode" xmi:id="_g9UbPf78EeCTNZx8j-fbNg" type="StatechartName">
  90. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9UbPv78EeCTNZx8j-fbNg"/>
  91. <layoutConstraint xsi:type="notation:Location" xmi:id="_g9UbP_78EeCTNZx8j-fbNg"/>
  92. </children>
  93. <children xsi:type="notation:Shape" xmi:id="_g9UbQP78EeCTNZx8j-fbNg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  94. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_g9UbQf78EeCTNZx8j-fbNg"/>
  95. </children>
  96. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_g9UbQv78EeCTNZx8j-fbNg" x="10" y="10" width="200" height="400"/>
  97. </children>
  98. <styles xsi:type="notation:DiagramStyle" xmi:id="_g9KqMv78EeCTNZx8j-fbNg"/>
  99. <edges xmi:id="_g9UbNP78EeCTNZx8j-fbNg" type="Transition" element="_g9UbM_78EeCTNZx8j-fbNg" source="_g9KqPv78EeCTNZx8j-fbNg" target="_g9KqSv78EeCTNZx8j-fbNg">
  100. <children xsi:type="notation:DecorationNode" xmi:id="_g9UbOP78EeCTNZx8j-fbNg" type="TransitionExpression">
  101. <styles xsi:type="notation:ShapeStyle" xmi:id="_g9UbOf78EeCTNZx8j-fbNg"/>
  102. <layoutConstraint xsi:type="notation:Location" xmi:id="_g9UbOv78EeCTNZx8j-fbNg" y="40"/>
  103. </children>
  104. <styles xsi:type="notation:ConnectorStyle" xmi:id="_g9UbNf78EeCTNZx8j-fbNg" lineColor="4210752"/>
  105. <styles xsi:type="notation:FontStyle" xmi:id="_g9UbN_78EeCTNZx8j-fbNg" fontName="Verdana"/>
  106. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_g9UbNv78EeCTNZx8j-fbNg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  107. </edges>
  108. <edges xmi:id="_tgQXUP78EeCTNZx8j-fbNg" type="Transition" element="_tgGmUP78EeCTNZx8j-fbNg" source="_g9KqSv78EeCTNZx8j-fbNg" target="_sHvFMP78EeCTNZx8j-fbNg">
  109. <children xsi:type="notation:DecorationNode" xmi:id="_tgQXVP78EeCTNZx8j-fbNg" type="TransitionExpression">
  110. <styles xsi:type="notation:ShapeStyle" xmi:id="_tgQXVf78EeCTNZx8j-fbNg"/>
  111. <layoutConstraint xsi:type="notation:Location" xmi:id="_tgQXVv78EeCTNZx8j-fbNg" x="6" y="-23"/>
  112. </children>
  113. <styles xsi:type="notation:ConnectorStyle" xmi:id="_tgQXUf78EeCTNZx8j-fbNg" lineColor="4210752"/>
  114. <styles xsi:type="notation:FontStyle" xmi:id="_tgQXU_78EeCTNZx8j-fbNg" fontName="Verdana"/>
  115. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_tgQXUv78EeCTNZx8j-fbNg" points="[9, 5, -182, 0]$[189, -25, -2, -30]"/>
  116. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tg2NMP78EeCTNZx8j-fbNg" id="(0.775,0.5245901639344263)"/>
  117. </edges>
  118. </notation:Diagram>
  119. </xmi:XMI>