AssignmentAsExpression.sct 8.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101
  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="_jC0fkAbeEeKcGdE-_70tiA" specification="&#xA;interface: &#xA;&#xA;&#x9;var a : integer = 0&#xA;&#x9;var b : integer = 0" name="AssignmentAsExpression">
  4. <regions xmi:id="_jC1tsgbeEeKcGdE-_70tiA" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_jC6mNgbeEeKcGdE-_70tiA">
  6. <outgoingTransitions xmi:id="_jC9CcwbeEeKcGdE-_70tiA" target="_jC70UgbeEeKcGdE-_70tiA"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_jC70UgbeEeKcGdE-_70tiA" specification="entry / a = (b = 5) + 4" name="A" incomingTransitions="_jC9CcwbeEeKcGdE-_70tiA">
  9. <outgoingTransitions xmi:id="_GL9vYAbmEeKcGdE-_70tiA" specification="always " target="_GLenMAbmEeKcGdE-_70tiA"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_GLenMAbmEeKcGdE-_70tiA" name="B" incomingTransitions="_GL9vYAbmEeKcGdE-_70tiA"/>
  12. </regions>
  13. </sgraph:Statechart>
  14. <notation:Diagram xmi:id="_jC1tsAbeEeKcGdE-_70tiA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_jC0fkAbeEeKcGdE-_70tiA" measurementUnit="Pixel">
  15. <children xmi:id="_jC4J8AbeEeKcGdE-_70tiA" type="Region" element="_jC1tsgbeEeKcGdE-_70tiA">
  16. <children xsi:type="notation:DecorationNode" xmi:id="_jC6mMAbeEeKcGdE-_70tiA" type="RegionName">
  17. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC6mMQbeEeKcGdE-_70tiA"/>
  18. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC6mMgbeEeKcGdE-_70tiA"/>
  19. </children>
  20. <children xsi:type="notation:Shape" xmi:id="_jC6mMwbeEeKcGdE-_70tiA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  21. <children xmi:id="_jC7NQAbeEeKcGdE-_70tiA" type="Entry" element="_jC6mNgbeEeKcGdE-_70tiA">
  22. <children xmi:id="_jC7NQwbeEeKcGdE-_70tiA" type="BorderItemLabelContainer">
  23. <children xsi:type="notation:DecorationNode" xmi:id="_jC7NRgbeEeKcGdE-_70tiA" type="BorderItemLabel">
  24. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC7NRwbeEeKcGdE-_70tiA"/>
  25. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC70UAbeEeKcGdE-_70tiA"/>
  26. </children>
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC7NRAbeEeKcGdE-_70tiA" fontName="Verdana" lineColor="4210752"/>
  28. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC7NRQbeEeKcGdE-_70tiA"/>
  29. </children>
  30. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC7NQQbeEeKcGdE-_70tiA" fontName="Verdana" lineColor="4210752"/>
  31. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC70UQbeEeKcGdE-_70tiA" x="70" y="20"/>
  32. </children>
  33. <children xmi:id="_jC70VAbeEeKcGdE-_70tiA" type="State" element="_jC70UgbeEeKcGdE-_70tiA">
  34. <children xsi:type="notation:DecorationNode" xmi:id="_jC8bYAbeEeKcGdE-_70tiA" type="StateName">
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC8bYQbeEeKcGdE-_70tiA"/>
  36. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC8bYgbeEeKcGdE-_70tiA"/>
  37. </children>
  38. <children xsi:type="notation:Compartment" xmi:id="_jC8bYwbeEeKcGdE-_70tiA" type="StateTextCompartment">
  39. <children xsi:type="notation:Shape" xmi:id="_jC8bZAbeEeKcGdE-_70tiA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  40. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC8bZQbeEeKcGdE-_70tiA"/>
  41. </children>
  42. </children>
  43. <children xsi:type="notation:Compartment" xmi:id="_jC9CcAbeEeKcGdE-_70tiA" type="StateFigureCompartment"/>
  44. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC70VQbeEeKcGdE-_70tiA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  45. <styles xsi:type="notation:FontStyle" xmi:id="_jC70VgbeEeKcGdE-_70tiA"/>
  46. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_jC9CcQbeEeKcGdE-_70tiA"/>
  47. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC9CcgbeEeKcGdE-_70tiA" x="40" y="80" width="223"/>
  48. </children>
  49. <children xmi:id="_GLt3wAbmEeKcGdE-_70tiA" type="State" element="_GLenMAbmEeKcGdE-_70tiA">
  50. <children xsi:type="notation:DecorationNode" xmi:id="_GLt3xAbmEeKcGdE-_70tiA" type="StateName">
  51. <styles xsi:type="notation:ShapeStyle" xmi:id="_GLt3xQbmEeKcGdE-_70tiA"/>
  52. <layoutConstraint xsi:type="notation:Location" xmi:id="_GLt3xgbmEeKcGdE-_70tiA"/>
  53. </children>
  54. <children xsi:type="notation:Compartment" xmi:id="_GLt3xwbmEeKcGdE-_70tiA" type="StateTextCompartment">
  55. <children xsi:type="notation:Shape" xmi:id="_GLue0AbmEeKcGdE-_70tiA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  56. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GLue0QbmEeKcGdE-_70tiA"/>
  57. </children>
  58. </children>
  59. <children xsi:type="notation:Compartment" xmi:id="_GLue0gbmEeKcGdE-_70tiA" type="StateFigureCompartment"/>
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_GLt3wQbmEeKcGdE-_70tiA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  61. <styles xsi:type="notation:FontStyle" xmi:id="_GLt3wgbmEeKcGdE-_70tiA"/>
  62. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_GLue0wbmEeKcGdE-_70tiA"/>
  63. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_GLt3wwbmEeKcGdE-_70tiA" x="161" y="225"/>
  64. </children>
  65. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC6mNAbeEeKcGdE-_70tiA"/>
  66. </children>
  67. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC4J8QbeEeKcGdE-_70tiA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  68. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC6mNQbeEeKcGdE-_70tiA" x="220" y="10" width="400" height="400"/>
  69. </children>
  70. <children xsi:type="notation:Shape" xmi:id="_jC-QkwbeEeKcGdE-_70tiA" type="StatechartText" fontName="Verdana" lineColor="4210752">
  71. <children xsi:type="notation:DecorationNode" xmi:id="_jC-QlQbeEeKcGdE-_70tiA" type="StatechartName">
  72. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC-QlgbeEeKcGdE-_70tiA"/>
  73. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC-QlwbeEeKcGdE-_70tiA"/>
  74. </children>
  75. <children xsi:type="notation:Shape" xmi:id="_jC-3oAbeEeKcGdE-_70tiA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  76. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC-3oQbeEeKcGdE-_70tiA"/>
  77. </children>
  78. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_jC-3ogbeEeKcGdE-_70tiA" x="10" y="10" width="200" height="400"/>
  79. </children>
  80. <styles xsi:type="notation:DiagramStyle" xmi:id="_jC1tsQbeEeKcGdE-_70tiA"/>
  81. <edges xmi:id="_jC9pgAbeEeKcGdE-_70tiA" type="Transition" element="_jC9CcwbeEeKcGdE-_70tiA" source="_jC7NQAbeEeKcGdE-_70tiA" target="_jC70VAbeEeKcGdE-_70tiA">
  82. <children xsi:type="notation:DecorationNode" xmi:id="_jC-QkAbeEeKcGdE-_70tiA" type="TransitionExpression">
  83. <styles xsi:type="notation:ShapeStyle" xmi:id="_jC-QkQbeEeKcGdE-_70tiA"/>
  84. <layoutConstraint xsi:type="notation:Location" xmi:id="_jC-QkgbeEeKcGdE-_70tiA" y="10"/>
  85. </children>
  86. <styles xsi:type="notation:ConnectorStyle" xmi:id="_jC9pgQbeEeKcGdE-_70tiA" lineColor="4210752"/>
  87. <styles xsi:type="notation:FontStyle" xmi:id="_jC9pgwbeEeKcGdE-_70tiA" fontName="Verdana"/>
  88. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_jC9pggbeEeKcGdE-_70tiA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  89. </edges>
  90. <edges xmi:id="_GMCA0AbmEeKcGdE-_70tiA" type="Transition" element="_GL9vYAbmEeKcGdE-_70tiA" source="_jC70VAbeEeKcGdE-_70tiA" target="_GLt3wAbmEeKcGdE-_70tiA">
  91. <children xsi:type="notation:DecorationNode" xmi:id="_GMCn4QbmEeKcGdE-_70tiA" type="TransitionExpression">
  92. <styles xsi:type="notation:ShapeStyle" xmi:id="_GMCn4gbmEeKcGdE-_70tiA"/>
  93. <layoutConstraint xsi:type="notation:Location" xmi:id="_GMCn4wbmEeKcGdE-_70tiA" x="-5" y="33"/>
  94. </children>
  95. <styles xsi:type="notation:ConnectorStyle" xmi:id="_GMCA0QbmEeKcGdE-_70tiA" lineColor="4210752"/>
  96. <styles xsi:type="notation:FontStyle" xmi:id="_GMCn4AbmEeKcGdE-_70tiA" fontName="Verdana"/>
  97. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_GMCA0gbmEeKcGdE-_70tiA" points="[-36, -25, 116, 83]$[-149, -106, 3, 2]"/>
  98. </edges>
  99. </notation:Diagram>
  100. </xmi:XMI>