BooleanExpressions.sct 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115
  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="_ooSlsL7REeGmQI_7e4ED3g" specification="interface:&#xD;&#xA;var myBool1 : boolean&#xD;&#xA;var myBool2 : boolean&#xD;&#xA;var and : boolean&#xD;&#xA;var or : boolean&#xD;&#xA;var not : boolean&#xD;&#xA;var equal : boolean&#xD;&#xA;var notequal : boolean&#xD;&#xA;&#xD;&#xA;in event e1" name="BooleanExpressions">
  4. <regions xmi:id="_oocWsr7REeGmQI_7e4ED3g" name="main region">
  5. <vertices xsi:type="sgraph:Entry" xmi:id="_oo5Cpr7REeGmQI_7e4ED3g">
  6. <outgoingTransitions xmi:id="_opL9nb7REeGmQI_7e4ED3g" target="_opCMl77REeGmQI_7e4ED3g"/>
  7. </vertices>
  8. <vertices xsi:type="sgraph:State" xmi:id="_opCMl77REeGmQI_7e4ED3g" specification="entry / myBool1 = true ; myBool2= false " name="StateA" incomingTransitions="_opL9nb7REeGmQI_7e4ED3g">
  9. <outgoingTransitions xmi:id="_4xtq4L7SEeGmQI_7e4ED3g" specification="e1" target="_3_82wL7SEeGmQI_7e4ED3g"/>
  10. </vertices>
  11. <vertices xsi:type="sgraph:State" xmi:id="_3_82wL7SEeGmQI_7e4ED3g" specification="entry/ &#xD;&#xA;and = myBool1&amp;&amp;myBool2; &#xD;&#xA;or = myBool1||myBool2; &#xD;&#xA;not = !myBool1;&#xD;&#xA;equal = myBool1==myBool2;&#xD;&#xA;notequal = (myBool1 != myBool2)" name="StateB" incomingTransitions="_4xtq4L7SEeGmQI_7e4ED3g"/>
  12. </regions>
  13. </sgraph:Statechart>
  14. <notation:Diagram xmi:id="_oocWsL7REeGmQI_7e4ED3g" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_ooSlsL7REeGmQI_7e4ED3g" measurementUnit="Pixel">
  15. <children xmi:id="_oovRoL7REeGmQI_7e4ED3g" type="Region" element="_oocWsr7REeGmQI_7e4ED3g">
  16. <children xsi:type="notation:DecorationNode" xmi:id="_oo5CoL7REeGmQI_7e4ED3g" type="RegionName">
  17. <styles xsi:type="notation:ShapeStyle" xmi:id="_oo5Cob7REeGmQI_7e4ED3g"/>
  18. <layoutConstraint xsi:type="notation:Location" xmi:id="_oo5Cor7REeGmQI_7e4ED3g"/>
  19. </children>
  20. <children xsi:type="notation:Shape" xmi:id="_oo5Co77REeGmQI_7e4ED3g" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  21. <children xmi:id="_oo5Cp77REeGmQI_7e4ED3g" type="Entry" element="_oo5Cpr7REeGmQI_7e4ED3g">
  22. <children xmi:id="_opCMkL7REeGmQI_7e4ED3g" type="BorderItemLabelContainer">
  23. <children xsi:type="notation:DecorationNode" xmi:id="_opCMk77REeGmQI_7e4ED3g" type="BorderItemLabel">
  24. <styles xsi:type="notation:ShapeStyle" xmi:id="_opCMlL7REeGmQI_7e4ED3g"/>
  25. <layoutConstraint xsi:type="notation:Location" xmi:id="_opCMlb7REeGmQI_7e4ED3g"/>
  26. </children>
  27. <styles xsi:type="notation:ShapeStyle" xmi:id="_opCMkb7REeGmQI_7e4ED3g" fontName="Verdana" lineColor="4210752"/>
  28. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_opCMkr7REeGmQI_7e4ED3g"/>
  29. </children>
  30. <styles xsi:type="notation:ShapeStyle" xmi:id="_oo5CqL7REeGmQI_7e4ED3g" fontName="Verdana" lineColor="4210752"/>
  31. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_opCMlr7REeGmQI_7e4ED3g" x="139" y="14"/>
  32. </children>
  33. <children xmi:id="_opL9kL7REeGmQI_7e4ED3g" type="State" element="_opCMl77REeGmQI_7e4ED3g">
  34. <children xsi:type="notation:DecorationNode" xmi:id="_opL9lL7REeGmQI_7e4ED3g" type="StateName">
  35. <styles xsi:type="notation:ShapeStyle" xmi:id="_opL9lb7REeGmQI_7e4ED3g"/>
  36. <layoutConstraint xsi:type="notation:Location" xmi:id="_opL9lr7REeGmQI_7e4ED3g"/>
  37. </children>
  38. <children xsi:type="notation:Compartment" xmi:id="_opL9l77REeGmQI_7e4ED3g" type="StateTextCompartment">
  39. <children xsi:type="notation:Shape" xmi:id="_opL9mL7REeGmQI_7e4ED3g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  40. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_opL9mb7REeGmQI_7e4ED3g"/>
  41. </children>
  42. </children>
  43. <children xsi:type="notation:Compartment" xmi:id="_opL9mr7REeGmQI_7e4ED3g" type="StateFigureCompartment"/>
  44. <styles xsi:type="notation:ShapeStyle" xmi:id="_opL9kb7REeGmQI_7e4ED3g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  45. <styles xsi:type="notation:FontStyle" xmi:id="_opL9kr7REeGmQI_7e4ED3g"/>
  46. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_opL9m77REeGmQI_7e4ED3g"/>
  47. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_opL9nL7REeGmQI_7e4ED3g" x="9" y="74"/>
  48. </children>
  49. <children xmi:id="_4AsdoL7SEeGmQI_7e4ED3g" type="State" element="_3_82wL7SEeGmQI_7e4ED3g">
  50. <children xsi:type="notation:DecorationNode" xmi:id="_4AsdpL7SEeGmQI_7e4ED3g" type="StateName">
  51. <styles xsi:type="notation:ShapeStyle" xmi:id="_4Asdpb7SEeGmQI_7e4ED3g"/>
  52. <layoutConstraint xsi:type="notation:Location" xmi:id="_4Asdpr7SEeGmQI_7e4ED3g"/>
  53. </children>
  54. <children xsi:type="notation:Compartment" xmi:id="_4Asdp77SEeGmQI_7e4ED3g" type="StateTextCompartment">
  55. <children xsi:type="notation:Shape" xmi:id="_4AsdqL7SEeGmQI_7e4ED3g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  56. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4Asdqb7SEeGmQI_7e4ED3g"/>
  57. </children>
  58. </children>
  59. <children xsi:type="notation:Compartment" xmi:id="_4Asdqr7SEeGmQI_7e4ED3g" type="StateFigureCompartment"/>
  60. <styles xsi:type="notation:ShapeStyle" xmi:id="_4Asdob7SEeGmQI_7e4ED3g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  61. <styles xsi:type="notation:FontStyle" xmi:id="_4Asdor7SEeGmQI_7e4ED3g"/>
  62. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_4Asdq77SEeGmQI_7e4ED3g"/>
  63. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4Asdo77SEeGmQI_7e4ED3g" x="19" y="229"/>
  64. </children>
  65. <children xsi:type="notation:Shape" xmi:id="_VJm4EL7UEeGmQI_7e4ED3g" type="Note" fontName="Verdana" description="expectation : &#xD;&#xA;and = false&#xD;&#xA;or = true&#xD;&#xA;not = false&#xD;&#xA;equal = false&#xD;&#xA;notequal = true" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
  66. <children xsi:type="notation:BasicDecorationNode" xmi:id="_VJm4FL7UEeGmQI_7e4ED3g" type="DiagramName">
  67. <element xsi:nil="true"/>
  68. </children>
  69. <children xsi:type="notation:BasicDecorationNode" xmi:id="_VJm4Fb7UEeGmQI_7e4ED3g" type="Description">
  70. <element xsi:nil="true"/>
  71. </children>
  72. <styles xsi:type="notation:TextStyle" xmi:id="_VJm4Eb7UEeGmQI_7e4ED3g"/>
  73. <styles xsi:type="notation:LineTypeStyle" xmi:id="_VJm4Er7UEeGmQI_7e4ED3g"/>
  74. <element xsi:nil="true"/>
  75. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_VJm4E77UEeGmQI_7e4ED3g" x="279" y="239" width="131" height="106"/>
  76. </children>
  77. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_oo5CpL7REeGmQI_7e4ED3g"/>
  78. </children>
  79. <styles xsi:type="notation:ShapeStyle" xmi:id="_oovRob7REeGmQI_7e4ED3g" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  80. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_oo5Cpb7REeGmQI_7e4ED3g" x="235" y="10" width="451" height="406"/>
  81. </children>
  82. <children xsi:type="notation:Shape" xmi:id="_opVHh77REeGmQI_7e4ED3g" type="StatechartText" fontName="Verdana" lineColor="4210752">
  83. <children xsi:type="notation:DecorationNode" xmi:id="_opVHib7REeGmQI_7e4ED3g" type="StatechartName">
  84. <styles xsi:type="notation:ShapeStyle" xmi:id="_opVHir7REeGmQI_7e4ED3g"/>
  85. <layoutConstraint xsi:type="notation:Location" xmi:id="_opVHi77REeGmQI_7e4ED3g"/>
  86. </children>
  87. <children xsi:type="notation:Shape" xmi:id="_opVHjL7REeGmQI_7e4ED3g" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  88. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_opVHjb7REeGmQI_7e4ED3g"/>
  89. </children>
  90. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_opVHjr7REeGmQI_7e4ED3g" x="10" y="10" width="200" height="400"/>
  91. </children>
  92. <styles xsi:type="notation:DiagramStyle" xmi:id="_oocWsb7REeGmQI_7e4ED3g"/>
  93. <edges xmi:id="_opVHgL7REeGmQI_7e4ED3g" type="Transition" element="_opL9nb7REeGmQI_7e4ED3g" source="_oo5Cp77REeGmQI_7e4ED3g" target="_opL9kL7REeGmQI_7e4ED3g">
  94. <children xsi:type="notation:DecorationNode" xmi:id="_opVHhL7REeGmQI_7e4ED3g" type="TransitionExpression">
  95. <styles xsi:type="notation:ShapeStyle" xmi:id="_opVHhb7REeGmQI_7e4ED3g"/>
  96. <layoutConstraint xsi:type="notation:Location" xmi:id="_opVHhr7REeGmQI_7e4ED3g" y="10"/>
  97. </children>
  98. <styles xsi:type="notation:ConnectorStyle" xmi:id="_opVHgb7REeGmQI_7e4ED3g" lineColor="4210752"/>
  99. <styles xsi:type="notation:FontStyle" xmi:id="_opVHg77REeGmQI_7e4ED3g" fontName="Verdana"/>
  100. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_opVHgr7REeGmQI_7e4ED3g" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  101. </edges>
  102. <edges xmi:id="_4yKW0L7SEeGmQI_7e4ED3g" type="Transition" element="_4xtq4L7SEeGmQI_7e4ED3g" source="_opL9kL7REeGmQI_7e4ED3g" target="_4AsdoL7SEeGmQI_7e4ED3g">
  103. <children xsi:type="notation:DecorationNode" xmi:id="_4yKW1L7SEeGmQI_7e4ED3g" type="TransitionExpression">
  104. <styles xsi:type="notation:ShapeStyle" xmi:id="_4yKW1b7SEeGmQI_7e4ED3g"/>
  105. <layoutConstraint xsi:type="notation:Location" xmi:id="_4yKW1r7SEeGmQI_7e4ED3g" y="10"/>
  106. </children>
  107. <styles xsi:type="notation:ConnectorStyle" xmi:id="_4yKW0b7SEeGmQI_7e4ED3g" lineColor="4210752"/>
  108. <styles xsi:type="notation:FontStyle" xmi:id="_4yKW077SEeGmQI_7e4ED3g" fontName="Verdana"/>
  109. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_4yKW0r7SEeGmQI_7e4ED3g" points="[1, 13, -7, -138]$[11, 141, 3, -10]"/>
  110. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_4zWpoL7SEeGmQI_7e4ED3g" id="(0.4697508896797153,0.7704918032786885)"/>
  111. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_4zWpob7SEeGmQI_7e4ED3g" id="(0.5147058823529411,0.19642857142857142)"/>
  112. </edges>
  113. </notation:Diagram>
  114. </xmi:XMI>