AssignmentToValue.sct 6.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273
  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="_u513oG5sEeSL5-Sh3xFGWw" specification="internal:&#xD;&#xA;//No Issue, initializing constant&#xD;&#xA;const x :integer = 10&#xD;&#xA;// No issue, initializing constant in named interface&#xD;&#xA;interface A:&#xD;&#xA;const x : integer = 4" name="ATM">
  4. <regions xmi:id="_u53s0m5sEeSL5-Sh3xFGWw" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_u57-Q25sEeSL5-Sh3xFGWw">
  6. <outgoingTransitions xmi:id="_u5-agW5sEeSL5-Sh3xFGWw" target="_u58lV25sEeSL5-Sh3xFGWw"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_u58lV25sEeSL5-Sh3xFGWw" specification="//expected 2 errors&#xD;&#xA;entry / A.x = 10; x = 10" name="s" incomingTransitions="_u5-agW5sEeSL5-Sh3xFGWw"/>
  9. </regions>
  10. </sgraph:Statechart>
  11. <notation:Diagram xmi:id="_u53s0G5sEeSL5-Sh3xFGWw" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_u513oG5sEeSL5-Sh3xFGWw" measurementUnit="Pixel">
  12. <children xmi:id="_u55iAG5sEeSL5-Sh3xFGWw" type="Region" element="_u53s0m5sEeSL5-Sh3xFGWw">
  13. <children xsi:type="notation:DecorationNode" xmi:id="_u57XMG5sEeSL5-Sh3xFGWw" type="RegionName">
  14. <styles xsi:type="notation:ShapeStyle" xmi:id="_u57XMW5sEeSL5-Sh3xFGWw"/>
  15. <layoutConstraint xsi:type="notation:Location" xmi:id="_u57XMm5sEeSL5-Sh3xFGWw"/>
  16. </children>
  17. <children xsi:type="notation:Shape" xmi:id="_u57-QG5sEeSL5-Sh3xFGWw" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  18. <children xmi:id="_u57-RG5sEeSL5-Sh3xFGWw" type="Entry" element="_u57-Q25sEeSL5-Sh3xFGWw">
  19. <children xmi:id="_u58lUG5sEeSL5-Sh3xFGWw" type="BorderItemLabelContainer">
  20. <children xsi:type="notation:DecorationNode" xmi:id="_u58lU25sEeSL5-Sh3xFGWw" type="BorderItemLabel">
  21. <styles xsi:type="notation:ShapeStyle" xmi:id="_u58lVG5sEeSL5-Sh3xFGWw"/>
  22. <layoutConstraint xsi:type="notation:Location" xmi:id="_u58lVW5sEeSL5-Sh3xFGWw"/>
  23. </children>
  24. <styles xsi:type="notation:ShapeStyle" xmi:id="_u58lUW5sEeSL5-Sh3xFGWw" fontName="Verdana" lineColor="4210752"/>
  25. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_u58lUm5sEeSL5-Sh3xFGWw"/>
  26. </children>
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_u57-RW5sEeSL5-Sh3xFGWw" fontName="Verdana" lineColor="4210752"/>
  28. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_u58lVm5sEeSL5-Sh3xFGWw" x="70" y="20"/>
  29. </children>
  30. <children xmi:id="_u59MYm5sEeSL5-Sh3xFGWw" type="State" element="_u58lV25sEeSL5-Sh3xFGWw">
  31. <children xsi:type="notation:DecorationNode" xmi:id="_u59MZm5sEeSL5-Sh3xFGWw" type="StateName">
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_u59MZ25sEeSL5-Sh3xFGWw"/>
  33. <layoutConstraint xsi:type="notation:Location" xmi:id="_u59MaG5sEeSL5-Sh3xFGWw"/>
  34. </children>
  35. <children xsi:type="notation:Compartment" xmi:id="_u59zcG5sEeSL5-Sh3xFGWw" type="StateTextCompartment">
  36. <children xsi:type="notation:Shape" xmi:id="_u59zcW5sEeSL5-Sh3xFGWw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  37. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_u59zcm5sEeSL5-Sh3xFGWw"/>
  38. </children>
  39. </children>
  40. <children xsi:type="notation:Compartment" xmi:id="_u59zc25sEeSL5-Sh3xFGWw" type="StateFigureCompartment"/>
  41. <styles xsi:type="notation:ShapeStyle" xmi:id="_u59MY25sEeSL5-Sh3xFGWw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  42. <styles xsi:type="notation:FontStyle" xmi:id="_u59MZG5sEeSL5-Sh3xFGWw"/>
  43. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_u59zdG5sEeSL5-Sh3xFGWw" name="isHorizontal" booleanValue="true"/>
  44. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_u5-agG5sEeSL5-Sh3xFGWw" x="40" y="80"/>
  45. </children>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_u57-QW5sEeSL5-Sh3xFGWw"/>
  47. </children>
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_u55iAW5sEeSL5-Sh3xFGWw" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  49. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_u57-Qm5sEeSL5-Sh3xFGWw" x="405" y="10" width="238" height="182"/>
  50. </children>
  51. <children xsi:type="notation:Shape" xmi:id="_u5_ooG5sEeSL5-Sh3xFGWw" type="StatechartText" fontName="Verdana" lineColor="4210752">
  52. <children xsi:type="notation:DecorationNode" xmi:id="_u5_oom5sEeSL5-Sh3xFGWw" type="StatechartName">
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_u5_oo25sEeSL5-Sh3xFGWw"/>
  54. <layoutConstraint xsi:type="notation:Location" xmi:id="_u5_opG5sEeSL5-Sh3xFGWw"/>
  55. </children>
  56. <children xsi:type="notation:Shape" xmi:id="_u5_opW5sEeSL5-Sh3xFGWw" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  57. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_u5_opm5sEeSL5-Sh3xFGWw"/>
  58. </children>
  59. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_u6APsG5sEeSL5-Sh3xFGWw" x="10" y="10" width="371" height="136"/>
  60. </children>
  61. <styles xsi:type="notation:DiagramStyle" xmi:id="_u53s0W5sEeSL5-Sh3xFGWw"/>
  62. <edges xmi:id="_u5_BkG5sEeSL5-Sh3xFGWw" type="Transition" element="_u5-agW5sEeSL5-Sh3xFGWw" source="_u57-RG5sEeSL5-Sh3xFGWw" target="_u59MYm5sEeSL5-Sh3xFGWw">
  63. <children xsi:type="notation:DecorationNode" xmi:id="_u5_BlG5sEeSL5-Sh3xFGWw" type="TransitionExpression">
  64. <styles xsi:type="notation:ShapeStyle" xmi:id="_u5_BlW5sEeSL5-Sh3xFGWw"/>
  65. <layoutConstraint xsi:type="notation:Location" xmi:id="_u5_Blm5sEeSL5-Sh3xFGWw" y="10"/>
  66. </children>
  67. <styles xsi:type="notation:ConnectorStyle" xmi:id="_u5_BkW5sEeSL5-Sh3xFGWw" lineColor="4210752"/>
  68. <styles xsi:type="notation:FontStyle" xmi:id="_u5_Bk25sEeSL5-Sh3xFGWw" fontName="Verdana"/>
  69. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_u5_Bkm5sEeSL5-Sh3xFGWw" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  70. </edges>
  71. </notation:Diagram>
  72. </xmi:XMI>