TimeTrigger.sct 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116
  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="_XoS0wPZlEeCSetPXFd1ZUw" specification="interface:&#xA;var value:integer&#xA;" name="TimeTrigger">
  4. <regions xmi:id="_XoTb0vZlEeCSetPXFd1ZUw" name="mainRegion">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_Dd7OAPimEeCPG5ImOgba0Q">
  6. <outgoingTransitions xmi:id="_lRPkEJ6VEeGsX9UkwAVdHQ" specification="" target="_hjQ2cJ6VEeGsX9UkwAVdHQ"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_hjQ2cJ6VEeGsX9UkwAVdHQ" specification="entry / value = 0" name="StateA" incomingTransitions="_lRPkEJ6VEeGsX9UkwAVdHQ _q-xVUJ6aEeGsX9UkwAVdHQ">
  9. <outgoingTransitions xmi:id="_5Y_8gJ6VEeGsX9UkwAVdHQ" specification="after 100 ms" target="_1Qf2EJ6VEeGsX9UkwAVdHQ"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_1Qf2EJ6VEeGsX9UkwAVdHQ" specification="every 20 ms / value+=1" name="StateB" incomingTransitions="_5Y_8gJ6VEeGsX9UkwAVdHQ">
  12. <outgoingTransitions xmi:id="_q-xVUJ6aEeGsX9UkwAVdHQ" specification="[value == 10]" target="_hjQ2cJ6VEeGsX9UkwAVdHQ"/>
  13. </vertices>
  14. </regions>
  15. </sgraph:Statechart>
  16. <notation:Diagram xmi:id="_XoTb0PZlEeCSetPXFd1ZUw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_XoS0wPZlEeCSetPXFd1ZUw" measurementUnit="Pixel">
  17. <children xmi:id="_XoUC4PZlEeCSetPXFd1ZUw" type="Region" element="_XoTb0vZlEeCSetPXFd1ZUw">
  18. <children xsi:type="notation:DecorationNode" xmi:id="_XoUC4_ZlEeCSetPXFd1ZUw" type="RegionName">
  19. <styles xsi:type="notation:ShapeStyle" xmi:id="_XoUC5PZlEeCSetPXFd1ZUw"/>
  20. <layoutConstraint xsi:type="notation:Location" xmi:id="_XoUC5fZlEeCSetPXFd1ZUw"/>
  21. </children>
  22. <children xsi:type="notation:Shape" xmi:id="_XoUC5vZlEeCSetPXFd1ZUw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  23. <children xmi:id="_Dd4xwfimEeCPG5ImOgba0Q" type="Entry" element="_Dd7OAPimEeCPG5ImOgba0Q">
  24. <children xmi:id="_Dd4xwvimEeCPG5ImOgba0Q" type="BorderItemLabelContainer">
  25. <children xsi:type="notation:DecorationNode" xmi:id="_Dd4xw_imEeCPG5ImOgba0Q" type="BorderItemLabel">
  26. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd4xxPimEeCPG5ImOgba0Q"/>
  27. <layoutConstraint xsi:type="notation:Location" xmi:id="_Dd4xxfimEeCPG5ImOgba0Q"/>
  28. </children>
  29. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd4xxvimEeCPG5ImOgba0Q" fontName="Verdana" lineColor="4210752"/>
  30. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd4xx_imEeCPG5ImOgba0Q"/>
  31. </children>
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_Dd4xyPimEeCPG5ImOgba0Q" fontName="Verdana" lineColor="4210752"/>
  33. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Dd4xyfimEeCPG5ImOgba0Q" x="80" y="30"/>
  34. </children>
  35. <children xmi:id="_hj3TYJ6VEeGsX9UkwAVdHQ" type="State" element="_hjQ2cJ6VEeGsX9UkwAVdHQ">
  36. <children xsi:type="notation:DecorationNode" xmi:id="_hj3TZJ6VEeGsX9UkwAVdHQ" type="StateName">
  37. <styles xsi:type="notation:ShapeStyle" xmi:id="_hj3TZZ6VEeGsX9UkwAVdHQ"/>
  38. <layoutConstraint xsi:type="notation:Location" xmi:id="_hj3TZp6VEeGsX9UkwAVdHQ"/>
  39. </children>
  40. <children xsi:type="notation:Compartment" xmi:id="_hj3TZ56VEeGsX9UkwAVdHQ" type="StateTextCompartment">
  41. <children xsi:type="notation:Shape" xmi:id="_hj3TaJ6VEeGsX9UkwAVdHQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  42. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_hj3TaZ6VEeGsX9UkwAVdHQ"/>
  43. </children>
  44. </children>
  45. <children xsi:type="notation:Compartment" xmi:id="_hj3Tap6VEeGsX9UkwAVdHQ" type="StateFigureCompartment"/>
  46. <styles xsi:type="notation:ShapeStyle" xmi:id="_hj3TYZ6VEeGsX9UkwAVdHQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  47. <styles xsi:type="notation:FontStyle" xmi:id="_hj3TYp6VEeGsX9UkwAVdHQ"/>
  48. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_hj3Ta56VEeGsX9UkwAVdHQ"/>
  49. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_hj3TY56VEeGsX9UkwAVdHQ" x="23" y="84"/>
  50. </children>
  51. <children xmi:id="_1QpnEJ6VEeGsX9UkwAVdHQ" type="State" element="_1Qf2EJ6VEeGsX9UkwAVdHQ">
  52. <children xsi:type="notation:DecorationNode" xmi:id="_1QpnFJ6VEeGsX9UkwAVdHQ" type="StateName">
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_1QpnFZ6VEeGsX9UkwAVdHQ"/>
  54. <layoutConstraint xsi:type="notation:Location" xmi:id="_1QpnFp6VEeGsX9UkwAVdHQ"/>
  55. </children>
  56. <children xsi:type="notation:Compartment" xmi:id="_1QpnF56VEeGsX9UkwAVdHQ" type="StateTextCompartment">
  57. <children xsi:type="notation:Shape" xmi:id="_1QzYEJ6VEeGsX9UkwAVdHQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  58. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_1QzYEZ6VEeGsX9UkwAVdHQ"/>
  59. </children>
  60. </children>
  61. <children xsi:type="notation:Compartment" xmi:id="_1QzYEp6VEeGsX9UkwAVdHQ" type="StateFigureCompartment"/>
  62. <styles xsi:type="notation:ShapeStyle" xmi:id="_1QpnEZ6VEeGsX9UkwAVdHQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  63. <styles xsi:type="notation:FontStyle" xmi:id="_1QpnEp6VEeGsX9UkwAVdHQ"/>
  64. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_1QzYE56VEeGsX9UkwAVdHQ"/>
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_1QpnE56VEeGsX9UkwAVdHQ" x="304" y="84" width="101" height="76"/>
  66. </children>
  67. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XoUC5_ZlEeCSetPXFd1ZUw"/>
  68. </children>
  69. <styles xsi:type="notation:ShapeStyle" xmi:id="_XoUC4fZlEeCSetPXFd1ZUw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  70. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XoUp8PZlEeCSetPXFd1ZUw" x="225" y="-5" width="476" height="281"/>
  71. </children>
  72. <children xsi:type="notation:Shape" xmi:id="_XoXGN_ZlEeCSetPXFd1ZUw" type="StatechartText" fontName="Verdana" lineColor="4210752">
  73. <children xsi:type="notation:DecorationNode" xmi:id="_XoXtQPZlEeCSetPXFd1ZUw" type="StatechartName">
  74. <styles xsi:type="notation:ShapeStyle" xmi:id="_XoXtQfZlEeCSetPXFd1ZUw"/>
  75. <layoutConstraint xsi:type="notation:Location" xmi:id="_XoXtQvZlEeCSetPXFd1ZUw"/>
  76. </children>
  77. <children xsi:type="notation:Shape" xmi:id="_XoXtQ_ZlEeCSetPXFd1ZUw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  78. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XoXtRPZlEeCSetPXFd1ZUw"/>
  79. </children>
  80. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XoXtRfZlEeCSetPXFd1ZUw" x="10" y="-5" width="200" height="281"/>
  81. </children>
  82. <styles xsi:type="notation:DiagramStyle" xmi:id="_XoTb0fZlEeCSetPXFd1ZUw"/>
  83. <edges xmi:id="_lRYuAJ6VEeGsX9UkwAVdHQ" type="Transition" element="_lRPkEJ6VEeGsX9UkwAVdHQ" source="_Dd4xwfimEeCPG5ImOgba0Q" target="_hj3TYJ6VEeGsX9UkwAVdHQ">
  84. <children xsi:type="notation:DecorationNode" xmi:id="_lRYuBJ6VEeGsX9UkwAVdHQ" type="TransitionExpression">
  85. <styles xsi:type="notation:ShapeStyle" xmi:id="_lRYuBZ6VEeGsX9UkwAVdHQ"/>
  86. <layoutConstraint xsi:type="notation:Location" xmi:id="_lRYuBp6VEeGsX9UkwAVdHQ" y="10"/>
  87. </children>
  88. <styles xsi:type="notation:ConnectorStyle" xmi:id="_lRYuAZ6VEeGsX9UkwAVdHQ" lineColor="4210752"/>
  89. <styles xsi:type="notation:FontStyle" xmi:id="_lRYuA56VEeGsX9UkwAVdHQ" fontName="Verdana"/>
  90. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_lRYuAp6VEeGsX9UkwAVdHQ" points="[0, 7, -2, -40]$[6, 37, 4, -10]"/>
  91. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_lRifAJ6VEeGsX9UkwAVdHQ" id="(0.6071428571428571,0.19642857142857142)"/>
  92. </edges>
  93. <edges xmi:id="_5ZJGcJ6VEeGsX9UkwAVdHQ" type="Transition" element="_5Y_8gJ6VEeGsX9UkwAVdHQ" source="_hj3TYJ6VEeGsX9UkwAVdHQ" target="_1QpnEJ6VEeGsX9UkwAVdHQ">
  94. <children xsi:type="notation:DecorationNode" xmi:id="_5ZJGdJ6VEeGsX9UkwAVdHQ" type="TransitionExpression">
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_5ZJGdZ6VEeGsX9UkwAVdHQ"/>
  96. <layoutConstraint xsi:type="notation:Location" xmi:id="_5ZJGdp6VEeGsX9UkwAVdHQ" x="1" y="-14"/>
  97. </children>
  98. <styles xsi:type="notation:ConnectorStyle" xmi:id="_5ZJGcZ6VEeGsX9UkwAVdHQ" lineColor="4210752"/>
  99. <styles xsi:type="notation:FontStyle" xmi:id="_5ZJGc56VEeGsX9UkwAVdHQ" fontName="Verdana"/>
  100. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_5ZJGcp6VEeGsX9UkwAVdHQ" points="[26, 9, -125, 2]$[152, -30, 1, -37]"/>
  101. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_5ZcocJ6VEeGsX9UkwAVdHQ" id="(0.06930693069306931,0.35135135135135137)"/>
  102. </edges>
  103. <edges xmi:id="_q-xVUZ6aEeGsX9UkwAVdHQ" type="Transition" element="_q-xVUJ6aEeGsX9UkwAVdHQ" source="_1QpnEJ6VEeGsX9UkwAVdHQ" target="_hj3TYJ6VEeGsX9UkwAVdHQ">
  104. <children xsi:type="notation:DecorationNode" xmi:id="_q-xVVZ6aEeGsX9UkwAVdHQ" type="TransitionExpression">
  105. <styles xsi:type="notation:ShapeStyle" xmi:id="_q-xVVp6aEeGsX9UkwAVdHQ"/>
  106. <layoutConstraint xsi:type="notation:Location" xmi:id="_q-xVV56aEeGsX9UkwAVdHQ" y="10"/>
  107. </children>
  108. <styles xsi:type="notation:ConnectorStyle" xmi:id="_q-xVUp6aEeGsX9UkwAVdHQ" lineColor="4210752"/>
  109. <styles xsi:type="notation:FontStyle" xmi:id="_q-xVVJ6aEeGsX9UkwAVdHQ" fontName="Verdana"/>
  110. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_q-xVU56aEeGsX9UkwAVdHQ" points="[-16, -6, 215, 15]$[-222, 5, 9, 26]"/>
  111. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_q-xVWJ6aEeGsX9UkwAVdHQ" id="(0.16831683168316833,0.6936936936936937)"/>
  112. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cabssJ6bEeGsX9UkwAVdHQ" id="(0.9104477611940298,0.9508196721311475)"/>
  113. </edges>
  114. </notation:Diagram>
  115. </xmi:XMI>