TestExpressions.sct 9.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  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="_t8csgEKGEeGR5uXS9urEyQ" name="TestExpressions" specification="namespace validexp&#xA;internal :&#xA;&#xA;operation localOperation(integer, integer):integer&#xA;var varA : boolean = true&#xA;var varB : integer = 100&#xA;var varC : real = 3.14&#xA;var varD : string = &quot;text&quot;&#xA;var varE : integer&#xA;&#xA;event evA&#xA;event evB : boolean = true&#xA;event evC : integer = 100&#xA;event evD : real = 3.14&#xA;event evE : string = &quot;text&quot;&#xA;event evF = evB || evC&#xA;&#xA;interface A:&#xA;var varA : boolean = true&#xA;var varB : integer = 100&#xA;var varC : real = 3.14&#xA;var varD : string = &quot;text&quot;&#xA;&#xA;in event evA&#xA;in event evB : boolean = true&#xA;out event evC : integer = 100&#xA;out event evD : real = 3.14&#xA;out event evE : string = &quot;text&quot;&#xA;&#xA;entrypoint entryA&#xA;&#xA;exitpoint exitA" namespace="validexp">
  4. <regions xmi:id="_t8d6okKGEeGR5uXS9urEyQ" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_t8vncUKGEeGR5uXS9urEyQ">
  6. <outgoingTransitions xmi:id="_t8xcoUKGEeGR5uXS9urEyQ" target="_t8wOhEKGEeGR5uXS9urEyQ"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_t8wOhEKGEeGR5uXS9urEyQ" specification="entry / varC=5.0; raise A.evE;&#xA;oncycle / A.varB += 1;&#xA;after 100 ms / raise evA;&#xA;exit / varA = false;" name="State A" incomingTransitions="_t8xcoUKGEeGR5uXS9urEyQ">
  9. <outgoingTransitions xmi:id="_x2k_wEKGEeGR5uXS9urEyQ" specification="evA, A.evA [varA &amp;&amp; A.evC == 100] / raise A.evD;" target="_wTuF4EKGEeGR5uXS9urEyQ"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_wTuF4EKGEeGR5uXS9urEyQ" specification="entry / varB *=2; varB/=2; varB = (varB+100)*varE;" name="State B" incomingTransitions="_x2k_wEKGEeGR5uXS9urEyQ"/>
  12. </regions>
  13. </sgraph:Statechart>
  14. <notation:Diagram xmi:id="_t8d6oEKGEeGR5uXS9urEyQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_t8csgEKGEeGR5uXS9urEyQ" measurementUnit="Pixel">
  15. <children xmi:id="_t8gW4EKGEeGR5uXS9urEyQ" type="Region" element="_t8d6okKGEeGR5uXS9urEyQ">
  16. <children xsi:type="notation:DecorationNode" xmi:id="_t8vAYEKGEeGR5uXS9urEyQ" type="RegionName">
  17. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8vAYUKGEeGR5uXS9urEyQ"/>
  18. <layoutConstraint xsi:type="notation:Location" xmi:id="_t8vAYkKGEeGR5uXS9urEyQ"/>
  19. </children>
  20. <children xsi:type="notation:Shape" xmi:id="_t8vAY0KGEeGR5uXS9urEyQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  21. <children xmi:id="_t8vnckKGEeGR5uXS9urEyQ" type="Entry" element="_t8vncUKGEeGR5uXS9urEyQ">
  22. <children xmi:id="_t8vndUKGEeGR5uXS9urEyQ" type="BorderItemLabelContainer">
  23. <children xsi:type="notation:DecorationNode" xmi:id="_t8wOgEKGEeGR5uXS9urEyQ" type="BorderItemLabel">
  24. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8wOgUKGEeGR5uXS9urEyQ"/>
  25. <layoutConstraint xsi:type="notation:Location" xmi:id="_t8wOgkKGEeGR5uXS9urEyQ"/>
  26. </children>
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8vndkKGEeGR5uXS9urEyQ" fontName="Verdana" lineColor="4210752"/>
  28. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8vnd0KGEeGR5uXS9urEyQ"/>
  29. </children>
  30. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8vnc0KGEeGR5uXS9urEyQ" fontName="Verdana" lineColor="4210752"/>
  31. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8wOg0KGEeGR5uXS9urEyQ" x="93" y="19"/>
  32. </children>
  33. <children xmi:id="_t8wOhkKGEeGR5uXS9urEyQ" type="State" element="_t8wOhEKGEeGR5uXS9urEyQ">
  34. <children xsi:type="notation:DecorationNode" xmi:id="_t8w1kEKGEeGR5uXS9urEyQ" type="StateName">
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8w1kUKGEeGR5uXS9urEyQ"/>
  36. <layoutConstraint xsi:type="notation:Location" xmi:id="_t8w1kkKGEeGR5uXS9urEyQ"/>
  37. </children>
  38. <children xsi:type="notation:Compartment" xmi:id="_t8w1k0KGEeGR5uXS9urEyQ" type="StateTextCompartment">
  39. <children xsi:type="notation:Shape" xmi:id="_t8w1lEKGEeGR5uXS9urEyQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  40. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8w1lUKGEeGR5uXS9urEyQ"/>
  41. </children>
  42. </children>
  43. <children xsi:type="notation:Compartment" xmi:id="_t8w1lkKGEeGR5uXS9urEyQ" type="StateFigureCompartment"/>
  44. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8wOh0KGEeGR5uXS9urEyQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  45. <styles xsi:type="notation:FontStyle" xmi:id="_t8wOiEKGEeGR5uXS9urEyQ"/>
  46. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_t8w1l0KGEeGR5uXS9urEyQ"/>
  47. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8xcoEKGEeGR5uXS9urEyQ" x="53" y="75" width="262"/>
  48. </children>
  49. <children xmi:id="_wT5FAEKGEeGR5uXS9urEyQ" type="State" element="_wTuF4EKGEeGR5uXS9urEyQ">
  50. <children xsi:type="notation:DecorationNode" xmi:id="_wT5sEEKGEeGR5uXS9urEyQ" type="StateName">
  51. <styles xsi:type="notation:ShapeStyle" xmi:id="_wT5sEUKGEeGR5uXS9urEyQ"/>
  52. <layoutConstraint xsi:type="notation:Location" xmi:id="_wT5sEkKGEeGR5uXS9urEyQ"/>
  53. </children>
  54. <children xsi:type="notation:Compartment" xmi:id="_wT5sE0KGEeGR5uXS9urEyQ" type="StateTextCompartment">
  55. <children xsi:type="notation:Shape" xmi:id="_wT5sFEKGEeGR5uXS9urEyQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  56. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wT5sFUKGEeGR5uXS9urEyQ"/>
  57. </children>
  58. </children>
  59. <children xsi:type="notation:Compartment" xmi:id="_wT5sFkKGEeGR5uXS9urEyQ" type="StateFigureCompartment"/>
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_wT5FAUKGEeGR5uXS9urEyQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  61. <styles xsi:type="notation:FontStyle" xmi:id="_wT5FAkKGEeGR5uXS9urEyQ"/>
  62. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_wT5sF0KGEeGR5uXS9urEyQ"/>
  63. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wT5FA0KGEeGR5uXS9urEyQ" x="53" y="223" width="262"/>
  64. </children>
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8vAZEKGEeGR5uXS9urEyQ"/>
  66. </children>
  67. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8gW4UKGEeGR5uXS9urEyQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8vncEKGEeGR5uXS9urEyQ" x="216" y="10" width="701" height="400"/>
  69. </children>
  70. <children xsi:type="notation:Shape" xmi:id="_t8yqw0KGEeGR5uXS9urEyQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
  71. <children xsi:type="notation:DecorationNode" xmi:id="_t8yqxUKGEeGR5uXS9urEyQ" type="StatechartName">
  72. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8yqxkKGEeGR5uXS9urEyQ"/>
  73. <layoutConstraint xsi:type="notation:Location" xmi:id="_t8yqx0KGEeGR5uXS9urEyQ"/>
  74. </children>
  75. <children xsi:type="notation:Shape" xmi:id="_t8yqyEKGEeGR5uXS9urEyQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8yqyUKGEeGR5uXS9urEyQ"/>
  77. </children>
  78. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8zR0EKGEeGR5uXS9urEyQ" x="10" y="10" width="200" height="400"/>
  79. </children>
  80. <styles xsi:type="notation:DiagramStyle" xmi:id="_t8d6oUKGEeGR5uXS9urEyQ"/>
  81. <edges xmi:id="_t8yDsEKGEeGR5uXS9urEyQ" type="Transition" element="_t8xcoUKGEeGR5uXS9urEyQ" source="_t8vnckKGEeGR5uXS9urEyQ" target="_t8wOhkKGEeGR5uXS9urEyQ">
  82. <children xsi:type="notation:DecorationNode" xmi:id="_t8yqwEKGEeGR5uXS9urEyQ" type="TransitionExpression">
  83. <styles xsi:type="notation:ShapeStyle" xmi:id="_t8yqwUKGEeGR5uXS9urEyQ"/>
  84. <layoutConstraint xsi:type="notation:Location" xmi:id="_t8yqwkKGEeGR5uXS9urEyQ" y="10"/>
  85. </children>
  86. <styles xsi:type="notation:ConnectorStyle" xmi:id="_t8yDsUKGEeGR5uXS9urEyQ" lineColor="4210752"/>
  87. <styles xsi:type="notation:FontStyle" xmi:id="_t8yDs0KGEeGR5uXS9urEyQ" fontName="Verdana"/>
  88. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_t8yDskKGEeGR5uXS9urEyQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  89. </edges>
  90. <edges xmi:id="_x2pRMEKGEeGR5uXS9urEyQ" type="Transition" element="_x2k_wEKGEeGR5uXS9urEyQ" source="_t8wOhkKGEeGR5uXS9urEyQ" target="_wT5FAEKGEeGR5uXS9urEyQ">
  91. <children xsi:type="notation:DecorationNode" xmi:id="_x2p4QUKGEeGR5uXS9urEyQ" type="TransitionExpression">
  92. <styles xsi:type="notation:ShapeStyle" xmi:id="_x2p4QkKGEeGR5uXS9urEyQ"/>
  93. <layoutConstraint xsi:type="notation:Location" xmi:id="_x2p4Q0KGEeGR5uXS9urEyQ" x="-2" y="-157"/>
  94. </children>
  95. <styles xsi:type="notation:ConnectorStyle" xmi:id="_x2pRMUKGEeGR5uXS9urEyQ" lineColor="4210752"/>
  96. <styles xsi:type="notation:FontStyle" xmi:id="_x2p4QEKGEeGR5uXS9urEyQ" fontName="Verdana"/>
  97. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_x2pRMkKGEeGR5uXS9urEyQ" points="[8, 12, 7, -93]$[26, 105, 25, 0]"/>
  98. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_x2s7kEKGEeGR5uXS9urEyQ" id="(0.4909090909090909,0.7719298245614035)"/>
  99. </edges>
  100. </notation:Diagram>
  101. </xmi:XMI>