EventDrivenTriggeredByEvent.sct 10.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115
  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="_ae66MHNqEee07dEgYYRu0Q" specification="namespace eventdriven &#xA;&#xA;@EventDriven&#xA;&#xA;interface:&#xA;&#x9;in event e&#xA;&#x9;var x : integer = 0&#xA;&#xA;" namespace="eventdriven" name="EventDrivenTriggeredByEvent">
  4. <regions xmi:id="_ae99gnNqEee07dEgYYRu0Q" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_afErMXNqEee07dEgYYRu0Q">
  6. <outgoingTransitions xmi:id="_afKKwXNqEee07dEgYYRu0Q" target="_afHugXNqEee07dEgYYRu0Q"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_afHugXNqEee07dEgYYRu0Q" specification="always / x+=1" name="A" incomingTransitions="_afKKwXNqEee07dEgYYRu0Q _15vKYHOHEee07dEgYYRu0Q">
  9. <outgoingTransitions xmi:id="_eiyYQHNqEee07dEgYYRu0Q" specification="e" target="_eixxMHNqEee07dEgYYRu0Q"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_eixxMHNqEee07dEgYYRu0Q" specification="always / x+=1&#xA;&#xA;after 100000s / x+=0" name="B" incomingTransitions="_eiyYQHNqEee07dEgYYRu0Q">
  12. <outgoingTransitions xmi:id="_15vKYHOHEee07dEgYYRu0Q" specification="e" target="_afHugXNqEee07dEgYYRu0Q"/>
  13. </vertices>
  14. </regions>
  15. </sgraph:Statechart>
  16. <notation:Diagram xmi:id="_ae99gHNqEee07dEgYYRu0Q" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_ae66MHNqEee07dEgYYRu0Q" measurementUnit="Pixel">
  17. <children xmi:id="_afAZwHNqEee07dEgYYRu0Q" type="Region" element="_ae99gnNqEee07dEgYYRu0Q">
  18. <children xsi:type="notation:DecorationNode" xmi:id="_afDdEHNqEee07dEgYYRu0Q" type="RegionName">
  19. <styles xsi:type="notation:ShapeStyle" xmi:id="_afDdEXNqEee07dEgYYRu0Q"/>
  20. <layoutConstraint xsi:type="notation:Location" xmi:id="_afDdEnNqEee07dEgYYRu0Q"/>
  21. </children>
  22. <children xsi:type="notation:Shape" xmi:id="_afEEIHNqEee07dEgYYRu0Q" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  23. <children xmi:id="_afGgYHNqEee07dEgYYRu0Q" type="Entry" element="_afErMXNqEee07dEgYYRu0Q">
  24. <children xmi:id="_afHHcHNqEee07dEgYYRu0Q" type="BorderItemLabelContainer">
  25. <children xsi:type="notation:DecorationNode" xmi:id="_afHHc3NqEee07dEgYYRu0Q" type="BorderItemLabel">
  26. <styles xsi:type="notation:ShapeStyle" xmi:id="_afHHdHNqEee07dEgYYRu0Q"/>
  27. <layoutConstraint xsi:type="notation:Location" xmi:id="_afHHdXNqEee07dEgYYRu0Q"/>
  28. </children>
  29. <styles xsi:type="notation:ShapeStyle" xmi:id="_afHHcXNqEee07dEgYYRu0Q" fontName="Verdana" lineColor="4210752"/>
  30. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_afHHcnNqEee07dEgYYRu0Q"/>
  31. </children>
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_afGgYXNqEee07dEgYYRu0Q" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  33. <styles xsi:type="notation:NamedStyle" xmi:id="_afGgYnNqEee07dEgYYRu0Q" name="allowColors"/>
  34. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_afHugHNqEee07dEgYYRu0Q" x="50" y="21"/>
  35. </children>
  36. <children xmi:id="_afIVkHNqEee07dEgYYRu0Q" type="State" element="_afHugXNqEee07dEgYYRu0Q">
  37. <children xsi:type="notation:DecorationNode" xmi:id="_afIVlHNqEee07dEgYYRu0Q" type="StateName">
  38. <styles xsi:type="notation:ShapeStyle" xmi:id="_afIVlXNqEee07dEgYYRu0Q"/>
  39. <layoutConstraint xsi:type="notation:Location" xmi:id="_afIVlnNqEee07dEgYYRu0Q"/>
  40. </children>
  41. <children xsi:type="notation:Compartment" xmi:id="_afI8oHNqEee07dEgYYRu0Q" type="StateTextCompartment">
  42. <children xsi:type="notation:Shape" xmi:id="_afI8oXNqEee07dEgYYRu0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  43. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_afI8onNqEee07dEgYYRu0Q"/>
  44. </children>
  45. </children>
  46. <children xsi:type="notation:Compartment" xmi:id="_afI8o3NqEee07dEgYYRu0Q" type="StateFigureCompartment"/>
  47. <styles xsi:type="notation:ShapeStyle" xmi:id="_afIVkXNqEee07dEgYYRu0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  48. <styles xsi:type="notation:FontStyle" xmi:id="_afIVknNqEee07dEgYYRu0Q"/>
  49. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_afJjsHNqEee07dEgYYRu0Q" name="isHorizontal" booleanValue="true"/>
  50. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_afKKwHNqEee07dEgYYRu0Q" x="40" y="80"/>
  51. </children>
  52. <children xmi:id="_ei67IHNqEee07dEgYYRu0Q" type="State" element="_eixxMHNqEee07dEgYYRu0Q">
  53. <children xsi:type="notation:DecorationNode" xmi:id="_ei7iMHNqEee07dEgYYRu0Q" type="StateName">
  54. <styles xsi:type="notation:ShapeStyle" xmi:id="_ei7iMXNqEee07dEgYYRu0Q"/>
  55. <layoutConstraint xsi:type="notation:Location" xmi:id="_ei7iMnNqEee07dEgYYRu0Q"/>
  56. </children>
  57. <children xsi:type="notation:Compartment" xmi:id="_ei7iM3NqEee07dEgYYRu0Q" type="StateTextCompartment">
  58. <children xsi:type="notation:Shape" xmi:id="_ei7iNHNqEee07dEgYYRu0Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  59. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ei7iNXNqEee07dEgYYRu0Q"/>
  60. </children>
  61. </children>
  62. <children xsi:type="notation:Compartment" xmi:id="_ei7iNnNqEee07dEgYYRu0Q" type="StateFigureCompartment"/>
  63. <styles xsi:type="notation:ShapeStyle" xmi:id="_ei67IXNqEee07dEgYYRu0Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  64. <styles xsi:type="notation:FontStyle" xmi:id="_ei67InNqEee07dEgYYRu0Q"/>
  65. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_ei7iN3NqEee07dEgYYRu0Q" name="isHorizontal" booleanValue="true"/>
  66. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_ei67I3NqEee07dEgYYRu0Q" x="189" y="85"/>
  67. </children>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_afEEIXNqEee07dEgYYRu0Q"/>
  69. </children>
  70. <styles xsi:type="notation:ShapeStyle" xmi:id="_afAZwXNqEee07dEgYYRu0Q" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  71. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_afErMHNqEee07dEgYYRu0Q" x="224" y="10" width="400" height="400"/>
  72. </children>
  73. <children xsi:type="notation:Shape" xmi:id="_afLY5HNqEee07dEgYYRu0Q" type="StatechartText" fontName="Verdana" lineColor="4210752">
  74. <children xsi:type="notation:DecorationNode" xmi:id="_afL_8HNqEee07dEgYYRu0Q" type="StatechartName">
  75. <styles xsi:type="notation:ShapeStyle" xmi:id="_afL_8XNqEee07dEgYYRu0Q"/>
  76. <layoutConstraint xsi:type="notation:Location" xmi:id="_afL_8nNqEee07dEgYYRu0Q"/>
  77. </children>
  78. <children xsi:type="notation:Shape" xmi:id="_afL_83NqEee07dEgYYRu0Q" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  79. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_afL_9HNqEee07dEgYYRu0Q"/>
  80. </children>
  81. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_afL_9XNqEee07dEgYYRu0Q" x="10" y="10" width="200" height="400"/>
  82. </children>
  83. <styles xsi:type="notation:DiagramStyle" xmi:id="_ae99gXNqEee07dEgYYRu0Q"/>
  84. <edges xmi:id="_afKx0HNqEee07dEgYYRu0Q" type="Transition" element="_afKKwXNqEee07dEgYYRu0Q" source="_afGgYHNqEee07dEgYYRu0Q" target="_afIVkHNqEee07dEgYYRu0Q">
  85. <children xsi:type="notation:DecorationNode" xmi:id="_afLY4XNqEee07dEgYYRu0Q" type="TransitionExpression">
  86. <styles xsi:type="notation:ShapeStyle" xmi:id="_afLY4nNqEee07dEgYYRu0Q"/>
  87. <layoutConstraint xsi:type="notation:Location" xmi:id="_afLY43NqEee07dEgYYRu0Q" y="10"/>
  88. </children>
  89. <styles xsi:type="notation:ConnectorStyle" xmi:id="_afKx0XNqEee07dEgYYRu0Q" routing="Rectilinear" lineColor="4210752"/>
  90. <styles xsi:type="notation:FontStyle" xmi:id="_afLY4HNqEee07dEgYYRu0Q" fontName="Verdana"/>
  91. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_afKx0nNqEee07dEgYYRu0Q" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  92. </edges>
  93. <edges xmi:id="_ejEFEHNqEee07dEgYYRu0Q" type="Transition" element="_eiyYQHNqEee07dEgYYRu0Q" source="_afIVkHNqEee07dEgYYRu0Q" target="_ei67IHNqEee07dEgYYRu0Q">
  94. <children xsi:type="notation:DecorationNode" xmi:id="_ejHIYXNqEee07dEgYYRu0Q" type="TransitionExpression">
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_ejHIYnNqEee07dEgYYRu0Q"/>
  96. <layoutConstraint xsi:type="notation:Location" xmi:id="_ejHIY3NqEee07dEgYYRu0Q" x="1" y="7"/>
  97. </children>
  98. <styles xsi:type="notation:ConnectorStyle" xmi:id="_ejEFEXNqEee07dEgYYRu0Q" routing="Rectilinear" lineColor="4210752"/>
  99. <styles xsi:type="notation:FontStyle" xmi:id="_ejHIYHNqEee07dEgYYRu0Q" fontName="Verdana"/>
  100. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_ejEFEnNqEee07dEgYYRu0Q" points="[-14, -24, 46, 83]$[-59, -104, 1, 3]"/>
  101. </edges>
  102. <edges xmi:id="_15xmoHOHEee07dEgYYRu0Q" type="Transition" element="_15vKYHOHEee07dEgYYRu0Q" source="_ei67IHNqEee07dEgYYRu0Q" target="_afIVkHNqEee07dEgYYRu0Q">
  103. <children xsi:type="notation:DecorationNode" xmi:id="_15yNsHOHEee07dEgYYRu0Q" type="TransitionExpression">
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_15yNsXOHEee07dEgYYRu0Q"/>
  105. <layoutConstraint xsi:type="notation:Location" xmi:id="_15yNsnOHEee07dEgYYRu0Q" x="-1" y="-5"/>
  106. </children>
  107. <styles xsi:type="notation:ConnectorStyle" xmi:id="_15xmoXOHEee07dEgYYRu0Q" routing="Rectilinear" lineColor="4210752"/>
  108. <styles xsi:type="notation:FontStyle" xmi:id="_15xmo3OHEee07dEgYYRu0Q" fontName="Verdana"/>
  109. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_15xmonOHEee07dEgYYRu0Q" points="[-31, -16, 143, -6]$[-145, -16, 29, -6]"/>
  110. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_150p8HOHEee07dEgYYRu0Q" id="(0.358695652173913,1.0)"/>
  111. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_150p8XOHEee07dEgYYRu0Q" id="(0.175,0.9056603773584906)"/>
  112. </edges>
  113. </notation:Diagram>
  114. </xmi:XMI>