example.sct 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122
  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="__J6g0NeYEeCu-5XJkHVC4g" name="example" expression="interface Interface:&#xD;&#xA;event Event1&#xD;&#xA;var counter : integer">
  4. <scopes xsi:type="stext:InterfaceScope" xmi:id="_J53cYNeZEeCu-5XJkHVC4g" name="Interface">
  5. <declarations xsi:type="stext:EventDefinition" xmi:id="_J53cYdeZEeCu-5XJkHVC4g" name="Event1"/>
  6. <declarations xsi:type="stext:VariableDefinition" xmi:id="_J53cYteZEeCu-5XJkHVC4g" name="counter" type="integer"/>
  7. </scopes>
  8. <regions xmi:id="__J7H4teYEeCu-5XJkHVC4g" name="main region">
  9. <vertices xsi:type="sgraph:Entry" xmi:id="__KM0sdeYEeCu-5XJkHVC4g">
  10. <outgoingTransitions xmi:id="__KPQ89eYEeCu-5XJkHVC4g" target="__KOC0teYEeCu-5XJkHVC4g"/>
  11. </vertices>
  12. <vertices xsi:type="sgraph:State" xmi:id="__KOC0teYEeCu-5XJkHVC4g" name="A" incomingTransitions="__KPQ89eYEeCu-5XJkHVC4g _LFZbYNeZEeCu-5XJkHVC4g">
  13. <outgoingTransitions xmi:id="_B88CENeZEeCu-5XJkHVC4g" expression="Event1" target="_BepjkNeZEeCu-5XJkHVC4g">
  14. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_J55RkNeZEeCu-5XJkHVC4g">
  15. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_J55RkdeZEeCu-5XJkHVC4g" event="_J53cYdeZEeCu-5XJkHVC4g"/>
  16. </trigger>
  17. </outgoingTransitions>
  18. </vertices>
  19. <vertices xsi:type="sgraph:State" xmi:id="_BepjkNeZEeCu-5XJkHVC4g" name="B" incomingTransitions="_B88CENeZEeCu-5XJkHVC4g" expression="entry / counter = counter + 1;">
  20. <outgoingTransitions xmi:id="_LFZbYNeZEeCu-5XJkHVC4g" expression="Event1" target="__KOC0teYEeCu-5XJkHVC4g"/>
  21. </vertices>
  22. </regions>
  23. </sgraph:Statechart>
  24. <notation:Diagram xmi:id="__J7H4NeYEeCu-5XJkHVC4g" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="__J6g0NeYEeCu-5XJkHVC4g" measurementUnit="Pixel">
  25. <children xmi:id="__J-yQNeYEeCu-5XJkHVC4g" type="Region" element="__J7H4teYEeCu-5XJkHVC4g">
  26. <children xsi:type="notation:DecorationNode" xmi:id="__KMNoNeYEeCu-5XJkHVC4g" type="RegionName">
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="__KMNodeYEeCu-5XJkHVC4g"/>
  28. <layoutConstraint xsi:type="notation:Location" xmi:id="__KMNoteYEeCu-5XJkHVC4g"/>
  29. </children>
  30. <children xsi:type="notation:Shape" xmi:id="__KMNo9eYEeCu-5XJkHVC4g" type="RegionCompartment" fontName="Arial" fontHeight="10" lineColor="4210752">
  31. <children xmi:id="__KM0steYEeCu-5XJkHVC4g" type="Entry" element="__KM0sdeYEeCu-5XJkHVC4g">
  32. <children xmi:id="__KNbwNeYEeCu-5XJkHVC4g" type="EntryBorderItem">
  33. <children xsi:type="notation:DecorationNode" xmi:id="__KNbw9eYEeCu-5XJkHVC4g" type="EntryLabel">
  34. <styles xsi:type="notation:ShapeStyle" xmi:id="__KNbxNeYEeCu-5XJkHVC4g"/>
  35. <layoutConstraint xsi:type="notation:Location" xmi:id="__KOC0NeYEeCu-5XJkHVC4g"/>
  36. </children>
  37. <styles xsi:type="notation:ShapeStyle" xmi:id="__KNbwdeYEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  38. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KNbwteYEeCu-5XJkHVC4g"/>
  39. </children>
  40. <styles xsi:type="notation:ShapeStyle" xmi:id="__KM0s9eYEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10" lineColor="4210752"/>
  41. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KOC0deYEeCu-5XJkHVC4g" x="70" y="20"/>
  42. </children>
  43. <children xmi:id="__KOC09eYEeCu-5XJkHVC4g" type="State" element="__KOC0teYEeCu-5XJkHVC4g">
  44. <children xsi:type="notation:DecorationNode" xmi:id="__KOp4NeYEeCu-5XJkHVC4g" type="StateName">
  45. <styles xsi:type="notation:ShapeStyle" xmi:id="__KOp4deYEeCu-5XJkHVC4g"/>
  46. <layoutConstraint xsi:type="notation:Location" xmi:id="__KOp4teYEeCu-5XJkHVC4g"/>
  47. </children>
  48. <children xsi:type="notation:Compartment" xmi:id="__KOp49eYEeCu-5XJkHVC4g" type="StateTextCompartment">
  49. <children xsi:type="notation:Shape" xmi:id="__KOp5NeYEeCu-5XJkHVC4g" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  50. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KOp5deYEeCu-5XJkHVC4g"/>
  51. </children>
  52. </children>
  53. <children xsi:type="notation:Compartment" xmi:id="__KPQ8NeYEeCu-5XJkHVC4g" type="StateFigureCompartment"/>
  54. <styles xsi:type="notation:ShapeStyle" xmi:id="__KOC1NeYEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  55. <styles xsi:type="notation:FontStyle" xmi:id="__KOC1deYEeCu-5XJkHVC4g"/>
  56. <styles xsi:type="notation:BooleanValueStyle" xmi:id="__KPQ8deYEeCu-5XJkHVC4g"/>
  57. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KPQ8teYEeCu-5XJkHVC4g" x="142" y="102"/>
  58. </children>
  59. <children xmi:id="_BetN8NeZEeCu-5XJkHVC4g" type="State" element="_BepjkNeZEeCu-5XJkHVC4g">
  60. <children xsi:type="notation:DecorationNode" xmi:id="_BevDINeZEeCu-5XJkHVC4g" type="StateName">
  61. <styles xsi:type="notation:ShapeStyle" xmi:id="_BevDIdeZEeCu-5XJkHVC4g"/>
  62. <layoutConstraint xsi:type="notation:Location" xmi:id="_BevDIteZEeCu-5XJkHVC4g"/>
  63. </children>
  64. <children xsi:type="notation:Compartment" xmi:id="_BevDI9eZEeCu-5XJkHVC4g" type="StateTextCompartment">
  65. <children xsi:type="notation:Shape" xmi:id="_BevqMNeZEeCu-5XJkHVC4g" type="StateTextCompartmentExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  66. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BevqMdeZEeCu-5XJkHVC4g"/>
  67. </children>
  68. </children>
  69. <children xsi:type="notation:Compartment" xmi:id="_Bew4UNeZEeCu-5XJkHVC4g" type="StateFigureCompartment"/>
  70. <styles xsi:type="notation:ShapeStyle" xmi:id="_BetN8deZEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10" fillColor="15981773" lineColor="12632256"/>
  71. <styles xsi:type="notation:FontStyle" xmi:id="_BetN8teZEeCu-5XJkHVC4g"/>
  72. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Bew4UdeZEeCu-5XJkHVC4g"/>
  73. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BetN89eZEeCu-5XJkHVC4g" x="174" y="237"/>
  74. </children>
  75. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KMNpNeYEeCu-5XJkHVC4g"/>
  76. </children>
  77. <styles xsi:type="notation:ShapeStyle" xmi:id="__J-yQdeYEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10" fillColor="15790320" lineColor="12632256"/>
  78. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KM0sNeYEeCu-5XJkHVC4g" x="240" y="5" width="400" height="400"/>
  79. </children>
  80. <children xsi:type="notation:Shape" xmi:id="__KRGINeYEeCu-5XJkHVC4g" type="StatechartText" fontName="Arial" fontHeight="10" lineColor="4210752">
  81. <children xsi:type="notation:DecorationNode" xmi:id="__KRGIteYEeCu-5XJkHVC4g" type="StatechartName">
  82. <styles xsi:type="notation:ShapeStyle" xmi:id="__KRGI9eYEeCu-5XJkHVC4g"/>
  83. <layoutConstraint xsi:type="notation:Location" xmi:id="__KRGJNeYEeCu-5XJkHVC4g"/>
  84. </children>
  85. <children xsi:type="notation:Shape" xmi:id="__KRtMNeYEeCu-5XJkHVC4g" type="StatechartTextExpression" fontName="Arial" fontHeight="10" lineColor="4210752">
  86. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KRtMdeYEeCu-5XJkHVC4g"/>
  87. </children>
  88. <layoutConstraint xsi:type="notation:Bounds" xmi:id="__KRtMteYEeCu-5XJkHVC4g" x="10" y="10" width="200" height="400"/>
  89. </children>
  90. <styles xsi:type="notation:DiagramStyle" xmi:id="__J7H4deYEeCu-5XJkHVC4g"/>
  91. <edges xmi:id="__KQfENeYEeCu-5XJkHVC4g" type="Transition" element="__KPQ89eYEeCu-5XJkHVC4g" source="__KM0steYEeCu-5XJkHVC4g" target="__KOC09eYEeCu-5XJkHVC4g">
  92. <children xsi:type="notation:DecorationNode" xmi:id="__KQfFNeYEeCu-5XJkHVC4g" type="TransitionExpression">
  93. <styles xsi:type="notation:ShapeStyle" xmi:id="__KQfFdeYEeCu-5XJkHVC4g"/>
  94. <layoutConstraint xsi:type="notation:Location" xmi:id="__KQfFteYEeCu-5XJkHVC4g" y="40"/>
  95. </children>
  96. <styles xsi:type="notation:ConnectorStyle" xmi:id="__KQfEdeYEeCu-5XJkHVC4g" lineColor="4210752"/>
  97. <styles xsi:type="notation:FontStyle" xmi:id="__KQfE9eYEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10"/>
  98. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__KQfEteYEeCu-5XJkHVC4g" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  99. </edges>
  100. <edges xmi:id="_B8_FYNeZEeCu-5XJkHVC4g" type="Transition" element="_B88CENeZEeCu-5XJkHVC4g" source="__KOC09eYEeCu-5XJkHVC4g" target="_BetN8NeZEeCu-5XJkHVC4g">
  101. <children xsi:type="notation:DecorationNode" xmi:id="_B9ATgNeZEeCu-5XJkHVC4g" type="TransitionExpression">
  102. <styles xsi:type="notation:ShapeStyle" xmi:id="_B9ATgdeZEeCu-5XJkHVC4g"/>
  103. <layoutConstraint xsi:type="notation:Location" xmi:id="_B9ATgteZEeCu-5XJkHVC4g" x="-14" y="57"/>
  104. </children>
  105. <styles xsi:type="notation:ConnectorStyle" xmi:id="_B8_FYdeZEeCu-5XJkHVC4g" lineColor="4210752"/>
  106. <styles xsi:type="notation:FontStyle" xmi:id="_B8_scNeZEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10"/>
  107. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_B8_FYteZEeCu-5XJkHVC4g" points="[5, 51, -6, -56]$[12, 100, 1, -7]"/>
  108. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_B9980NeZEeCu-5XJkHVC4g" id="(0.559322033898305,0.2153846153846154)"/>
  109. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_B9980deZEeCu-5XJkHVC4g" id="(0.6101694915254238,0.1076923076923077)"/>
  110. </edges>
  111. <edges xmi:id="_LFb3oNeZEeCu-5XJkHVC4g" type="Transition" element="_LFZbYNeZEeCu-5XJkHVC4g" source="_BetN8NeZEeCu-5XJkHVC4g" target="__KOC09eYEeCu-5XJkHVC4g">
  112. <children xsi:type="notation:DecorationNode" xmi:id="_LFdFwNeZEeCu-5XJkHVC4g" type="TransitionExpression">
  113. <styles xsi:type="notation:ShapeStyle" xmi:id="_LFdFwdeZEeCu-5XJkHVC4g"/>
  114. <layoutConstraint xsi:type="notation:Location" xmi:id="_LFdFwteZEeCu-5XJkHVC4g" y="40"/>
  115. </children>
  116. <styles xsi:type="notation:ConnectorStyle" xmi:id="_LFb3odeZEeCu-5XJkHVC4g" lineColor="4210752"/>
  117. <styles xsi:type="notation:FontStyle" xmi:id="_LFcesNeZEeCu-5XJkHVC4g" fontName="Arial" fontHeight="10"/>
  118. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_LFb3oteZEeCu-5XJkHVC4g" points="[-9, -32, -9, 83]$[-9, -147, -9, -32]"/>
  119. </edges>
  120. </notation:Diagram>
  121. </xmi:XMI>