|
|
@@ -6,7 +6,7 @@
|
|
|
<outgoingTransitions xmi:id="_4srWlG_DEeiAvKo30E3C2w" specification="" target="_4sfwbW_DEeiAvKo30E3C2w"/>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_4sfwbW_DEeiAvKo30E3C2w" name="StateB" incomingTransitions="_4srWlG_DEeiAvKo30E3C2w">
|
|
|
- <outgoingTransitions xmi:id="_4sphYm_DEeiAvKo30E3C2w" specification="# unusedExitPoint >" target="_4sfJUG_DEeiAvKo30E3C2w"/>
|
|
|
+ <outgoingTransitions xmi:id="_4sphYm_DEeiAvKo30E3C2w" specification="# usedExitPoint >" target="_4sfJUG_DEeiAvKo30E3C2w"/>
|
|
|
<outgoingTransitions xmi:id="_NdI-sG_NEeicrs4tQMXmcQ" specification="" target="_M5b0sG_NEeicrs4tQMXmcQ"/>
|
|
|
<regions xmi:id="_4siMoG_DEeiAvKo30E3C2w" name="r1">
|
|
|
<vertices xsi:type="sgraph:Exit" xmi:id="_4so6UG_DEeiAvKo30E3C2w" name="unusedExitPoint" incomingTransitions="_4snsMG_DEeiAvKo30E3C2w"/>
|
|
|
@@ -19,7 +19,7 @@
|
|
|
<outgoingTransitions xmi:id="_rczF0G_MEeicrs4tQMXmcQ" specification="always" target="_q-k4wG_MEeicrs4tQMXmcQ"/>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:Exit" xmi:id="_2ppSYG_EEeiAvKo30E3C2w" incomingTransitions="_2pjLwG_EEeiAvKo30E3C2w"/>
|
|
|
- <vertices xsi:type="sgraph:Exit" xmi:id="_q-k4wG_MEeicrs4tQMXmcQ" name="dda" incomingTransitions="_rczF0G_MEeicrs4tQMXmcQ"/>
|
|
|
+ <vertices xsi:type="sgraph:Exit" xmi:id="_q-k4wG_MEeicrs4tQMXmcQ" name="usedExitPoint" incomingTransitions="_rczF0G_MEeicrs4tQMXmcQ"/>
|
|
|
</regions>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_4sfJUG_DEeiAvKo30E3C2w" name="StateC" incomingTransitions="_4sphYm_DEeiAvKo30E3C2w"/>
|
|
|
@@ -123,7 +123,7 @@
|
|
|
<layoutConstraint xsi:type="notation:Location" xmi:id="_q-s0kG_MEeicrs4tQMXmcQ"/>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_q-rmcW_MEeicrs4tQMXmcQ" fontName="Verdana" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_q-rmcm_MEeicrs4tQMXmcQ"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_q-rmcm_MEeicrs4tQMXmcQ" x="-4" y="19"/>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_q-qYUW_MEeicrs4tQMXmcQ" fontName="Verdana" lineColor="4210752"/>
|
|
|
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_q-qYUm_MEeicrs4tQMXmcQ" x="140" y="201"/>
|
|
|
@@ -137,7 +137,7 @@
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_4sfwaW_DEeiAvKo30E3C2w" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_4sfwam_DEeiAvKo30E3C2w"/>
|
|
|
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_4sfwa2_DEeiAvKo30E3C2w" name="isHorizontal" booleanValue="true"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4sfwbG_DEeiAvKo30E3C2w" x="25" y="128" width="312" height="332"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4sfwbG_DEeiAvKo30E3C2w" x="25" y="128" width="380" height="344"/>
|
|
|
</children>
|
|
|
<children xmi:id="_4seiQG_DEeiAvKo30E3C2w" type="State" element="_4sfJUG_DEeiAvKo30E3C2w">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_4seiQW_DEeiAvKo30E3C2w" type="StateName">
|
|
|
@@ -169,12 +169,12 @@
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_M5ffEW_NEeicrs4tQMXmcQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_M5ffEm_NEeicrs4tQMXmcQ"/>
|
|
|
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_M5gtM2_NEeicrs4tQMXmcQ" name="isHorizontal" booleanValue="true"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_M5ffE2_NEeicrs4tQMXmcQ" x="382" y="343" width="113" height="53"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_M5ffE2_NEeicrs4tQMXmcQ" x="469" y="352" width="113" height="53"/>
|
|
|
</children>
|
|
|
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_4sd7MG_DEeiAvKo30E3C2w"/>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_4sdUIW_DEeiAvKo30E3C2w" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4sdUIG_DEeiAvKo30E3C2w" x="36" y="258" width="531" height="515"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_4sdUIG_DEeiAvKo30E3C2w" x="48" y="258" width="618" height="515"/>
|
|
|
</children>
|
|
|
<children xsi:type="notation:Shape" xmi:id="_sX3zgG-3EeiAvKo30E3C2w" type="StatechartText" fontName="Verdana" lineColor="4210752">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_sX3zgm-3EeiAvKo30E3C2w" type="StatechartName">
|
|
|
@@ -196,7 +196,7 @@
|
|
|
<styles xsi:type="notation:ConnectorStyle" xmi:id="_4srWkG_DEeiAvKo30E3C2w" routing="Rectilinear" lineColor="4210752"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_4sqvh2_DEeiAvKo30E3C2w" fontName="Verdana"/>
|
|
|
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_4sqvhm_DEeiAvKo30E3C2w" points="[0, 7, -25, -215]$[-10, 218, -35, -4]"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_4sqvhW_DEeiAvKo30E3C2w" id="(0.11400651465798045,0.14767155960601286)"/>
|
|
|
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_4sqvhW_DEeiAvKo30E3C2w" id="(0.09333333333333334,0.14244424776155223)"/>
|
|
|
</edges>
|
|
|
<edges xmi:id="_4sl3B2_DEeiAvKo30E3C2w" type="Transition" element="_4snFIG_DEeiAvKo30E3C2w" source="_4slP8m_DEeiAvKo30E3C2w" target="_4sizsG_DEeiAvKo30E3C2w">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_4smeEm_DEeiAvKo30E3C2w" type="TransitionExpression">
|
|
|
@@ -237,7 +237,7 @@
|
|
|
<styles xsi:type="notation:ConnectorStyle" xmi:id="_4so6Vm_DEeiAvKo30E3C2w" routing="Rectilinear" lineColor="4210752"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_4so6VW_DEeiAvKo30E3C2w" fontName="Verdana"/>
|
|
|
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_4so6VG_DEeiAvKo30E3C2w" points="[19, -6, -71, 28]$[91, -11, 1, 23]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_4so6U2_DEeiAvKo30E3C2w" id="(0.5803064757339234,0.021739130434782608)"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_4so6U2_DEeiAvKo30E3C2w" id="(0.4750775681341719,0.020969603693728356)"/>
|
|
|
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_4so6Um_DEeiAvKo30E3C2w" id="(0.14864864864864866,0.5283018867924528)"/>
|
|
|
</edges>
|
|
|
<edges xmi:id="_rc1iEG_MEeicrs4tQMXmcQ" type="Transition" element="_rczF0G_MEeicrs4tQMXmcQ" source="_4sizsG_DEeiAvKo30E3C2w" target="_q-qYUG_MEeicrs4tQMXmcQ">
|
|
|
@@ -259,7 +259,7 @@
|
|
|
<styles xsi:type="notation:ConnectorStyle" xmi:id="_NdKz4W_NEeicrs4tQMXmcQ" routing="Rectilinear" lineColor="4210752"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_NdKz42_NEeicrs4tQMXmcQ" fontName="Verdana"/>
|
|
|
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_NdKz4m_NEeicrs4tQMXmcQ" points="[4, 3, -121, -80]$[130, 71, 5, -12]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NdN3MG_NEeicrs4tQMXmcQ" id="(0.9871794871794872,0.44545454545454544)"/>
|
|
|
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NdN3MG_NEeicrs4tQMXmcQ" id="(0.8081709401709403,0.4296862429605792)"/>
|
|
|
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NdN3MW_NEeicrs4tQMXmcQ" id="(0.2706552706552707,0.2641509433962264)"/>
|
|
|
</edges>
|
|
|
</notation:Diagram>
|