AlwaysOncycle.sct 9.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118
  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="_z1asQJ6iEeGR-6jhjFPx5A" specification="interface:&#xD;&#xA;var value:integer&#xD;&#xA;var v2 : boolean&#xD;&#xA;&#xD;&#xA;" name="AlwaysOncycle">
  4. <regions xmi:id="_z1asQ56iEeGR-6jhjFPx5A" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_z1j2OZ6iEeGR-6jhjFPx5A"/>
  6. <vertices xsi:type="sgraph:State" xmi:id="_Om9IkIvWEeKR26VHvZR7Cw" specification="">
  7. <outgoingTransitions xmi:id="_P5Fe0IvWEeKR26VHvZR7Cw" specification=" # > exit_null0" target="_PLFJUIvWEeKR26VHvZR7Cw"/>
  8. <regions xmi:id="_Om-WsIvWEeKR26VHvZR7Cw" name="r1">
  9. <vertices xsi:type="sgraph:State" xmi:id="_PeYf0IvWEeKR26VHvZR7Cw" specification="">
  10. <outgoingTransitions xmi:id="_QUbXAIvWEeKR26VHvZR7Cw" specification="" target="_QUav8IvWEeKR26VHvZR7Cw"/>
  11. </vertices>
  12. <vertices xsi:type="sgraph:Exit" xmi:id="_QUav8IvWEeKR26VHvZR7Cw" name="exit_null0" incomingTransitions="_QUbXAIvWEeKR26VHvZR7Cw"/>
  13. </regions>
  14. </vertices>
  15. <vertices xsi:type="sgraph:State" xmi:id="_PLFJUIvWEeKR26VHvZR7Cw" incomingTransitions="_P5Fe0IvWEeKR26VHvZR7Cw"/>
  16. </regions>
  17. </sgraph:Statechart>
  18. <notation:Diagram xmi:id="_z1asQZ6iEeGR-6jhjFPx5A" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_z1asQJ6iEeGR-6jhjFPx5A" measurementUnit="Pixel">
  19. <children xmi:id="_z1j2MJ6iEeGR-6jhjFPx5A" type="Region" element="_z1asQ56iEeGR-6jhjFPx5A">
  20. <children xsi:type="notation:DecorationNode" xmi:id="_z1j2M56iEeGR-6jhjFPx5A" type="RegionName">
  21. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2NJ6iEeGR-6jhjFPx5A"/>
  22. <layoutConstraint xsi:type="notation:Location" xmi:id="_z1j2NZ6iEeGR-6jhjFPx5A"/>
  23. </children>
  24. <children xsi:type="notation:Shape" xmi:id="_z1j2Np6iEeGR-6jhjFPx5A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  25. <children xmi:id="_z1j2Op6iEeGR-6jhjFPx5A" type="Entry" element="_z1j2OZ6iEeGR-6jhjFPx5A">
  26. <children xmi:id="_z1j2PZ6iEeGR-6jhjFPx5A" type="BorderItemLabelContainer">
  27. <children xsi:type="notation:DecorationNode" xmi:id="_z1j2QJ6iEeGR-6jhjFPx5A" type="BorderItemLabel">
  28. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2QZ6iEeGR-6jhjFPx5A"/>
  29. <layoutConstraint xsi:type="notation:Location" xmi:id="_z1j2Qp6iEeGR-6jhjFPx5A"/>
  30. </children>
  31. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2Pp6iEeGR-6jhjFPx5A" fontName="Verdana" lineColor="4210752"/>
  32. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1j2P56iEeGR-6jhjFPx5A"/>
  33. </children>
  34. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2O56iEeGR-6jhjFPx5A" fontName="Verdana" lineColor="4210752"/>
  35. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1tnMJ6iEeGR-6jhjFPx5A" x="64" y="19"/>
  36. </children>
  37. <children xmi:id="_OnAy8IvWEeKR26VHvZR7Cw" type="State" element="_Om9IkIvWEeKR26VHvZR7Cw">
  38. <children xsi:type="notation:DecorationNode" xmi:id="_OnCoIIvWEeKR26VHvZR7Cw" type="StateName">
  39. <styles xsi:type="notation:ShapeStyle" xmi:id="_OnCoIYvWEeKR26VHvZR7Cw"/>
  40. <layoutConstraint xsi:type="notation:Location" xmi:id="_OnCoIovWEeKR26VHvZR7Cw"/>
  41. </children>
  42. <children xsi:type="notation:Compartment" xmi:id="_OnDPMIvWEeKR26VHvZR7Cw" type="StateTextCompartment">
  43. <children xsi:type="notation:Shape" xmi:id="_OnDPMYvWEeKR26VHvZR7Cw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  44. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_OnDPMovWEeKR26VHvZR7Cw"/>
  45. </children>
  46. </children>
  47. <children xsi:type="notation:Compartment" xmi:id="_OnD2QIvWEeKR26VHvZR7Cw" type="StateFigureCompartment"/>
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_OnAy8YvWEeKR26VHvZR7Cw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  49. <styles xsi:type="notation:FontStyle" xmi:id="_OnAy8ovWEeKR26VHvZR7Cw"/>
  50. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_OnD2QYvWEeKR26VHvZR7Cw" name="isHorizontal" booleanValue="true"/>
  51. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_QUTbMIvWEeKR26VHvZR7Cw" name="isInline"/>
  52. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_OnAy84vWEeKR26VHvZR7Cw" x="119" y="174"/>
  53. </children>
  54. <children xmi:id="_PLG-gIvWEeKR26VHvZR7Cw" type="State" element="_PLFJUIvWEeKR26VHvZR7Cw">
  55. <children xsi:type="notation:DecorationNode" xmi:id="_PLHlkIvWEeKR26VHvZR7Cw" type="StateName">
  56. <styles xsi:type="notation:ShapeStyle" xmi:id="_PLHlkYvWEeKR26VHvZR7Cw"/>
  57. <layoutConstraint xsi:type="notation:Location" xmi:id="_PLHlkovWEeKR26VHvZR7Cw"/>
  58. </children>
  59. <children xsi:type="notation:Compartment" xmi:id="_PLHlk4vWEeKR26VHvZR7Cw" type="StateTextCompartment">
  60. <children xsi:type="notation:Shape" xmi:id="_PLIMoIvWEeKR26VHvZR7Cw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  61. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PLIMoYvWEeKR26VHvZR7Cw"/>
  62. </children>
  63. </children>
  64. <children xsi:type="notation:Compartment" xmi:id="_PLIMoovWEeKR26VHvZR7Cw" type="StateFigureCompartment"/>
  65. <styles xsi:type="notation:ShapeStyle" xmi:id="_PLG-gYvWEeKR26VHvZR7Cw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  66. <styles xsi:type="notation:FontStyle" xmi:id="_PLG-govWEeKR26VHvZR7Cw"/>
  67. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PLIzsIvWEeKR26VHvZR7Cw" name="isHorizontal" booleanValue="true"/>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PLG-g4vWEeKR26VHvZR7Cw" x="406" y="150"/>
  69. </children>
  70. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1j2N56iEeGR-6jhjFPx5A"/>
  71. </children>
  72. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1j2MZ6iEeGR-6jhjFPx5A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  73. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1j2OJ6iEeGR-6jhjFPx5A" x="215" y="10" width="651" height="400"/>
  74. </children>
  75. <children xsi:type="notation:Shape" xmi:id="_z1tnSJ6iEeGR-6jhjFPx5A" type="StatechartText" fontName="Verdana" lineColor="4210752">
  76. <children xsi:type="notation:DecorationNode" xmi:id="_z1tnSp6iEeGR-6jhjFPx5A" type="StatechartName">
  77. <styles xsi:type="notation:ShapeStyle" xmi:id="_z1tnS56iEeGR-6jhjFPx5A"/>
  78. <layoutConstraint xsi:type="notation:Location" xmi:id="_z1tnTJ6iEeGR-6jhjFPx5A"/>
  79. </children>
  80. <children xsi:type="notation:Shape" xmi:id="_z1tnTZ6iEeGR-6jhjFPx5A" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  81. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z1tnTp6iEeGR-6jhjFPx5A"/>
  82. </children>
  83. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_z13YMJ6iEeGR-6jhjFPx5A" x="10" y="10" width="200" height="400"/>
  84. </children>
  85. <styles xsi:type="notation:DiagramStyle" xmi:id="_z1asQp6iEeGR-6jhjFPx5A"/>
  86. </notation:Diagram>
  87. <notation:Diagram xmi:id="_QUXsoIvWEeKR26VHvZR7Cw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_Om9IkIvWEeKR26VHvZR7Cw" measurementUnit="Pixel">
  88. <children xmi:id="_OnIHsIvWEeKR26VHvZR7Cw" type="Region" element="_Om-WsIvWEeKR26VHvZR7Cw">
  89. <children xsi:type="notation:DecorationNode" xmi:id="_OnIuwIvWEeKR26VHvZR7Cw" type="RegionName">
  90. <styles xsi:type="notation:ShapeStyle" xmi:id="_OnIuwYvWEeKR26VHvZR7Cw"/>
  91. <layoutConstraint xsi:type="notation:Location" xmi:id="_OnIuwovWEeKR26VHvZR7Cw"/>
  92. </children>
  93. <children xsi:type="notation:Shape" xmi:id="_OnIuw4vWEeKR26VHvZR7Cw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  94. <children xmi:id="_PeZt8IvWEeKR26VHvZR7Cw" type="State" element="_PeYf0IvWEeKR26VHvZR7Cw">
  95. <children xsi:type="notation:DecorationNode" xmi:id="_Pea8EIvWEeKR26VHvZR7Cw" type="StateName">
  96. <styles xsi:type="notation:ShapeStyle" xmi:id="_Pea8EYvWEeKR26VHvZR7Cw"/>
  97. <layoutConstraint xsi:type="notation:Location" xmi:id="_Pea8EovWEeKR26VHvZR7Cw"/>
  98. </children>
  99. <children xsi:type="notation:Compartment" xmi:id="_Pea8E4vWEeKR26VHvZR7Cw" type="StateTextCompartment">
  100. <children xsi:type="notation:Shape" xmi:id="_Pea8FIvWEeKR26VHvZR7Cw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  101. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Pea8FYvWEeKR26VHvZR7Cw"/>
  102. </children>
  103. </children>
  104. <children xsi:type="notation:Compartment" xmi:id="_PebjIIvWEeKR26VHvZR7Cw" type="StateFigureCompartment"/>
  105. <styles xsi:type="notation:ShapeStyle" xmi:id="_PeZt8YvWEeKR26VHvZR7Cw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  106. <styles xsi:type="notation:FontStyle" xmi:id="_PeZt8ovWEeKR26VHvZR7Cw"/>
  107. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PebjIYvWEeKR26VHvZR7Cw" name="isHorizontal" booleanValue="true"/>
  108. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PeZt84vWEeKR26VHvZR7Cw" x="86" y="18"/>
  109. </children>
  110. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_OnIuxIvWEeKR26VHvZR7Cw"/>
  111. </children>
  112. <styles xsi:type="notation:ShapeStyle" xmi:id="_OnIHsYvWEeKR26VHvZR7Cw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  113. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_OnIHsovWEeKR26VHvZR7Cw"/>
  114. </children>
  115. <styles xsi:type="notation:DiagramStyle" xmi:id="_QUXsoYvWEeKR26VHvZR7Cw"/>
  116. </notation:Diagram>
  117. </xmi:XMI>