Constants.sct 8.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101
  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;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;" 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">
  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. </regions>
  13. </sgraph:Statechart>
  14. <notation:Diagram xmi:id="_WboJMHDFEeS-kPXuwFs1pA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_WbmUAHDFEeS-kPXuwFs1pA" measurementUnit="Pixel">
  15. <children xmi:id="_WbowQHDFEeS-kPXuwFs1pA" type="Region" element="_WboJMnDFEeS-kPXuwFs1pA">
  16. <children xsi:type="notation:DecorationNode" xmi:id="_WbqlcHDFEeS-kPXuwFs1pA" type="RegionName">
  17. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbqlcXDFEeS-kPXuwFs1pA"/>
  18. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbqlcnDFEeS-kPXuwFs1pA"/>
  19. </children>
  20. <children xsi:type="notation:Shape" xmi:id="_Wbqlc3DFEeS-kPXuwFs1pA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  21. <children xmi:id="_WbrMgHDFEeS-kPXuwFs1pA" type="Entry" element="_WbqldnDFEeS-kPXuwFs1pA">
  22. <children xmi:id="_WbrMg3DFEeS-kPXuwFs1pA" type="BorderItemLabelContainer">
  23. <children xsi:type="notation:DecorationNode" xmi:id="_WbrzkHDFEeS-kPXuwFs1pA" type="BorderItemLabel">
  24. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbrzkXDFEeS-kPXuwFs1pA"/>
  25. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbrzknDFEeS-kPXuwFs1pA"/>
  26. </children>
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbrMhHDFEeS-kPXuwFs1pA" fontName="Verdana" lineColor="4210752"/>
  28. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbrMhXDFEeS-kPXuwFs1pA"/>
  29. </children>
  30. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbrMgXDFEeS-kPXuwFs1pA" fontName="Verdana" lineColor="4210752"/>
  31. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Wbrzk3DFEeS-kPXuwFs1pA" x="70" y="20"/>
  32. </children>
  33. <children xmi:id="_Wbrzl3DFEeS-kPXuwFs1pA" type="State" element="_WbrzlHDFEeS-kPXuwFs1pA">
  34. <children xsi:type="notation:DecorationNode" xmi:id="_WbsaoHDFEeS-kPXuwFs1pA" type="StateName">
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbsaoXDFEeS-kPXuwFs1pA"/>
  36. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbsaonDFEeS-kPXuwFs1pA"/>
  37. </children>
  38. <children xsi:type="notation:Compartment" xmi:id="_Wbsao3DFEeS-kPXuwFs1pA" type="StateTextCompartment">
  39. <children xsi:type="notation:Shape" xmi:id="_WbsapHDFEeS-kPXuwFs1pA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  40. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbsapXDFEeS-kPXuwFs1pA"/>
  41. </children>
  42. </children>
  43. <children xsi:type="notation:Compartment" xmi:id="_WbtBsHDFEeS-kPXuwFs1pA" type="StateFigureCompartment"/>
  44. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbrzmHDFEeS-kPXuwFs1pA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  45. <styles xsi:type="notation:FontStyle" xmi:id="_WbrzmXDFEeS-kPXuwFs1pA"/>
  46. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_WbtBsXDFEeS-kPXuwFs1pA" name="isHorizontal" booleanValue="true"/>
  47. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbtBsnDFEeS-kPXuwFs1pA" x="50" y="77"/>
  48. </children>
  49. <children xmi:id="_9cptsHDFEeS-kPXuwFs1pA" type="State" element="_9cjnEHDFEeS-kPXuwFs1pA">
  50. <children xsi:type="notation:DecorationNode" xmi:id="_9cq70HDFEeS-kPXuwFs1pA" type="StateName">
  51. <styles xsi:type="notation:ShapeStyle" xmi:id="_9cq70XDFEeS-kPXuwFs1pA"/>
  52. <layoutConstraint xsi:type="notation:Location" xmi:id="_9cq70nDFEeS-kPXuwFs1pA"/>
  53. </children>
  54. <children xsi:type="notation:Compartment" xmi:id="_9cq703DFEeS-kPXuwFs1pA" type="StateTextCompartment">
  55. <children xsi:type="notation:Shape" xmi:id="_9cq71HDFEeS-kPXuwFs1pA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  56. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9cq71XDFEeS-kPXuwFs1pA"/>
  57. </children>
  58. </children>
  59. <children xsi:type="notation:Compartment" xmi:id="_9cri4HDFEeS-kPXuwFs1pA" type="StateFigureCompartment"/>
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_9cptsXDFEeS-kPXuwFs1pA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  61. <styles xsi:type="notation:FontStyle" xmi:id="_9cptsnDFEeS-kPXuwFs1pA"/>
  62. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_9cri4XDFEeS-kPXuwFs1pA" name="isHorizontal" booleanValue="true"/>
  63. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_9cpts3DFEeS-kPXuwFs1pA" x="211" y="75"/>
  64. </children>
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbqldHDFEeS-kPXuwFs1pA"/>
  66. </children>
  67. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbowQXDFEeS-kPXuwFs1pA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbqldXDFEeS-kPXuwFs1pA" x="245" y="10" width="457" height="196"/>
  69. </children>
  70. <children xsi:type="notation:Shape" xmi:id="_WbuP03DFEeS-kPXuwFs1pA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  71. <children xsi:type="notation:DecorationNode" xmi:id="_WbuP1XDFEeS-kPXuwFs1pA" type="StatechartName">
  72. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbuP1nDFEeS-kPXuwFs1pA"/>
  73. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbuP13DFEeS-kPXuwFs1pA"/>
  74. </children>
  75. <children xsi:type="notation:Shape" xmi:id="_WbuP2HDFEeS-kPXuwFs1pA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_WbuP2XDFEeS-kPXuwFs1pA"/>
  77. </children>
  78. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Wbu24HDFEeS-kPXuwFs1pA" x="10" y="10" width="221" height="196"/>
  79. </children>
  80. <styles xsi:type="notation:DiagramStyle" xmi:id="_WboJMXDFEeS-kPXuwFs1pA"/>
  81. <edges xmi:id="_WbtowHDFEeS-kPXuwFs1pA" type="Transition" element="_WbtBs3DFEeS-kPXuwFs1pA" source="_WbrMgHDFEeS-kPXuwFs1pA" target="_Wbrzl3DFEeS-kPXuwFs1pA">
  82. <children xsi:type="notation:DecorationNode" xmi:id="_WbuP0HDFEeS-kPXuwFs1pA" type="TransitionExpression">
  83. <styles xsi:type="notation:ShapeStyle" xmi:id="_WbuP0XDFEeS-kPXuwFs1pA"/>
  84. <layoutConstraint xsi:type="notation:Location" xmi:id="_WbuP0nDFEeS-kPXuwFs1pA" y="10"/>
  85. </children>
  86. <styles xsi:type="notation:ConnectorStyle" xmi:id="_WbtowXDFEeS-kPXuwFs1pA" lineColor="4210752"/>
  87. <styles xsi:type="notation:FontStyle" xmi:id="_Wbtow3DFEeS-kPXuwFs1pA" fontName="Verdana"/>
  88. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_WbtownDFEeS-kPXuwFs1pA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  89. </edges>
  90. <edges xmi:id="_KJ41UHDGEeS-kPXuwFs1pA" type="Transition" element="_KJyusHDGEeS-kPXuwFs1pA" source="_Wbrzl3DFEeS-kPXuwFs1pA" target="_9cptsHDFEeS-kPXuwFs1pA">
  91. <children xsi:type="notation:DecorationNode" xmi:id="_KJ5cYXDGEeS-kPXuwFs1pA" type="TransitionExpression">
  92. <styles xsi:type="notation:ShapeStyle" xmi:id="_KJ5cYnDGEeS-kPXuwFs1pA"/>
  93. <layoutConstraint xsi:type="notation:Location" xmi:id="_KJ5cY3DGEeS-kPXuwFs1pA" y="10"/>
  94. </children>
  95. <styles xsi:type="notation:ConnectorStyle" xmi:id="_KJ41UXDGEeS-kPXuwFs1pA" lineColor="4210752"/>
  96. <styles xsi:type="notation:FontStyle" xmi:id="_KJ5cYHDGEeS-kPXuwFs1pA" fontName="Verdana"/>
  97. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_KJ41UnDGEeS-kPXuwFs1pA" points="[18, -3, -143, -1]$[154, -26, -7, -24]"/>
  98. </edges>
  99. </notation:Diagram>
  100. </xmi:XMI>