Parenthesis.sct 6.0 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="_C7hgcAJTEeKgI6gPkT8J7A" specification="interface: &#xD;&#xA;var erg : integer&#xD;&#xA;&#xD;&#xA;&#xD;&#xA;&#xD;&#xA;" name="Parenthesis">
  4. <regions xmi:id="_C7jVoAJTEeKgI6gPkT8J7A" name="mainRegion">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_C7oOIQJTEeKgI6gPkT8J7A">
  6. <outgoingTransitions xmi:id="_C7qqZQJTEeKgI6gPkT8J7A" target="_C7pcQQJTEeKgI6gPkT8J7A"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_C7pcQQJTEeKgI6gPkT8J7A" specification="entry /&#xD;&#xA;erg = 4* (3 -1)&#xD;&#xA;" name="A" incomingTransitions="_C7qqZQJTEeKgI6gPkT8J7A"/>
  9. </regions>
  10. </sgraph:Statechart>
  11. <notation:Diagram xmi:id="_C7iukAJTEeKgI6gPkT8J7A" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_C7hgcAJTEeKgI6gPkT8J7A" measurementUnit="Pixel">
  12. <children xmi:id="_C7lx4AJTEeKgI6gPkT8J7A" type="Region" element="_C7jVoAJTEeKgI6gPkT8J7A">
  13. <children xsi:type="notation:DecorationNode" xmi:id="_C7nnEAJTEeKgI6gPkT8J7A" type="RegionName">
  14. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7nnEQJTEeKgI6gPkT8J7A"/>
  15. <layoutConstraint xsi:type="notation:Location" xmi:id="_C7nnEgJTEeKgI6gPkT8J7A"/>
  16. </children>
  17. <children xsi:type="notation:Shape" xmi:id="_C7nnEwJTEeKgI6gPkT8J7A" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  18. <children xmi:id="_C7oOIgJTEeKgI6gPkT8J7A" type="Entry" element="_C7oOIQJTEeKgI6gPkT8J7A">
  19. <children xmi:id="_C7o1MAJTEeKgI6gPkT8J7A" type="BorderItemLabelContainer">
  20. <children xsi:type="notation:DecorationNode" xmi:id="_C7o1MwJTEeKgI6gPkT8J7A" type="BorderItemLabel">
  21. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7o1NAJTEeKgI6gPkT8J7A"/>
  22. <layoutConstraint xsi:type="notation:Location" xmi:id="_C7o1NQJTEeKgI6gPkT8J7A"/>
  23. </children>
  24. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7o1MQJTEeKgI6gPkT8J7A" fontName="Verdana" lineColor="4210752"/>
  25. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_C7o1MgJTEeKgI6gPkT8J7A"/>
  26. </children>
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7oOIwJTEeKgI6gPkT8J7A" fontName="Verdana" lineColor="4210752"/>
  28. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_C7pcQAJTEeKgI6gPkT8J7A" x="119" y="39"/>
  29. </children>
  30. <children xmi:id="_C7pcQwJTEeKgI6gPkT8J7A" type="State" element="_C7pcQQJTEeKgI6gPkT8J7A">
  31. <children xsi:type="notation:DecorationNode" xmi:id="_C7qDUAJTEeKgI6gPkT8J7A" type="StateName">
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7qDUQJTEeKgI6gPkT8J7A"/>
  33. <layoutConstraint xsi:type="notation:Location" xmi:id="_C7qDUgJTEeKgI6gPkT8J7A"/>
  34. </children>
  35. <children xsi:type="notation:Compartment" xmi:id="_C7qDUwJTEeKgI6gPkT8J7A" type="StateTextCompartment">
  36. <children xsi:type="notation:Shape" xmi:id="_C7qqYAJTEeKgI6gPkT8J7A" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  37. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_C7qqYQJTEeKgI6gPkT8J7A"/>
  38. </children>
  39. </children>
  40. <children xsi:type="notation:Compartment" xmi:id="_C7qqYgJTEeKgI6gPkT8J7A" type="StateFigureCompartment"/>
  41. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7pcRAJTEeKgI6gPkT8J7A" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  42. <styles xsi:type="notation:FontStyle" xmi:id="_C7pcRQJTEeKgI6gPkT8J7A"/>
  43. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_C7qqYwJTEeKgI6gPkT8J7A"/>
  44. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_C7qqZAJTEeKgI6gPkT8J7A" x="4" y="74" width="201" height="76"/>
  45. </children>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_C7nnFAJTEeKgI6gPkT8J7A"/>
  47. </children>
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7lx4QJTEeKgI6gPkT8J7A" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  49. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_C7oOIAJTEeKgI6gPkT8J7A" x="220" y="10" width="331" height="206"/>
  50. </children>
  51. <children xsi:type="notation:Shape" xmi:id="_C7sfkAJTEeKgI6gPkT8J7A" type="StatechartText" fontName="Verdana" lineColor="4210752">
  52. <children xsi:type="notation:DecorationNode" xmi:id="_C7sfkgJTEeKgI6gPkT8J7A" type="StatechartName">
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7sfkwJTEeKgI6gPkT8J7A"/>
  54. <layoutConstraint xsi:type="notation:Location" xmi:id="_C7sflAJTEeKgI6gPkT8J7A"/>
  55. </children>
  56. <children xsi:type="notation:Shape" xmi:id="_C7tGoAJTEeKgI6gPkT8J7A" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  57. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_C7tGoQJTEeKgI6gPkT8J7A"/>
  58. </children>
  59. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_C7tGogJTEeKgI6gPkT8J7A" x="10" y="10" width="200" height="206"/>
  60. </children>
  61. <styles xsi:type="notation:DiagramStyle" xmi:id="_C7iukQJTEeKgI6gPkT8J7A"/>
  62. <edges xmi:id="_C7r4gAJTEeKgI6gPkT8J7A" type="Transition" element="_C7qqZQJTEeKgI6gPkT8J7A" source="_C7oOIgJTEeKgI6gPkT8J7A" target="_C7pcQwJTEeKgI6gPkT8J7A">
  63. <children xsi:type="notation:DecorationNode" xmi:id="_C7r4hAJTEeKgI6gPkT8J7A" type="TransitionExpression">
  64. <styles xsi:type="notation:ShapeStyle" xmi:id="_C7r4hQJTEeKgI6gPkT8J7A"/>
  65. <layoutConstraint xsi:type="notation:Location" xmi:id="_C7r4hgJTEeKgI6gPkT8J7A" y="10"/>
  66. </children>
  67. <styles xsi:type="notation:ConnectorStyle" xmi:id="_C7r4gQJTEeKgI6gPkT8J7A" lineColor="4210752"/>
  68. <styles xsi:type="notation:FontStyle" xmi:id="_C7r4gwJTEeKgI6gPkT8J7A" fontName="Verdana"/>
  69. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_C7r4ggJTEeKgI6gPkT8J7A" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  70. </edges>
  71. </notation:Diagram>
  72. </xmi:XMI>