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="_emiXYKAyEeKNTJ3YQ7HAOw" specification="interface:&#xD;&#xA;&#xD;&#xA;var y0 : integer&#xD;&#xA;var y1 : string&#xD;&#xA;var y2 : boolean&#xD;&#xA;&#xD;&#xA;in event x3&#xD;&#xA;out event x4&#xD;&#xA;&#xD;&#xA;interface b:&#xD;&#xA;in event x5&#xD;&#xA;out event x6&#xD;&#xA;&#xD;&#xA;internal:&#xD;&#xA;event x7&#xD;&#xA;var z1 : integer&#xD;&#xA;var z2 : string&#xD;&#xA;var z3 : boolean&#xD;&#xA;&#xD;&#xA;&#xD;&#xA;&#xD;&#xA;" name="TimeTrigger">
  4. <regions xmi:id="_em0rQKAyEeKNTJ3YQ7HAOw" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_enOT4KAyEeKNTJ3YQ7HAOw">
  6. <outgoingTransitions xmi:id="_enVooKAyEeKNTJ3YQ7HAOw" target="_enQwIKAyEeKNTJ3YQ7HAOw"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_enQwIKAyEeKNTJ3YQ7HAOw" name="A" incomingTransitions="_enVooKAyEeKNTJ3YQ7HAOw _9BmysKAyEeKNTJ3YQ7HAOw">
  9. <outgoingTransitions xmi:id="_6fkTwKAyEeKNTJ3YQ7HAOw" specification="after 1s" target="_4j1m4KAyEeKNTJ3YQ7HAOw"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_4j1m4KAyEeKNTJ3YQ7HAOw" name="B" incomingTransitions="_6fkTwKAyEeKNTJ3YQ7HAOw">
  12. <outgoingTransitions xmi:id="_9BmysKAyEeKNTJ3YQ7HAOw" specification="after 1s" target="_enQwIKAyEeKNTJ3YQ7HAOw"/>
  13. </vertices>
  14. </regions>
  15. </sgraph:Statechart>
  16. <notation:Diagram xmi:id="_em0EMKAyEeKNTJ3YQ7HAOw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_emiXYKAyEeKNTJ3YQ7HAOw" measurementUnit="Pixel">
  17. <children xmi:id="_em5jwKAyEeKNTJ3YQ7HAOw" type="Region" element="_em0rQKAyEeKNTJ3YQ7HAOw">
  18. <children xsi:type="notation:DecorationNode" xmi:id="_enI0UKAyEeKNTJ3YQ7HAOw" type="RegionName">
  19. <styles xsi:type="notation:ShapeStyle" xmi:id="_enI0UaAyEeKNTJ3YQ7HAOw"/>
  20. <layoutConstraint xsi:type="notation:Location" xmi:id="_enI0UqAyEeKNTJ3YQ7HAOw"/>
  21. </children>
  22. <children xsi:type="notation:Shape" xmi:id="_enJbYKAyEeKNTJ3YQ7HAOw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  23. <children xmi:id="_enO68KAyEeKNTJ3YQ7HAOw" type="Entry" element="_enOT4KAyEeKNTJ3YQ7HAOw">
  24. <children xmi:id="_enO686AyEeKNTJ3YQ7HAOw" type="BorderItemLabelContainer">
  25. <children xsi:type="notation:DecorationNode" xmi:id="_enPiAKAyEeKNTJ3YQ7HAOw" type="BorderItemLabel">
  26. <styles xsi:type="notation:ShapeStyle" xmi:id="_enPiAaAyEeKNTJ3YQ7HAOw"/>
  27. <layoutConstraint xsi:type="notation:Location" xmi:id="_enPiAqAyEeKNTJ3YQ7HAOw"/>
  28. </children>
  29. <styles xsi:type="notation:ShapeStyle" xmi:id="_enO69KAyEeKNTJ3YQ7HAOw" fontName="Verdana" lineColor="4210752"/>
  30. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_enO69aAyEeKNTJ3YQ7HAOw"/>
  31. </children>
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_enO68aAyEeKNTJ3YQ7HAOw" fontName="Verdana" lineColor="4210752"/>
  33. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_enPiA6AyEeKNTJ3YQ7HAOw" x="70" y="20"/>
  34. </children>
  35. <children xmi:id="_enSlUaAyEeKNTJ3YQ7HAOw" type="State" element="_enQwIKAyEeKNTJ3YQ7HAOw">
  36. <children xsi:type="notation:DecorationNode" xmi:id="_enTMYKAyEeKNTJ3YQ7HAOw" type="StateName">
  37. <styles xsi:type="notation:ShapeStyle" xmi:id="_enTMYaAyEeKNTJ3YQ7HAOw"/>
  38. <layoutConstraint xsi:type="notation:Location" xmi:id="_enTMYqAyEeKNTJ3YQ7HAOw"/>
  39. </children>
  40. <children xsi:type="notation:Compartment" xmi:id="_enTzcKAyEeKNTJ3YQ7HAOw" type="StateTextCompartment">
  41. <children xsi:type="notation:Shape" xmi:id="_enTzcaAyEeKNTJ3YQ7HAOw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  42. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_enTzcqAyEeKNTJ3YQ7HAOw"/>
  43. </children>
  44. </children>
  45. <children xsi:type="notation:Compartment" xmi:id="_enUagKAyEeKNTJ3YQ7HAOw" type="StateFigureCompartment"/>
  46. <styles xsi:type="notation:ShapeStyle" xmi:id="_enSlUqAyEeKNTJ3YQ7HAOw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  47. <styles xsi:type="notation:FontStyle" xmi:id="_enSlU6AyEeKNTJ3YQ7HAOw"/>
  48. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_enVBkKAyEeKNTJ3YQ7HAOw" name="isHorizontal" booleanValue="true"/>
  49. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_enVBkaAyEeKNTJ3YQ7HAOw" x="19" y="104" height="96"/>
  50. </children>
  51. <children xmi:id="_4j87oKAyEeKNTJ3YQ7HAOw" type="State" element="_4j1m4KAyEeKNTJ3YQ7HAOw">
  52. <children xsi:type="notation:DecorationNode" xmi:id="_4j-w0KAyEeKNTJ3YQ7HAOw" type="StateName">
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_4j-w0aAyEeKNTJ3YQ7HAOw"/>
  54. <layoutConstraint xsi:type="notation:Location" xmi:id="_4j-w0qAyEeKNTJ3YQ7HAOw"/>
  55. </children>
  56. <children xsi:type="notation:Compartment" xmi:id="_4j-w06AyEeKNTJ3YQ7HAOw" type="StateTextCompartment">
  57. <children xsi:type="notation:Shape" xmi:id="_4j_X4KAyEeKNTJ3YQ7HAOw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  58. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4j_X4aAyEeKNTJ3YQ7HAOw"/>
  59. </children>
  60. </children>
  61. <children xsi:type="notation:Compartment" xmi:id="_4kAmAKAyEeKNTJ3YQ7HAOw" type="StateFigureCompartment"/>
  62. <styles xsi:type="notation:ShapeStyle" xmi:id="_4j87oaAyEeKNTJ3YQ7HAOw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  63. <styles xsi:type="notation:FontStyle" xmi:id="_4j87oqAyEeKNTJ3YQ7HAOw"/>
  64. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_4kAmAaAyEeKNTJ3YQ7HAOw" name="isHorizontal" booleanValue="true"/>
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4j87o6AyEeKNTJ3YQ7HAOw" x="264" y="104" height="106"/>
  66. </children>
  67. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_enJbYaAyEeKNTJ3YQ7HAOw"/>
  68. </children>
  69. <styles xsi:type="notation:ShapeStyle" xmi:id="_em5jwaAyEeKNTJ3YQ7HAOw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  70. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_enKCcKAyEeKNTJ3YQ7HAOw" x="220" y="10" width="400" height="400"/>
  71. </children>
  72. <children xsi:type="notation:Shape" xmi:id="_enbvQKAyEeKNTJ3YQ7HAOw" type="StatechartText" fontName="Verdana" lineColor="4210752">
  73. <children xsi:type="notation:DecorationNode" xmi:id="_enbvQqAyEeKNTJ3YQ7HAOw" type="StatechartName">
  74. <styles xsi:type="notation:ShapeStyle" xmi:id="_enbvQ6AyEeKNTJ3YQ7HAOw"/>
  75. <layoutConstraint xsi:type="notation:Location" xmi:id="_enbvRKAyEeKNTJ3YQ7HAOw"/>
  76. </children>
  77. <children xsi:type="notation:Shape" xmi:id="_enbvRaAyEeKNTJ3YQ7HAOw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  78. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_enbvRqAyEeKNTJ3YQ7HAOw"/>
  79. </children>
  80. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_encWUKAyEeKNTJ3YQ7HAOw" x="10" y="10" width="200" height="400"/>
  81. </children>
  82. <styles xsi:type="notation:DiagramStyle" xmi:id="_em0EMaAyEeKNTJ3YQ7HAOw"/>
  83. <edges xmi:id="_enahIKAyEeKNTJ3YQ7HAOw" type="Transition" element="_enVooKAyEeKNTJ3YQ7HAOw" source="_enO68KAyEeKNTJ3YQ7HAOw" target="_enSlUaAyEeKNTJ3YQ7HAOw">
  84. <children xsi:type="notation:DecorationNode" xmi:id="_enbIMaAyEeKNTJ3YQ7HAOw" type="TransitionExpression">
  85. <styles xsi:type="notation:ShapeStyle" xmi:id="_enbIMqAyEeKNTJ3YQ7HAOw"/>
  86. <layoutConstraint xsi:type="notation:Location" xmi:id="_enbIM6AyEeKNTJ3YQ7HAOw" y="10"/>
  87. </children>
  88. <styles xsi:type="notation:ConnectorStyle" xmi:id="_enahIaAyEeKNTJ3YQ7HAOw" lineColor="4210752"/>
  89. <styles xsi:type="notation:FontStyle" xmi:id="_enbIMKAyEeKNTJ3YQ7HAOw" fontName="Verdana"/>
  90. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_enahIqAyEeKNTJ3YQ7HAOw" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  91. </edges>
  92. <edges xmi:id="_6fn-IKAyEeKNTJ3YQ7HAOw" type="Transition" element="_6fkTwKAyEeKNTJ3YQ7HAOw" source="_enSlUaAyEeKNTJ3YQ7HAOw" target="_4j87oKAyEeKNTJ3YQ7HAOw">
  93. <children xsi:type="notation:DecorationNode" xmi:id="_6folMaAyEeKNTJ3YQ7HAOw" type="TransitionExpression">
  94. <styles xsi:type="notation:ShapeStyle" xmi:id="_6folMqAyEeKNTJ3YQ7HAOw"/>
  95. <layoutConstraint xsi:type="notation:Location" xmi:id="_6fpMQKAyEeKNTJ3YQ7HAOw" y="10"/>
  96. </children>
  97. <styles xsi:type="notation:ConnectorStyle" xmi:id="_6fn-IaAyEeKNTJ3YQ7HAOw" lineColor="4210752"/>
  98. <styles xsi:type="notation:FontStyle" xmi:id="_6folMKAyEeKNTJ3YQ7HAOw" fontName="Verdana"/>
  99. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6fn-IqAyEeKNTJ3YQ7HAOw" points="[18, 6, -136, -39]$[152, 68, -2, 23]"/>
  100. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-UO4MKAyEeKNTJ3YQ7HAOw" id="(0.95,0.21875)"/>
  101. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-k7moKAyEeKNTJ3YQ7HAOw" id="(0.05,0.2169811320754717)"/>
  102. </edges>
  103. <edges xmi:id="_9Bp2AKAyEeKNTJ3YQ7HAOw" type="Transition" element="_9BmysKAyEeKNTJ3YQ7HAOw" source="_4j87oKAyEeKNTJ3YQ7HAOw" target="_enSlUaAyEeKNTJ3YQ7HAOw">
  104. <children xsi:type="notation:DecorationNode" xmi:id="_9BrEIKAyEeKNTJ3YQ7HAOw" type="TransitionExpression">
  105. <styles xsi:type="notation:ShapeStyle" xmi:id="_9BrEIaAyEeKNTJ3YQ7HAOw"/>
  106. <layoutConstraint xsi:type="notation:Location" xmi:id="_9BrEIqAyEeKNTJ3YQ7HAOw" x="1" y="-11"/>
  107. </children>
  108. <styles xsi:type="notation:ConnectorStyle" xmi:id="_9Bp2AaAyEeKNTJ3YQ7HAOw" lineColor="4210752"/>
  109. <styles xsi:type="notation:FontStyle" xmi:id="_9BqdEKAyEeKNTJ3YQ7HAOw" fontName="Verdana"/>
  110. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_9Bp2AqAyEeKNTJ3YQ7HAOw" points="[-17, -5, 228, 0]$[-227, -5, 18, 0]"/>
  111. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="__sgSsKAyEeKNTJ3YQ7HAOw" id="(0.175,0.7830188679245284)"/>
  112. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="__dj3wKAyEeKNTJ3YQ7HAOw" id="(0.625,0.8020833333333334)"/>
  113. </edges>
  114. </notation:Diagram>
  115. </xmi:XMI>