ExpressionError02.sct 5.9 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="_xNC4UEM7EeG-xr5kMvujEg" name="ExpressionError02" specification="internal:&#xA;var A : boolean&#xA;entry / A = true&#xA;exit / A = false">
  4. <regions xmi:id="_xNDfYkM7EeG-xr5kMvujEg" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_xNEGc0M7EeG-xr5kMvujEg">
  6. <outgoingTransitions xmi:id="_xNFUlkM7EeG-xr5kMvujEg" target="_xNEth0M7EeG-xr5kMvujEg"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_xNEth0M7EeG-xr5kMvujEg" name="A" incomingTransitions="_xNFUlkM7EeG-xr5kMvujEg"/>
  9. </regions>
  10. </sgraph:Statechart>
  11. <notation:Diagram xmi:id="_xNDfYEM7EeG-xr5kMvujEg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_xNC4UEM7EeG-xr5kMvujEg" measurementUnit="Pixel">
  12. <children xmi:id="_xNDfY0M7EeG-xr5kMvujEg" type="Region" element="_xNDfYkM7EeG-xr5kMvujEg">
  13. <children xsi:type="notation:DecorationNode" xmi:id="_xNDfZkM7EeG-xr5kMvujEg" type="RegionName">
  14. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNDfZ0M7EeG-xr5kMvujEg"/>
  15. <layoutConstraint xsi:type="notation:Location" xmi:id="_xNDfaEM7EeG-xr5kMvujEg"/>
  16. </children>
  17. <children xsi:type="notation:Shape" xmi:id="_xNEGcEM7EeG-xr5kMvujEg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  18. <children xmi:id="_xNEGdEM7EeG-xr5kMvujEg" type="Entry" element="_xNEGc0M7EeG-xr5kMvujEg">
  19. <children xmi:id="_xNEtgEM7EeG-xr5kMvujEg" type="BorderItemLabelContainer">
  20. <children xsi:type="notation:DecorationNode" xmi:id="_xNEtg0M7EeG-xr5kMvujEg" type="BorderItemLabel">
  21. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNEthEM7EeG-xr5kMvujEg"/>
  22. <layoutConstraint xsi:type="notation:Location" xmi:id="_xNEthUM7EeG-xr5kMvujEg"/>
  23. </children>
  24. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNEtgUM7EeG-xr5kMvujEg" fontName="Verdana" lineColor="4210752"/>
  25. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNEtgkM7EeG-xr5kMvujEg"/>
  26. </children>
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNEGdUM7EeG-xr5kMvujEg" fontName="Verdana" lineColor="4210752"/>
  28. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNEthkM7EeG-xr5kMvujEg" x="70" y="20"/>
  29. </children>
  30. <children xmi:id="_xNEtiUM7EeG-xr5kMvujEg" type="State" element="_xNEth0M7EeG-xr5kMvujEg">
  31. <children xsi:type="notation:DecorationNode" xmi:id="_xNEtjUM7EeG-xr5kMvujEg" type="StateName">
  32. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNEtjkM7EeG-xr5kMvujEg"/>
  33. <layoutConstraint xsi:type="notation:Location" xmi:id="_xNEtj0M7EeG-xr5kMvujEg"/>
  34. </children>
  35. <children xsi:type="notation:Compartment" xmi:id="_xNFUkEM7EeG-xr5kMvujEg" type="StateTextCompartment">
  36. <children xsi:type="notation:Shape" xmi:id="_xNFUkUM7EeG-xr5kMvujEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  37. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNFUkkM7EeG-xr5kMvujEg"/>
  38. </children>
  39. </children>
  40. <children xsi:type="notation:Compartment" xmi:id="_xNFUk0M7EeG-xr5kMvujEg" type="StateFigureCompartment"/>
  41. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNEtikM7EeG-xr5kMvujEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  42. <styles xsi:type="notation:FontStyle" xmi:id="_xNEti0M7EeG-xr5kMvujEg"/>
  43. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_xNFUlEM7EeG-xr5kMvujEg"/>
  44. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNFUlUM7EeG-xr5kMvujEg" x="60" y="75"/>
  45. </children>
  46. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNEGcUM7EeG-xr5kMvujEg"/>
  47. </children>
  48. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNDfZEM7EeG-xr5kMvujEg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  49. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNEGckM7EeG-xr5kMvujEg" x="220" y="10" width="400" height="400"/>
  50. </children>
  51. <children xsi:type="notation:Shape" xmi:id="_xNF7oUM7EeG-xr5kMvujEg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  52. <children xsi:type="notation:DecorationNode" xmi:id="_xNF7o0M7EeG-xr5kMvujEg" type="StatechartName">
  53. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNF7pEM7EeG-xr5kMvujEg"/>
  54. <layoutConstraint xsi:type="notation:Location" xmi:id="_xNF7pUM7EeG-xr5kMvujEg"/>
  55. </children>
  56. <children xsi:type="notation:Shape" xmi:id="_xNF7pkM7EeG-xr5kMvujEg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  57. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNF7p0M7EeG-xr5kMvujEg"/>
  58. </children>
  59. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xNF7qEM7EeG-xr5kMvujEg" x="10" y="10" width="200" height="400"/>
  60. </children>
  61. <styles xsi:type="notation:DiagramStyle" xmi:id="_xNDfYUM7EeG-xr5kMvujEg"/>
  62. <edges xmi:id="_xNFUl0M7EeG-xr5kMvujEg" type="Transition" element="_xNFUlkM7EeG-xr5kMvujEg" source="_xNEGdEM7EeG-xr5kMvujEg" target="_xNEtiUM7EeG-xr5kMvujEg">
  63. <children xsi:type="notation:DecorationNode" xmi:id="_xNFUm0M7EeG-xr5kMvujEg" type="TransitionExpression">
  64. <styles xsi:type="notation:ShapeStyle" xmi:id="_xNFUnEM7EeG-xr5kMvujEg"/>
  65. <layoutConstraint xsi:type="notation:Location" xmi:id="_xNF7oEM7EeG-xr5kMvujEg" y="10"/>
  66. </children>
  67. <styles xsi:type="notation:ConnectorStyle" xmi:id="_xNFUmEM7EeG-xr5kMvujEg" lineColor="4210752"/>
  68. <styles xsi:type="notation:FontStyle" xmi:id="_xNFUmkM7EeG-xr5kMvujEg" fontName="Verdana"/>
  69. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_xNFUmUM7EeG-xr5kMvujEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  70. </edges>
  71. </notation:Diagram>
  72. </xmi:XMI>