complete flowcharts
This commit is contained in:
173
Lab_1/InitialiseEncoderStateMachineAAR.drawio
Normal file
173
Lab_1/InitialiseEncoderStateMachineAAR.drawio
Normal file
@@ -0,0 +1,173 @@
|
|||||||
|
<mxfile host="app.diagrams.net" modified="2023-10-12T18:46:09.574Z" agent="Mozilla/5.0 (X11; Linux x86_64; rv:109.0) Gecko/20100101 Firefox/118.0" etag="9HDBEFZMa76t1pz0U8o6" version="22.0.4" type="device">
|
||||||
|
<diagram name="Page-1" id="yRchuW892y1ctgYDUm2v">
|
||||||
|
<mxGraphModel dx="1674" dy="744" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
|
||||||
|
<root>
|
||||||
|
<mxCell id="0" />
|
||||||
|
<mxCell id="1" parent="0" />
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-3" value="InitialiseEncoderStateMachine()" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="120" y="10" width="200" height="50" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-4" value="Return" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="190" y="210" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-8" value="state = get_current_state()" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="120" y="120" width="200" height="40" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-9" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;exitPerimeter=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-3" target="7HQgMKtUSoPUuWo0Vc0E-8" edge="1">
|
||||||
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
||||||
|
<mxPoint x="220" y="320" as="sourcePoint" />
|
||||||
|
<mxPoint x="440" y="350" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-10" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-8" edge="1">
|
||||||
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
||||||
|
<mxPoint x="230" y="80" as="sourcePoint" />
|
||||||
|
<mxPoint x="220" y="210" as="targetPoint" />
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="220" y="170" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-1" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-2" target="2CJKvL2Wo2MYQ2Wh3AHo-5">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-2" value="<div>get_current_state()</div><div><br></div>" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.start_1;whiteSpace=wrap;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="150" y="360" width="220" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-3" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-5" target="2CJKvL2Wo2MYQ2Wh3AHo-8">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-4" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-5" target="2CJKvL2Wo2MYQ2Wh3AHo-16">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-5" value="A == 1 and B == 1" style="rhombus;whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="185" y="460" width="150" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-6" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-8" target="2CJKvL2Wo2MYQ2Wh3AHo-11">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-7" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-8" target="2CJKvL2Wo2MYQ2Wh3AHo-18">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-8" value="A == 1 and B == 0" style="rhombus;whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="185" y="580" width="150" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-9" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-11" target="2CJKvL2Wo2MYQ2Wh3AHo-14">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-10" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-11" target="2CJKvL2Wo2MYQ2Wh3AHo-20">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-11" value="A == 0 and B == 1" style="rhombus;whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="185" y="700" width="150" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-12" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-14" target="2CJKvL2Wo2MYQ2Wh3AHo-22">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-13" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-14" target="2CJKvL2Wo2MYQ2Wh3AHo-24">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-14" value="A == 0 and B == 0" style="rhombus;whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="185" y="825" width="150" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-15" value="<div>Return state</div>" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="210" y="1070" width="100" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-16" value="state = 3" style="whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="430" y="470" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-17" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-18" target="2CJKvL2Wo2MYQ2Wh3AHo-27">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-18" value="state = 2" style="whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="430" y="590" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-19" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-20" target="2CJKvL2Wo2MYQ2Wh3AHo-32">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-20" value="state = 4" style="whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="430" y="710" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-21" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-22" target="2CJKvL2Wo2MYQ2Wh3AHo-28">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-22" value="state = 1" style="whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="430" y="835" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-23" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-34" target="2CJKvL2Wo2MYQ2Wh3AHo-15">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-24" value="state = 1" style="whiteSpace=wrap;html=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="200" y="940" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-25" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-16" target="2CJKvL2Wo2MYQ2Wh3AHo-27">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="550" y="500" as="sourcePoint" />
|
||||||
|
<mxPoint x="680" y="680" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-26" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-32" target="2CJKvL2Wo2MYQ2Wh3AHo-30">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-27" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="670" y="610" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-28" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="670" y="855" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-29" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-30" target="2CJKvL2Wo2MYQ2Wh3AHo-34">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="680" y="1040" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-30" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="670" y="855" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-31" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-27" target="2CJKvL2Wo2MYQ2Wh3AHo-32">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="680" y="620" as="sourcePoint" />
|
||||||
|
<mxPoint x="680" y="865" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-32" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="670" y="730" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-33" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="2CJKvL2Wo2MYQ2Wh3AHo-24" target="2CJKvL2Wo2MYQ2Wh3AHo-34">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="260" y="1000" as="sourcePoint" />
|
||||||
|
<mxPoint x="260" y="1070" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-34" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="250" y="1030" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-35" value="<div>true</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="320" y="470" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-36" value="<div>true</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="325" y="590" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-37" value="<div>true</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="325" y="710" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-38" value="<div>true</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="320" y="835" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-39" value="<div>false</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="200" y="540" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-40" value="<div>false</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="200" y="660" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-41" value="<div>false</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="200" y="780" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="2CJKvL2Wo2MYQ2Wh3AHo-42" value="<div>false</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
|
||||||
|
<mxGeometry x="200" y="895" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
</root>
|
||||||
|
</mxGraphModel>
|
||||||
|
</diagram>
|
||||||
|
</mxfile>
|
||||||
BIN
Lab_1/InitialiseEncoderStateMachineAAR.pdf
Normal file
BIN
Lab_1/InitialiseEncoderStateMachineAAR.pdf
Normal file
Binary file not shown.
567
Lab_1/UpdateStateMachineAAR.drawio
Normal file
567
Lab_1/UpdateStateMachineAAR.drawio
Normal file
@@ -0,0 +1,567 @@
|
|||||||
|
<mxfile host="app.diagrams.net" modified="2023-10-12T18:49:48.757Z" agent="Mozilla/5.0 (X11; Linux x86_64; rv:109.0) Gecko/20100101 Firefox/118.0" etag="HM_HtakovVQNo2MJql50" version="22.0.4" type="device">
|
||||||
|
<diagram name="Page-1" id="yRchuW892y1ctgYDUm2v">
|
||||||
|
<mxGraphModel dx="2391" dy="1063" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
|
||||||
|
<root>
|
||||||
|
<mxCell id="0" />
|
||||||
|
<mxCell id="1" parent="0" />
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-17" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-15" target="7HQgMKtUSoPUuWo0Vc0E-16" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-15" value="<div>get_current_state()</div><div><br></div>" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.start_1;whiteSpace=wrap;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="144" y="199" width="220" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-23" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-16" target="7HQgMKtUSoPUuWo0Vc0E-20" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-29" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-16" target="7HQgMKtUSoPUuWo0Vc0E-28" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-16" value="A == 1 and B == 1" style="rhombus;whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="179" y="329" width="150" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-24" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-20" target="7HQgMKtUSoPUuWo0Vc0E-21" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-31" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-20" target="7HQgMKtUSoPUuWo0Vc0E-30" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-20" value="A == 1 and B == 0" style="rhombus;whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="179" y="449" width="150" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-25" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-21" target="7HQgMKtUSoPUuWo0Vc0E-22" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-33" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-21" target="7HQgMKtUSoPUuWo0Vc0E-32" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-21" value="A == 0 and B == 1" style="rhombus;whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="179" y="569" width="150" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-35" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-22" target="7HQgMKtUSoPUuWo0Vc0E-34" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-37" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-22" target="7HQgMKtUSoPUuWo0Vc0E-36" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-22" value="A == 0 and B == 0" style="rhombus;whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="179" y="694" width="150" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-26" value="<div>Return state</div>" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="204" y="939" width="100" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-28" value="state = 3" style="whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="424" y="339" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-43" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-30" target="7HQgMKtUSoPUuWo0Vc0E-42" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-30" value="state = 2" style="whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="424" y="459" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-51" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-32" target="7HQgMKtUSoPUuWo0Vc0E-50" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-32" value="state = 4" style="whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="424" y="579" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-46" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-34" target="7HQgMKtUSoPUuWo0Vc0E-45" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-34" value="state = 1" style="whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="424" y="704" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-38" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-53" target="7HQgMKtUSoPUuWo0Vc0E-26" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-36" value="state = 1" style="whiteSpace=wrap;html=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="194" y="809" width="120" height="60" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-44" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-28" target="7HQgMKtUSoPUuWo0Vc0E-42" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="544" y="369" as="sourcePoint" />
|
||||||
|
<mxPoint x="674" y="549" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-49" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-50" target="7HQgMKtUSoPUuWo0Vc0E-48" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-42" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="664" y="479" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-45" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="664" y="724" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-54" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-48" target="7HQgMKtUSoPUuWo0Vc0E-53" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="674" y="909" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-48" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="664" y="724" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-52" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-42" target="7HQgMKtUSoPUuWo0Vc0E-50" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="674" y="489" as="sourcePoint" />
|
||||||
|
<mxPoint x="674" y="734" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-50" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="664" y="599" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-55" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-36" target="7HQgMKtUSoPUuWo0Vc0E-53" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="254" y="869" as="sourcePoint" />
|
||||||
|
<mxPoint x="254" y="939" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-53" value="" style="shape=waypoint;sketch=0;size=6;pointerEvents=1;points=[];fillColor=default;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeWidth=2;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="244" y="899" width="20" height="20" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-57" value="<div>true</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="314" y="339" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-58" value="<div>true</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="319" y="459" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-59" value="<div>true</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="319" y="579" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-60" value="<div>true</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="314" y="704" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-61" value="<div>false</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="194" y="409" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-62" value="<div>false</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="194" y="529" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-63" value="<div>false</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="194" y="649" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-64" value="<div>false</div>" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="194" y="764" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-75" value="" style="rounded=0;html=1;jettySize=auto;orthogonalLoop=1;fontSize=11;endArrow=block;endFill=0;endSize=8;strokeWidth=1;shadow=0;labelBackgroundColor=none;edgeStyle=orthogonalEdgeStyle;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-79" target="7HQgMKtUSoPUuWo0Vc0E-78" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="100" y="1290" as="sourcePoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-76" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;verticalAlign=bottom;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-78" target="7HQgMKtUSoPUuWo0Vc0E-81" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-77" value="No" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;verticalAlign=middle;labelPosition=right;verticalLabelPosition=middle;align=left;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-78" target="7HQgMKtUSoPUuWo0Vc0E-113" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="100" y="1565" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-78" value="case State1" style="rhombus;whiteSpace=wrap;html=1;shadow=0;fontFamily=Helvetica;fontSize=12;align=center;strokeWidth=1;spacing=6;spacingTop=-4;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="50" y="1340" width="100" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-86" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-85" target="7HQgMKtUSoPUuWo0Vc0E-79" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="326" y="1250" />
|
||||||
|
<mxPoint x="400" y="1250" />
|
||||||
|
<mxPoint x="400" y="1220" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-79" value="Switch State" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="414" y="1205" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-80" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-81" target="7HQgMKtUSoPUuWo0Vc0E-83" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-90" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-81" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="334" y="1380" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-81" value="new_state == 1" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="184" y="1340" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-82" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-83" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="770" y="1555" as="targetPoint" />
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="249" y="1555" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-83" value="do nothing" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="189" y="1480" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-85" value="new_state = get_current_state()" style="whiteSpace=wrap;html=1;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="194" y="1200" width="200" height="40" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-93" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-95" target="7HQgMKtUSoPUuWo0Vc0E-97" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-94" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-95" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="480" y="1380" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-95" value="new_state == 2" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="330" y="1340" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-96" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-97" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="395" y="1560" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-97" value="increment count" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="335" y="1480" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-98" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-100" target="7HQgMKtUSoPUuWo0Vc0E-102" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-99" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-100" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="620" y="1380" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-100" value="new_state == 3" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="470" y="1340" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-101" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-102" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="535" y="1560" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-102" value="increment error" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="475" y="1480" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-103" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-105" target="7HQgMKtUSoPUuWo0Vc0E-107" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-105" value="new_state == 4" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="620" y="1340" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-106" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-107" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="685" y="1560" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-107" value="decrement count" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="625" y="1480" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-108" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="294" y="1355" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-109" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="430" y="1355" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-110" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="580" y="1355" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-111" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;verticalAlign=bottom;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-113" target="7HQgMKtUSoPUuWo0Vc0E-116" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-112" value="No" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;verticalAlign=middle;labelPosition=right;verticalLabelPosition=middle;align=left;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-113" target="7HQgMKtUSoPUuWo0Vc0E-138" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="100" y="1801" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-113" value="case State2" style="rhombus;whiteSpace=wrap;html=1;shadow=0;fontFamily=Helvetica;fontSize=12;align=center;strokeWidth=1;spacing=6;spacingTop=-4;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="50" y="1576" width="100" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-114" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-116" target="7HQgMKtUSoPUuWo0Vc0E-118" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-115" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-116" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="334" y="1616" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-116" value="new_state == 1" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="184" y="1576" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-117" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-118" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="770" y="1791" as="targetPoint" />
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="249" y="1791" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-118" value="decrement" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="189" y="1716" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-119" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-121" target="7HQgMKtUSoPUuWo0Vc0E-123" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-120" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-121" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="480" y="1616" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-121" value="new_state == 2" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="330" y="1576" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-122" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-123" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="395" y="1796" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-123" value="do nothing" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="335" y="1716" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-124" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-126" target="7HQgMKtUSoPUuWo0Vc0E-128" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-125" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-126" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="620" y="1616" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-126" value="new_state == 3" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="470" y="1576" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-127" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-128" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="535" y="1796" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-128" value="increment count" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="475" y="1716" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-129" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-130" target="7HQgMKtUSoPUuWo0Vc0E-132" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-130" value="new_state == 4" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="620" y="1576" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-131" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-132" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="685" y="1796" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-132" value="increment error" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="625" y="1716" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-133" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="294" y="1591" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-134" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="430" y="1591" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-135" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="580" y="1591" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-136" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;verticalAlign=bottom;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-138" target="7HQgMKtUSoPUuWo0Vc0E-141" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-137" value="No" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;verticalAlign=middle;labelPosition=right;verticalLabelPosition=middle;align=left;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-138" target="7HQgMKtUSoPUuWo0Vc0E-163" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="100" y="2050" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-138" value="case State3" style="rhombus;whiteSpace=wrap;html=1;shadow=0;fontFamily=Helvetica;fontSize=12;align=center;strokeWidth=1;spacing=6;spacingTop=-4;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="50" y="1825" width="100" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-139" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-141" target="7HQgMKtUSoPUuWo0Vc0E-143" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-140" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-141" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="334" y="1865" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-141" value="new_state == 1" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="184" y="1825" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-142" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-143" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="770" y="2040" as="targetPoint" />
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="249" y="2040" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-143" value="increment error" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="189" y="1965" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-144" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-146" target="7HQgMKtUSoPUuWo0Vc0E-148" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-145" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-146" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="480" y="1865" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-146" value="new_state == 2" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="330" y="1825" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-147" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-148" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="395" y="2045" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-148" value="decrement count" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="335" y="1965" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-149" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-151" target="7HQgMKtUSoPUuWo0Vc0E-153" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-150" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-151" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="620" y="1865" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-151" value="new_state == 3" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="470" y="1825" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-152" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-153" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="535" y="2045" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-153" value="do nothing" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="475" y="1965" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-154" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-155" target="7HQgMKtUSoPUuWo0Vc0E-157" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-155" value="new_state == 4" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="620" y="1825" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-156" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-157" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="685" y="2045" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-157" value="increment count" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="625" y="1965" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-158" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="294" y="1840" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-159" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="430" y="1840" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-160" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="580" y="1840" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-161" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;verticalAlign=bottom;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-163" target="7HQgMKtUSoPUuWo0Vc0E-166" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-163" value="case State4" style="rhombus;whiteSpace=wrap;html=1;shadow=0;fontFamily=Helvetica;fontSize=12;align=center;strokeWidth=1;spacing=6;spacingTop=-4;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="50" y="2070" width="100" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-164" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-166" target="7HQgMKtUSoPUuWo0Vc0E-168" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-165" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-166" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="334" y="2110" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-166" value="new_state == 1" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="184" y="2070" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-167" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" parent="1" target="7HQgMKtUSoPUuWo0Vc0E-193" edge="1" source="7HQgMKtUSoPUuWo0Vc0E-168">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="774.6799999999998" y="1193.24" as="targetPoint" />
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="249" y="2224" />
|
||||||
|
<mxPoint x="250" y="2224" />
|
||||||
|
<mxPoint x="250" y="2290" />
|
||||||
|
<mxPoint x="770" y="2290" />
|
||||||
|
<mxPoint x="770" y="1190" />
|
||||||
|
<mxPoint x="640" y="1190" />
|
||||||
|
</Array>
|
||||||
|
<mxPoint x="300" y="2260" as="sourcePoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-168" value="increment count" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="189" y="2210" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-169" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-171" target="7HQgMKtUSoPUuWo0Vc0E-173" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-170" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-171" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="480" y="2110" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-171" value="new_state == 2" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="330" y="2070" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-172" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-173" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="395" y="2290" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-173" value="increment error" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="335" y="2210" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-174" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-176" target="7HQgMKtUSoPUuWo0Vc0E-178" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-175" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-176" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="620" y="2110" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-176" value="new_state == 3" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="470" y="2070" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-177" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-178" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="535" y="2290" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-178" value="decrement count" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="475" y="2210" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-179" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-180" target="7HQgMKtUSoPUuWo0Vc0E-182" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-180" value="new_state == 4" style="rhombus;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="620" y="2070" width="130" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-181" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-182" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="685" y="2290" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-182" value="do nothing" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="625" y="2210" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-183" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="294" y="2085" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-184" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="430" y="2085" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-185" value="no" style="text;strokeColor=none;align=center;fillColor=none;html=1;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="580" y="2085" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-187" value="return" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="590" y="1280" width="100" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-191" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=0;entryY=0.25;entryDx=0;entryDy=0;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-189" target="7HQgMKtUSoPUuWo0Vc0E-85" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="95" y="1250" />
|
||||||
|
<mxPoint x="180" y="1250" />
|
||||||
|
<mxPoint x="180" y="1210" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-189" value="<div>updateStateMachine()</div>" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="20" y="1205" width="150" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-194" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" parent="1" source="7HQgMKtUSoPUuWo0Vc0E-193" target="7HQgMKtUSoPUuWo0Vc0E-187" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="7HQgMKtUSoPUuWo0Vc0E-193" value="state = new_state" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
|
||||||
|
<mxGeometry x="580" y="1210" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
</root>
|
||||||
|
</mxGraphModel>
|
||||||
|
</diagram>
|
||||||
|
</mxfile>
|
||||||
BIN
Lab_1/UpdateStateMachineAAR.pdf
Normal file
BIN
Lab_1/UpdateStateMachineAAR.pdf
Normal file
Binary file not shown.
@@ -0,0 +1,57 @@
|
|||||||
|
<mxfile host="app.diagrams.net" modified="2023-09-26T11:35:06.295Z" agent="Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:109.0) Gecko/20100101 Firefox/117.0" etag="nyKtwjN2PcaE_thxzUOw" version="21.8.0" type="device">
|
||||||
|
<diagram id="C5RBs43oDa-KdzZeNtuy" name="Page-1">
|
||||||
|
<mxGraphModel dx="1434" dy="782" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
|
||||||
|
<root>
|
||||||
|
<mxCell id="WIyWlLk6GJQsqaUBKTNV-0" />
|
||||||
|
<mxCell id="WIyWlLk6GJQsqaUBKTNV-1" parent="WIyWlLk6GJQsqaUBKTNV-0" />
|
||||||
|
<mxCell id="WIyWlLk6GJQsqaUBKTNV-6" value="B = 1?" style="rhombus;whiteSpace=wrap;html=1;shadow=0;fontFamily=Helvetica;fontSize=12;align=center;strokeWidth=1;spacing=6;spacingTop=-4;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
|
||||||
|
<mxGeometry x="170" y="240" width="100" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-8" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="Qn_TZ-Xwc6BHQTtd6nyY-0" target="Qn_TZ-Xwc6BHQTtd6nyY-5">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-0" value="InitialiseEncoderStateMachine()" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry x="120" y="10" width="200" height="50" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-1" value="Return" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry x="190" y="460" width="60" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-10" value="no" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;labelPosition=center;verticalLabelPosition=top;align=center;verticalAlign=bottom;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="Qn_TZ-Xwc6BHQTtd6nyY-5">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="380" y="150" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-14" value="yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=middle;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="Qn_TZ-Xwc6BHQTtd6nyY-5" target="WIyWlLk6GJQsqaUBKTNV-6">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-5" value="A = 1?" style="rhombus;whiteSpace=wrap;html=1;shadow=0;fontFamily=Helvetica;fontSize=12;align=center;strokeWidth=1;spacing=6;spacingTop=-4;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry x="170" y="110" width="100" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-15" value="State = 3" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry x="160" y="370" width="120" height="40" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-16" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="WIyWlLk6GJQsqaUBKTNV-6" target="Qn_TZ-Xwc6BHQTtd6nyY-15">
|
||||||
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
||||||
|
<mxPoint x="390" y="400" as="sourcePoint" />
|
||||||
|
<mxPoint x="440" y="350" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-17" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="Qn_TZ-Xwc6BHQTtd6nyY-15">
|
||||||
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
||||||
|
<mxPoint x="230" y="330" as="sourcePoint" />
|
||||||
|
<mxPoint x="220" y="460" as="targetPoint" />
|
||||||
|
<Array as="points">
|
||||||
|
<mxPoint x="220" y="420" />
|
||||||
|
</Array>
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Qn_TZ-Xwc6BHQTtd6nyY-19" value="no" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;labelPosition=center;verticalLabelPosition=top;align=center;verticalAlign=bottom;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="270" y="280" as="sourcePoint" />
|
||||||
|
<mxPoint x="380" y="280" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
</root>
|
||||||
|
</mxGraphModel>
|
||||||
|
</diagram>
|
||||||
|
</mxfile>
|
||||||
Binary file not shown.
44
Lab_1/skeleton_flowcharts/UpdateStateMachineSkeleton.drawio
Normal file
44
Lab_1/skeleton_flowcharts/UpdateStateMachineSkeleton.drawio
Normal file
@@ -0,0 +1,44 @@
|
|||||||
|
<mxfile host="app.diagrams.net" modified="2023-09-26T13:34:00.880Z" agent="Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:109.0) Gecko/20100101 Firefox/117.0" etag="Tk5ex9ES5EWjcNulA8UX" version="21.8.2" type="device">
|
||||||
|
<diagram id="C5RBs43oDa-KdzZeNtuy" name="Page-1">
|
||||||
|
<mxGraphModel dx="1434" dy="782" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
|
||||||
|
<root>
|
||||||
|
<mxCell id="WIyWlLk6GJQsqaUBKTNV-0" />
|
||||||
|
<mxCell id="WIyWlLk6GJQsqaUBKTNV-1" parent="WIyWlLk6GJQsqaUBKTNV-0" />
|
||||||
|
<mxCell id="WIyWlLk6GJQsqaUBKTNV-2" value="" style="rounded=0;html=1;jettySize=auto;orthogonalLoop=1;fontSize=11;endArrow=block;endFill=0;endSize=8;strokeWidth=1;shadow=0;labelBackgroundColor=none;edgeStyle=orthogonalEdgeStyle;" parent="WIyWlLk6GJQsqaUBKTNV-1" target="WIyWlLk6GJQsqaUBKTNV-6" edge="1">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="220" y="120" as="sourcePoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Dnt90pDJfNcNia8gVZm2-3" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;verticalAlign=bottom;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="WIyWlLk6GJQsqaUBKTNV-6" target="Dnt90pDJfNcNia8gVZm2-1">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Dnt90pDJfNcNia8gVZm2-5" value="No" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;verticalAlign=middle;labelPosition=right;verticalLabelPosition=middle;align=left;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="WIyWlLk6GJQsqaUBKTNV-6">
|
||||||
|
<mxGeometry relative="1" as="geometry">
|
||||||
|
<mxPoint x="220" y="330" as="targetPoint" />
|
||||||
|
</mxGeometry>
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="WIyWlLk6GJQsqaUBKTNV-6" value="case State1" style="rhombus;whiteSpace=wrap;html=1;shadow=0;fontFamily=Helvetica;fontSize=12;align=center;strokeWidth=1;spacing=6;spacingTop=-4;" parent="WIyWlLk6GJQsqaUBKTNV-1" vertex="1">
|
||||||
|
<mxGeometry x="170" y="170" width="100" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Dnt90pDJfNcNia8gVZm2-0" value="Switch State" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry x="160" y="80" width="120" height="50" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Dnt90pDJfNcNia8gVZm2-10" value="Yes" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;labelPosition=right;verticalLabelPosition=middle;align=left;verticalAlign=bottom;labelBackgroundColor=none;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="Dnt90pDJfNcNia8gVZm2-1" target="Dnt90pDJfNcNia8gVZm2-6">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Dnt90pDJfNcNia8gVZm2-1" value="<div>A = 1 and&nbsp;</div><div>B =0?</div>" style="rhombus;whiteSpace=wrap;html=1;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry x="370" y="170" width="80" height="80" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Dnt90pDJfNcNia8gVZm2-12" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="WIyWlLk6GJQsqaUBKTNV-1" source="Dnt90pDJfNcNia8gVZm2-6" target="Dnt90pDJfNcNia8gVZm2-7">
|
||||||
|
<mxGeometry relative="1" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Dnt90pDJfNcNia8gVZm2-6" value="Increment count" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry x="350" y="310" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
<mxCell id="Dnt90pDJfNcNia8gVZm2-7" value="State = 2" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="WIyWlLk6GJQsqaUBKTNV-1">
|
||||||
|
<mxGeometry x="350" y="390" width="120" height="30" as="geometry" />
|
||||||
|
</mxCell>
|
||||||
|
</root>
|
||||||
|
</mxGraphModel>
|
||||||
|
</diagram>
|
||||||
|
</mxfile>
|
||||||
BIN
Lab_1/skeleton_flowcharts/UpdateStateMachineSkeleton.pdf
Normal file
BIN
Lab_1/skeleton_flowcharts/UpdateStateMachineSkeleton.pdf
Normal file
Binary file not shown.
Reference in New Issue
Block a user