Constants.sct 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144
  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="_WbmUAHDFEeS-kPXuwFs1pA" specification="interface:&#xD;&#xA;in event e&#xD;&#xA;in event e2 : integer&#xD;&#xA;const x : integer = 10&#xD;&#xA;const y :integer = x *2&#xD;&#xA;&#xD;&#xA;var result : integer = 0&#xD;&#xA;&#xD;&#xA;interface Named:&#xD;&#xA;const y : string = &quot;Hello World&quot;&#xD;&#xA;const two : integer = 2&#xD;&#xA;&#xD;&#xA;internal:&#xD;&#xA;const internalConstant : integer = 5" name="Constants">
  4. <regions xmi:id="_WboJMnDFEeS-kPXuwFs1pA" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_WbqldnDFEeS-kPXuwFs1pA">
  6. <outgoingTransitions xmi:id="_WbtBs3DFEeS-kPXuwFs1pA" target="_WbrzlHDFEeS-kPXuwFs1pA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_WbrzlHDFEeS-kPXuwFs1pA" name="A" incomingTransitions="_WbtBs3DFEeS-kPXuwFs1pA _0r0-sOJ7EeSX98LLrxf-kw">
  9. <outgoingTransitions xmi:id="_KJyusHDGEeS-kPXuwFs1pA" specification="e" target="_9cjnEHDFEeS-kPXuwFs1pA"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_9cjnEHDFEeS-kPXuwFs1pA" specification="entry / result = Named.two * x" name="B" incomingTransitions="_KJyusHDGEeS-kPXuwFs1pA">
  12. <outgoingTransitions xmi:id="_kzHK4OG9EeS03b3Sal9BvQ" specification="e" target="_kbR5sOG9EeS03b3Sal9BvQ"/>
  13. </vertices>
  14. <vertices xsi:type="sgraph:State" xmi:id="_kbR5sOG9EeS03b3Sal9BvQ" specification="entry / result = result * internalConstant" name="C" incomingTransitions="_kzHK4OG9EeS03b3Sal9BvQ">
  15. <outgoingTransitions xmi:id="_0r0-sOJ7EeSX98LLrxf-kw" specification="e2 / result = valueof(e2) * x * Named.two * internalConstant" target="_WbrzlHDFEeS-kPXuwFs1pA"/>
  16. </vertices>
  17. </regions>
  18. </sgraph:Statechart>
  19. <notation:Diagram xmi:id="_WboJMHDFEeS-kPXuwFs1pA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_WbmUAHDFEeS-kPXuwFs1pA" measurementUnit="Pixel">
  20. <children xmi:id="_WbowQHDFEeS-kPXuwFs1pA" type="Region" element="_WboJMnDFEeS-kPXuwFs1pA">
  21. <children xsi:type="notation:DecorationNode" xmi:id="_WbqlcHDFEeS-kPXuwFs1pA" type="RegionName">
  22. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbqlcXDFEeS-kPXuwFs1pA"/>
  23. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbqlcnDFEeS-kPXuwFs1pA"/>
  24. </children>
  25. <children xsi:type="notation:Shape" xmi:id="_Wbqlc3DFEeS-kPXuwFs1pA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  26. <children xmi:id="_WbrMgHDFEeS-kPXuwFs1pA" type="Entry" element="_WbqldnDFEeS-kPXuwFs1pA">
  27. <children xmi:id="_WbrMg3DFEeS-kPXuwFs1pA" type="BorderItemLabelContainer">
  28. <children xsi:type="notation:DecorationNode" xmi:id="_WbrzkHDFEeS-kPXuwFs1pA" type="BorderItemLabel">
  29. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbrzkXDFEeS-kPXuwFs1pA"/>
  30. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbrzknDFEeS-kPXuwFs1pA"/>
  31. </children>
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbrMhHDFEeS-kPXuwFs1pA" fontName="Verdana" lineColor="4210752"/>
  33. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbrMhXDFEeS-kPXuwFs1pA"/>
  34. </children>
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbrMgXDFEeS-kPXuwFs1pA" fontName="Verdana" lineColor="4210752"/>
  36. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Wbrzk3DFEeS-kPXuwFs1pA" x="70" y="20"/>
  37. </children>
  38. <children xmi:id="_Wbrzl3DFEeS-kPXuwFs1pA" type="State" element="_WbrzlHDFEeS-kPXuwFs1pA">
  39. <children xsi:type="notation:DecorationNode" xmi:id="_WbsaoHDFEeS-kPXuwFs1pA" type="StateName">
  40. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbsaoXDFEeS-kPXuwFs1pA"/>
  41. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbsaonDFEeS-kPXuwFs1pA"/>
  42. </children>
  43. <children xsi:type="notation:Compartment" xmi:id="_Wbsao3DFEeS-kPXuwFs1pA" type="StateTextCompartment">
  44. <children xsi:type="notation:Shape" xmi:id="_WbsapHDFEeS-kPXuwFs1pA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  45. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbsapXDFEeS-kPXuwFs1pA"/>
  46. </children>
  47. </children>
  48. <children xsi:type="notation:Compartment" xmi:id="_WbtBsHDFEeS-kPXuwFs1pA" type="StateFigureCompartment"/>
  49. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbrzmHDFEeS-kPXuwFs1pA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  50. <styles xsi:type="notation:FontStyle" xmi:id="_WbrzmXDFEeS-kPXuwFs1pA"/>
  51. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WbtBsXDFEeS-kPXuwFs1pA" name="isHorizontal" booleanValue="true"/>
  52. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbtBsnDFEeS-kPXuwFs1pA" x="50" y="77" height="86"/>
  53. </children>
  54. <children xmi:id="_9cptsHDFEeS-kPXuwFs1pA" type="State" element="_9cjnEHDFEeS-kPXuwFs1pA">
  55. <children xsi:type="notation:DecorationNode" xmi:id="_9cq70HDFEeS-kPXuwFs1pA" type="StateName">
  56. <styles xsi:type="notation:ShapeStyle" xmi:id="_9cq70XDFEeS-kPXuwFs1pA"/>
  57. <layoutConstraint xsi:type="notation:Location" xmi:id="_9cq70nDFEeS-kPXuwFs1pA"/>
  58. </children>
  59. <children xsi:type="notation:Compartment" xmi:id="_9cq703DFEeS-kPXuwFs1pA" type="StateTextCompartment">
  60. <children xsi:type="notation:Shape" xmi:id="_9cq71HDFEeS-kPXuwFs1pA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  61. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9cq71XDFEeS-kPXuwFs1pA"/>
  62. </children>
  63. </children>
  64. <children xsi:type="notation:Compartment" xmi:id="_9cri4HDFEeS-kPXuwFs1pA" type="StateFigureCompartment"/>
  65. <styles xsi:type="notation:ShapeStyle" xmi:id="_9cptsXDFEeS-kPXuwFs1pA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  66. <styles xsi:type="notation:FontStyle" xmi:id="_9cptsnDFEeS-kPXuwFs1pA"/>
  67. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_9cri4XDFEeS-kPXuwFs1pA" name="isHorizontal" booleanValue="true"/>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9cpts3DFEeS-kPXuwFs1pA" x="211" y="75"/>
  69. </children>
  70. <children xmi:id="_kbYAUOG9EeS03b3Sal9BvQ" type="State" element="_kbR5sOG9EeS03b3Sal9BvQ">
  71. <children xsi:type="notation:DecorationNode" xmi:id="_kbeG8OG9EeS03b3Sal9BvQ" type="StateName">
  72. <styles xsi:type="notation:ShapeStyle" xmi:id="_kbeG8eG9EeS03b3Sal9BvQ"/>
  73. <layoutConstraint xsi:type="notation:Location" xmi:id="_kbeG8uG9EeS03b3Sal9BvQ"/>
  74. </children>
  75. <children xsi:type="notation:Compartment" xmi:id="_kbeuAOG9EeS03b3Sal9BvQ" type="StateTextCompartment">
  76. <children xsi:type="notation:Shape" xmi:id="_kbfVEOG9EeS03b3Sal9BvQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  77. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kbfVEeG9EeS03b3Sal9BvQ"/>
  78. </children>
  79. </children>
  80. <children xsi:type="notation:Compartment" xmi:id="_kbf8IOG9EeS03b3Sal9BvQ" type="StateFigureCompartment"/>
  81. <styles xsi:type="notation:ShapeStyle" xmi:id="_kbYAUeG9EeS03b3Sal9BvQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  82. <styles xsi:type="notation:FontStyle" xmi:id="_kbYAUuG9EeS03b3Sal9BvQ"/>
  83. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_kbf8IeG9EeS03b3Sal9BvQ" name="isHorizontal" booleanValue="true"/>
  84. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_kbYAU-G9EeS03b3Sal9BvQ" x="529" y="85" width="286" height="71"/>
  85. </children>
  86. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbqldHDFEeS-kPXuwFs1pA"/>
  87. </children>
  88. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbowQXDFEeS-kPXuwFs1pA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  89. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbqldXDFEeS-kPXuwFs1pA" x="260" y="10" width="876" height="251"/>
  90. </children>
  91. <children xsi:type="notation:Shape" xmi:id="_WbuP03DFEeS-kPXuwFs1pA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  92. <children xsi:type="notation:DecorationNode" xmi:id="_WbuP1XDFEeS-kPXuwFs1pA" type="StatechartName">
  93. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbuP1nDFEeS-kPXuwFs1pA"/>
  94. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbuP13DFEeS-kPXuwFs1pA"/>
  95. </children>
  96. <children xsi:type="notation:Shape" xmi:id="_WbuP2HDFEeS-kPXuwFs1pA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  97. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbuP2XDFEeS-kPXuwFs1pA"/>
  98. </children>
  99. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Wbu24HDFEeS-kPXuwFs1pA" x="10" y="10" width="246" height="251"/>
  100. </children>
  101. <styles xsi:type="notation:DiagramStyle" xmi:id="_WboJMXDFEeS-kPXuwFs1pA"/>
  102. <edges xmi:id="_WbtowHDFEeS-kPXuwFs1pA" type="Transition" element="_WbtBs3DFEeS-kPXuwFs1pA" source="_WbrMgHDFEeS-kPXuwFs1pA" target="_Wbrzl3DFEeS-kPXuwFs1pA">
  103. <children xsi:type="notation:DecorationNode" xmi:id="_WbuP0HDFEeS-kPXuwFs1pA" type="TransitionExpression">
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbuP0XDFEeS-kPXuwFs1pA"/>
  105. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbuP0nDFEeS-kPXuwFs1pA" y="10"/>
  106. </children>
  107. <styles xsi:type="notation:ConnectorStyle" xmi:id="_WbtowXDFEeS-kPXuwFs1pA" lineColor="4210752"/>
  108. <styles xsi:type="notation:FontStyle" xmi:id="_Wbtow3DFEeS-kPXuwFs1pA" fontName="Verdana"/>
  109. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_WbtownDFEeS-kPXuwFs1pA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  110. </edges>
  111. <edges xmi:id="_KJ41UHDGEeS-kPXuwFs1pA" type="Transition" element="_KJyusHDGEeS-kPXuwFs1pA" source="_Wbrzl3DFEeS-kPXuwFs1pA" target="_9cptsHDFEeS-kPXuwFs1pA">
  112. <children xsi:type="notation:DecorationNode" xmi:id="_KJ5cYXDGEeS-kPXuwFs1pA" type="TransitionExpression">
  113. <styles xsi:type="notation:ShapeStyle" xmi:id="_KJ5cYnDGEeS-kPXuwFs1pA"/>
  114. <layoutConstraint xsi:type="notation:Location" xmi:id="_KJ5cY3DGEeS-kPXuwFs1pA" y="10"/>
  115. </children>
  116. <styles xsi:type="notation:ConnectorStyle" xmi:id="_KJ41UXDGEeS-kPXuwFs1pA" lineColor="4210752"/>
  117. <styles xsi:type="notation:FontStyle" xmi:id="_KJ5cYHDGEeS-kPXuwFs1pA" fontName="Verdana"/>
  118. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_KJ41UnDGEeS-kPXuwFs1pA" points="[18, -3, -143, -1]$[154, -26, -7, -24]"/>
  119. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_bnoHIOKLEeSwGtaeWXULpQ" id="(0.825,0.1984126984126984)"/>
  120. </edges>
  121. <edges xmi:id="_kzJAEOG9EeS03b3Sal9BvQ" type="Transition" element="_kzHK4OG9EeS03b3Sal9BvQ" source="_9cptsHDFEeS-kPXuwFs1pA" target="_kbYAUOG9EeS03b3Sal9BvQ">
  122. <children xsi:type="notation:DecorationNode" xmi:id="_kzJAFOG9EeS03b3Sal9BvQ" type="TransitionExpression">
  123. <styles xsi:type="notation:ShapeStyle" xmi:id="_kzJAFeG9EeS03b3Sal9BvQ"/>
  124. <layoutConstraint xsi:type="notation:Location" xmi:id="_kzJAFuG9EeS03b3Sal9BvQ" y="10"/>
  125. </children>
  126. <styles xsi:type="notation:ConnectorStyle" xmi:id="_kzJAEeG9EeS03b3Sal9BvQ" lineColor="4210752"/>
  127. <styles xsi:type="notation:FontStyle" xmi:id="_kzJAE-G9EeS03b3Sal9BvQ" fontName="Verdana"/>
  128. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kzJAEuG9EeS03b3Sal9BvQ" points="[-45, 24, 118, -59]$[-159, 74, 4, -9]"/>
  129. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kzuO4OG9EeS03b3Sal9BvQ" id="(0.5927272727272728,0.07936507936507936)"/>
  130. </edges>
  131. <edges xmi:id="_0r2M0OJ7EeSX98LLrxf-kw" type="Transition" element="_0r0-sOJ7EeSX98LLrxf-kw" source="_kbYAUOG9EeS03b3Sal9BvQ" target="_Wbrzl3DFEeS-kPXuwFs1pA">
  132. <children xsi:type="notation:DecorationNode" xmi:id="_0r2M1OJ7EeSX98LLrxf-kw" type="TransitionExpression">
  133. <styles xsi:type="notation:ShapeStyle" xmi:id="_0r2M1eJ7EeSX98LLrxf-kw"/>
  134. <layoutConstraint xsi:type="notation:Location" xmi:id="_0r2M1uJ7EeSX98LLrxf-kw" x="-8" y="-14"/>
  135. </children>
  136. <styles xsi:type="notation:ConnectorStyle" xmi:id="_0r2M0eJ7EeSX98LLrxf-kw" lineColor="4210752"/>
  137. <styles xsi:type="notation:FontStyle" xmi:id="_0r2M0-J7EeSX98LLrxf-kw" fontName="Verdana"/>
  138. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_0r2M0uJ7EeSX98LLrxf-kw" points="[-16, 24, 72, -98]$[-84, 119, 4, -3]"/>
  139. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_eNGUkOKLEeSwGtaeWXULpQ" id="(0.0034965034965034965,0.8450704225352113)"/>
  140. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_dnGrkOKLEeSwGtaeWXULpQ" id="(0.825,0.8488372093023255)"/>
  141. </edges>
  142. </notation:Diagram>
  143. </xmi:XMI>