|
@@ -0,0 +1,72 @@
|
|
|
+<?xml version="1.0" encoding="UTF-8"?>
|
|
|
+<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">
|
|
|
+ <sgraph:Statechart xmi:id="_72u4oOSzEeOiVrie-SZr-g" specification="interface:
var x : integer = 0" name="LocalReactions">
|
|
|
+ <regions xmi:id="_73cqUOSzEeOiVrie-SZr-g" name="main region">
|
|
|
+ <vertices xsi:type="sgraph:Entry" xmi:id="_735WQOSzEeOiVrie-SZr-g">
|
|
|
+ <outgoingTransitions xmi:id="_74DuUOSzEeOiVrie-SZr-g" target="_737ygOSzEeOiVrie-SZr-g"/>
|
|
|
+ </vertices>
|
|
|
+ <vertices xsi:type="sgraph:State" xmi:id="_737ygOSzEeOiVrie-SZr-g" specification="[x == 0 ] / x+= 1" name="A" incomingTransitions="_74DuUOSzEeOiVrie-SZr-g"/>
|
|
|
+ </regions>
|
|
|
+ </sgraph:Statechart>
|
|
|
+ <notation:Diagram xmi:id="_73a1IOSzEeOiVrie-SZr-g" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_72u4oOSzEeOiVrie-SZr-g" measurementUnit="Pixel">
|
|
|
+ <children xmi:id="_73iJ4OSzEeOiVrie-SZr-g" type="Region" element="_73cqUOSzEeOiVrie-SZr-g">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_731r4OSzEeOiVrie-SZr-g" type="RegionName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_731r4eSzEeOiVrie-SZr-g"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_731r4uSzEeOiVrie-SZr-g"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_7326AOSzEeOiVrie-SZr-g" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
|
|
|
+ <children xmi:id="_7359UOSzEeOiVrie-SZr-g" type="Entry" element="_735WQOSzEeOiVrie-SZr-g">
|
|
|
+ <children xmi:id="_7359U-SzEeOiVrie-SZr-g" type="BorderItemLabelContainer">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_736kYOSzEeOiVrie-SZr-g" type="BorderItemLabel">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_736kYeSzEeOiVrie-SZr-g"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_736kYuSzEeOiVrie-SZr-g"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_7359VOSzEeOiVrie-SZr-g" fontName="Verdana" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_7359VeSzEeOiVrie-SZr-g"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_7359UeSzEeOiVrie-SZr-g" fontName="Verdana" lineColor="4210752"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_736kY-SzEeOiVrie-SZr-g" x="70" y="20"/>
|
|
|
+ </children>
|
|
|
+ <children xmi:id="_73_c4OSzEeOiVrie-SZr-g" type="State" element="_737ygOSzEeOiVrie-SZr-g">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_74AD8OSzEeOiVrie-SZr-g" type="StateName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_74AD8eSzEeOiVrie-SZr-g"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_74AD8uSzEeOiVrie-SZr-g"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_74ArAOSzEeOiVrie-SZr-g" type="StateTextCompartment">
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_74ArAeSzEeOiVrie-SZr-g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_74ArAuSzEeOiVrie-SZr-g"/>
|
|
|
+ </children>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Compartment" xmi:id="_74BSEOSzEeOiVrie-SZr-g" type="StateFigureCompartment"/>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_73_c4eSzEeOiVrie-SZr-g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_73_c4uSzEeOiVrie-SZr-g"/>
|
|
|
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_74B5IOSzEeOiVrie-SZr-g" name="isHorizontal" booleanValue="true"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_74B5IeSzEeOiVrie-SZr-g" x="40" y="80" width="175"/>
|
|
|
+ </children>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_7326AeSzEeOiVrie-SZr-g"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_73iJ4eSzEeOiVrie-SZr-g" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_733hEOSzEeOiVrie-SZr-g" x="220" y="10" width="400" height="400"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_74KcAOSzEeOiVrie-SZr-g" type="StatechartText" fontName="Verdana" lineColor="4210752">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_74KcAuSzEeOiVrie-SZr-g" type="StatechartName">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_74KcA-SzEeOiVrie-SZr-g"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_74KcBOSzEeOiVrie-SZr-g"/>
|
|
|
+ </children>
|
|
|
+ <children xsi:type="notation:Shape" xmi:id="_74KcBeSzEeOiVrie-SZr-g" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_74KcBuSzEeOiVrie-SZr-g"/>
|
|
|
+ </children>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_74LDEOSzEeOiVrie-SZr-g" x="10" y="10" width="200" height="400"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:DiagramStyle" xmi:id="_73a1IeSzEeOiVrie-SZr-g"/>
|
|
|
+ <edges xmi:id="_74JN4OSzEeOiVrie-SZr-g" type="Transition" element="_74DuUOSzEeOiVrie-SZr-g" source="_7359UOSzEeOiVrie-SZr-g" target="_73_c4OSzEeOiVrie-SZr-g">
|
|
|
+ <children xsi:type="notation:DecorationNode" xmi:id="_74J08eSzEeOiVrie-SZr-g" type="TransitionExpression">
|
|
|
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_74J08uSzEeOiVrie-SZr-g"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_74J08-SzEeOiVrie-SZr-g" y="10"/>
|
|
|
+ </children>
|
|
|
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_74JN4eSzEeOiVrie-SZr-g" lineColor="4210752"/>
|
|
|
+ <styles xsi:type="notation:FontStyle" xmi:id="_74J08OSzEeOiVrie-SZr-g" fontName="Verdana"/>
|
|
|
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_74JN4uSzEeOiVrie-SZr-g" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
|
|
|
+ </edges>
|
|
|
+ </notation:Diagram>
|
|
|
+</xmi:XMI>
|