Chapter 7: While Statementlinear-chapter07

Co-authored-by: Cliff Click <cliffc@acm.org>
Co-authored-by: Thalia Archibald <thalia@archibald.dev>
Co-authored-by: XmiliaH <45106915+XmiliaH@users.noreply.github.com>
Co-authored-by: Robert Obkircher <robert.obkircher@gmail.com>

1 files changed, 268 insertions, 0 deletions

diff --git a/docs/chapter07/07-graph1.svg b/docs/chapter07/07-graph1.svg
new file mode 100644
index 00000000..94248cfb
--- /dev/null
+++ b/docs/chapter07/07-graph1.svg
@@ -0,0 +1,268 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.43.0 (0)
+ -->
+<!-- Title: chapter07 Pages: 1 -->
+<svg width="726pt" height="440pt"
+ viewBox="0.00 0.00 726.00 440.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 436)">
+<title>chapter07</title>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-436 722,-436 722,4 -4,4"/>
+<g id="clust1" class="cluster">
+<title>cluster_Nodes</title>
+<polygon fill="none" stroke="black" points="196,-100 196,-424 502,-424 502,-100 196,-100"/>
+</g>
+<g id="clust3" class="cluster">
+<title>cluster_Scope7_1</title>
+<polygon fill="none" stroke="black" points="8,-8 8,-92 288,-92 288,-8 8,-8"/>
+</g>
+<g id="clust4" class="cluster">
+<title>cluster_Scope7_2</title>
+<polygon fill="none" stroke="black" points="80,-16 80,-84 280,-84 280,-16 80,-16"/>
+</g>
+<g id="clust5" class="cluster">
+<title>cluster_Scope7_3</title>
+<polygon fill="none" stroke="black" points="152,-24 152,-76 272,-76 272,-24 152,-24"/>
+</g>
+<g id="clust6" class="cluster">
+<title>cluster_Scope1_1</title>
+<polygon fill="none" stroke="black" points="510,-192 510,-260 710,-260 710,-192 510,-192"/>
+</g>
+<g id="clust7" class="cluster">
+<title>cluster_Scope1_2</title>
+<polygon fill="none" stroke="black" points="582,-200 582,-252 702,-252 702,-200 582,-200"/>
+</g>
+<g id="clust8" class="cluster">
+<title>cluster_Scope14_1</title>
+<polygon fill="none" stroke="black" points="296,-16 296,-84 496,-84 496,-16 296,-16"/>
+</g>
+<g id="clust9" class="cluster">
+<title>cluster_Scope14_2</title>
+<polygon fill="none" stroke="black" points="368,-24 368,-76 488,-76 488,-24 368,-24"/>
+</g>
+<!-- Start2 -->
+<g id="node1" class="node">
+<title>Start2</title>
+<polygon fill="yellow" stroke="transparent" points="365,-387 365,-412 446,-412 446,-387 365,-387"/>
+<polygon fill="none" stroke="black" points="365,-387 365,-412 446,-412 446,-387 365,-387"/>
+<text text-anchor="start" x="387" y="-395.8" font-family="Times,serif" font-size="14.00">Start</text>
+<polygon fill="none" stroke="black" points="365,-356 365,-387 446,-387 446,-356 365,-356"/>
+<polygon fill="yellow" stroke="transparent" points="370,-361 370,-382 410,-382 410,-361 370,-361"/>
+<polygon fill="none" stroke="black" points="370,-361 370,-382 410,-382 410,-361 370,-361"/>
+<text text-anchor="start" x="373" y="-367.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
+<polygon fill="none" stroke="black" points="410,-361 410,-382 441,-382 441,-361 410,-361"/>
+<text text-anchor="start" x="413" y="-367.8" font-family="Times,serif" font-size="14.00">arg</text>
+</g>
+<!-- Loop6 -->
+<g id="node2" class="node">
+<title>Loop6</title>
+<polygon fill="yellow" stroke="black" points="494,-316 440,-316 440,-280 494,-280 494,-316"/>
+<text text-anchor="middle" x="467" y="-294.3" font-family="Times,serif" font-size="14.00">Loop</text>
+</g>
+<!-- Loop6&#45;&gt;Start2 -->
+<g id="edge1" class="edge">
+<title>Loop6&#45;&gt;Start2:p0</title>
+<path fill="none" stroke="red" d="M439.64,-314.34C422.52,-324.68 402.19,-338.54 393.85,-350.32"/>
+<polygon fill="red" stroke="red" points="390.45,-349.41 390,-360 396.95,-352 390.45,-349.41"/>
+<text text-anchor="middle" x="436.64" y="-307.94" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Phi_arg8 -->
+<g id="node3" class="node">
+<title>Phi_arg8</title>
+<ellipse fill="lightyellow" stroke="black" cx="385" cy="-298" rx="37.09" ry="18"/>
+<text text-anchor="middle" x="385" y="-294.3" font-family="Times,serif" font-size="14.00">φ_arg</text>
+</g>
+<!-- Phi_arg8&#45;&gt;Start2 -->
+<g id="edge3" class="edge">
+<title>Phi_arg8&#45;&gt;Start2:p1</title>
+<path fill="none" stroke="black" d="M402.63,-314.22C411.57,-323.35 421.25,-335.86 424.7,-349.71"/>
+<polygon fill="black" stroke="black" points="421.27,-350.52 426,-360 428.22,-349.64 421.27,-350.52"/>
+<text text-anchor="middle" x="399.63" y="-316.82" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Phi_arg8&#45;&gt;Loop6 -->
+<g id="edge2" class="edge">
+<title>Phi_arg8&#45;&gt;Loop6</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M422.16,-298C424.62,-298 427.08,-298 429.55,-298"/>
+<polygon fill="black" stroke="black" points="429.67,-301.5 439.67,-298 429.67,-294.5 429.67,-301.5"/>
+<text text-anchor="middle" x="425.16" y="-291.6" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- Con_9 -->
+<g id="node4" class="node">
+<title>Con_9</title>
+<ellipse fill="none" stroke="black" cx="303" cy="-298" rx="27" ry="18"/>
+<text text-anchor="middle" x="303" y="-294.3" font-family="Times,serif" font-size="14.00">10</text>
+</g>
+<!-- LT10 -->
+<g id="node5" class="node">
+<title>LT10</title>
+<ellipse fill="none" stroke="black" cx="374" cy="-226" rx="27" ry="18"/>
+<text text-anchor="middle" x="374" y="-222.3" font-family="Times,serif" font-size="14.00">&lt;</text>
+</g>
+<!-- LT10&#45;&gt;Phi_arg8 -->
+<g id="edge4" class="edge">
+<title>LT10&#45;&gt;Phi_arg8</title>
+<path fill="none" stroke="black" d="M376.66,-243.95C377.87,-251.65 379.34,-260.97 380.7,-269.64"/>
+<polygon fill="black" stroke="black" points="377.28,-270.39 382.29,-279.72 384.19,-269.3 377.28,-270.39"/>
+<text text-anchor="middle" x="373.66" y="-246.55" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- LT10&#45;&gt;Con_9 -->
+<g id="edge5" class="edge">
+<title>LT10&#45;&gt;Con_9</title>
+<path fill="none" stroke="black" d="M359.29,-241.5C349.39,-251.27 336.16,-264.31 325.01,-275.3"/>
+<polygon fill="black" stroke="black" points="322.36,-273 317.69,-282.51 327.27,-277.99 322.36,-273"/>
+<text text-anchor="middle" x="356.29" y="-244.1" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
+</g>
+<!-- If11 -->
+<g id="node6" class="node">
+<title>If11</title>
+<polygon fill="yellow" stroke="transparent" points="327,-143 327,-168 421,-168 421,-143 327,-143"/>
+<polygon fill="none" stroke="black" points="327,-143 327,-168 421,-168 421,-143 327,-143"/>
+<text text-anchor="start" x="368.5" y="-151.8" font-family="Times,serif" font-size="14.00">If</text>
+<polygon fill="none" stroke="black" points="327,-112 327,-143 421,-143 421,-112 327,-112"/>
+<polygon fill="yellow" stroke="transparent" points="332,-117 332,-138 372,-138 372,-117 332,-117"/>
+<polygon fill="none" stroke="black" points="332,-117 332,-138 372,-138 372,-117 332,-117"/>
+<text text-anchor="start" x="335" y="-123.8" font-family="Times,serif" font-size="14.00">True</text>
+<polygon fill="yellow" stroke="transparent" points="372,-117 372,-138 416,-138 416,-117 372,-117"/>
+<polygon fill="none" stroke="black" points="372,-117 372,-138 416,-138 416,-117 372,-117"/>
+<text text-anchor="start" x="375" y="-123.8" font-family="Times,serif" font-size="14.00">False</text>
+</g>
+<!-- If11&#45;&gt;Loop6 -->
+<g id="edge6" class="edge">
+<title>If11&#45;&gt;Loop6</title>
+<path fill="none" stroke="red" d="M396.87,-172.17C401.36,-178.63 405.94,-185.46 410,-192 426.23,-218.13 442.79,-249.22 453.84,-270.75"/>
+<polygon fill="red" stroke="red" points="450.85,-272.6 458.51,-279.92 457.09,-269.42 450.85,-272.6"/>
+<text text-anchor="middle" x="393.87" y="-174.77" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- If11&#45;&gt;LT10 -->
+<g id="edge7" class="edge">
+<title>If11&#45;&gt;LT10</title>
+<path fill="none" stroke="black" d="M374,-172.28C374,-180.58 374,-189.48 374,-197.56"/>
+<polygon fill="black" stroke="black" points="370.5,-197.6 374,-207.6 377.5,-197.6 370.5,-197.6"/>
+<text text-anchor="middle" x="371" y="-174.88" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Con_15 -->
+<g id="node7" class="node">
+<title>Con_15</title>
+<ellipse fill="none" stroke="black" cx="231" cy="-298" rx="27" ry="18"/>
+<text text-anchor="middle" x="231" y="-294.3" font-family="Times,serif" font-size="14.00">1</text>
+</g>
+<!-- Add16 -->
+<g id="node8" class="node">
+<title>Add16</title>
+<ellipse fill="none" stroke="black" cx="241" cy="-226" rx="27" ry="18"/>
+<text text-anchor="middle" x="241" y="-222.3" font-family="Times,serif" font-size="14.00">+</text>
+</g>
+<!-- Add16&#45;&gt;Phi_arg8 -->
+<g id="edge8" class="edge">
+<title>Add16&#45;&gt;Phi_arg8</title>
+<path fill="none" stroke="black" d="M262.25,-237.33C285.48,-248.62 323.06,-266.89 350.53,-280.24"/>
+<polygon fill="black" stroke="black" points="349.26,-283.52 359.78,-284.74 352.32,-277.22 349.26,-283.52"/>
+<text text-anchor="middle" x="265.25" y="-239.93" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Add16&#45;&gt;Con_15 -->
+<g id="edge9" class="edge">
+<title>Add16&#45;&gt;Con_15</title>
+<path fill="none" stroke="black" d="M238.58,-243.95C237.48,-251.65 236.15,-260.97 234.91,-269.64"/>
+<polygon fill="black" stroke="black" points="231.42,-269.33 233.47,-279.72 238.35,-270.32 231.42,-269.33"/>
+<text text-anchor="middle" x="235.58" y="-246.55" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
+</g>
+<!-- Scope7_1 -->
+<g id="node9" class="node">
+<title>Scope7_1</title>
+<polygon fill="cyan" stroke="transparent" points="35,-39 35,-60 51,-60 51,-39 35,-39"/>
+<polygon fill="none" stroke="black" points="35,-39 35,-60 51,-60 51,-39 35,-39"/>
+<text text-anchor="start" x="38" y="-45.8" font-family="Times,serif" font-size="14.00">2</text>
+</g>
+<!-- Scope7_2 -->
+<g id="node10" class="node">
+<title>Scope7_2</title>
+<polygon fill="cyan" stroke="transparent" points="107,-39 107,-60 123,-60 123,-39 107,-39"/>
+<polygon fill="none" stroke="black" points="107,-39 107,-60 123,-60 123,-39 107,-39"/>
+<text text-anchor="start" x="110" y="-45.8" font-family="Times,serif" font-size="14.00">1</text>
+</g>
+<!-- Scope7_3 -->
+<g id="node11" class="node">
+<title>Scope7_3</title>
+<polygon fill="cyan" stroke="transparent" points="169,-39 169,-60 185,-60 185,-39 169,-39"/>
+<polygon fill="none" stroke="black" points="169,-39 169,-60 185,-60 185,-39 169,-39"/>
+<text text-anchor="start" x="172" y="-45.8" font-family="Times,serif" font-size="14.00">0</text>
+<polygon fill="none" stroke="black" points="185,-39 185,-60 225,-60 225,-39 185,-39"/>
+<text text-anchor="start" x="188" y="-45.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
+<polygon fill="none" stroke="black" points="225,-39 225,-60 256,-60 256,-39 225,-39"/>
+<text text-anchor="start" x="228" y="-45.8" font-family="Times,serif" font-size="14.00">arg</text>
+</g>
+<!-- Scope7_3&#45;&gt;If11 -->
+<g id="edge10" class="edge">
+<title>Scope7_3:Scope7_3_$ctrl&#45;&gt;If11:p0</title>
+<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M205,-61C205,-74.83 289.37,-114.99 321.05,-124.81"/>
+<polygon fill="cornflowerblue" stroke="cornflowerblue" points="320.48,-128.27 331,-127 321.98,-121.43 320.48,-128.27"/>
+</g>
+<!-- Scope7_3&#45;&gt;Add16 -->
+<g id="edge11" class="edge">
+<title>Scope7_3:Scope7_3_arg&#45;&gt;Add16</title>
+<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M241,-61C241,-109.09 241,-165.12 241,-197.67"/>
+<polygon fill="cornflowerblue" stroke="cornflowerblue" points="237.5,-197.76 241,-207.76 244.5,-197.76 237.5,-197.76"/>
+</g>
+<!-- Scope1_1 -->
+<g id="node12" class="node">
+<title>Scope1_1</title>
+<polygon fill="cyan" stroke="transparent" points="537,-215 537,-236 553,-236 553,-215 537,-215"/>
+<polygon fill="none" stroke="black" points="537,-215 537,-236 553,-236 553,-215 537,-215"/>
+<text text-anchor="start" x="540" y="-221.8" font-family="Times,serif" font-size="14.00">1</text>
+</g>
+<!-- Scope1_2 -->
+<g id="node13" class="node">
+<title>Scope1_2</title>
+<polygon fill="cyan" stroke="transparent" points="599,-215 599,-236 615,-236 615,-215 599,-215"/>
+<polygon fill="none" stroke="black" points="599,-215 599,-236 615,-236 615,-215 599,-215"/>
+<text text-anchor="start" x="602" y="-221.8" font-family="Times,serif" font-size="14.00">0</text>
+<polygon fill="none" stroke="black" points="615,-215 615,-236 655,-236 655,-215 615,-215"/>
+<text text-anchor="start" x="618" y="-221.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
+<polygon fill="none" stroke="black" points="655,-215 655,-236 686,-236 686,-215 655,-215"/>
+<text text-anchor="start" x="658" y="-221.8" font-family="Times,serif" font-size="14.00">arg</text>
+</g>
+<!-- Scope1_2&#45;&gt;Loop6 -->
+<g id="edge12" class="edge">
+<title>Scope1_2:Scope1_2_$ctrl&#45;&gt;Loop6</title>
+<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M635,-237C635,-264.54 553.92,-282.77 504.41,-291.34"/>
+<polygon fill="cornflowerblue" stroke="cornflowerblue" points="503.65,-287.92 494.37,-293.02 504.81,-294.82 503.65,-287.92"/>
+</g>
+<!-- Scope1_2&#45;&gt;Phi_arg8 -->
+<g id="edge13" class="edge">
+<title>Scope1_2:Scope1_2_arg&#45;&gt;Phi_arg8</title>
+<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M671,-237C671,-275.71 624.96,-252.41 587,-260 518.46,-273.71 498.88,-263.33 431,-280 428.04,-280.73 425,-281.58 421.97,-282.52"/>
+<polygon fill="cornflowerblue" stroke="cornflowerblue" points="420.79,-279.23 412.41,-285.72 423.01,-285.86 420.79,-279.23"/>
+</g>
+<!-- Scope14_1 -->
+<g id="node14" class="node">
+<title>Scope14_1</title>
+<polygon fill="cyan" stroke="transparent" points="323,-39 323,-60 339,-60 339,-39 323,-39"/>
+<polygon fill="none" stroke="black" points="323,-39 323,-60 339,-60 339,-39 323,-39"/>
+<text text-anchor="start" x="326" y="-45.8" font-family="Times,serif" font-size="14.00">1</text>
+</g>
+<!-- Scope14_2 -->
+<g id="node15" class="node">
+<title>Scope14_2</title>
+<polygon fill="cyan" stroke="transparent" points="385,-39 385,-60 401,-60 401,-39 385,-39"/>
+<polygon fill="none" stroke="black" points="385,-39 385,-60 401,-60 401,-39 385,-39"/>
+<text text-anchor="start" x="388" y="-45.8" font-family="Times,serif" font-size="14.00">0</text>
+<polygon fill="none" stroke="black" points="401,-39 401,-60 441,-60 441,-39 401,-39"/>
+<text text-anchor="start" x="404" y="-45.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
+<polygon fill="none" stroke="black" points="441,-39 441,-60 472,-60 472,-39 441,-39"/>
+<text text-anchor="start" x="444" y="-45.8" font-family="Times,serif" font-size="14.00">arg</text>
+</g>
+<!-- Scope14_2&#45;&gt;Phi_arg8 -->
+<g id="edge15" class="edge">
+<title>Scope14_2:Scope14_2_arg&#45;&gt;Phi_arg8</title>
+<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M457,-61C457,-151.88 449.62,-178.21 410,-260 408.01,-264.11 405.61,-268.3 403.09,-272.3"/>
+<polygon fill="cornflowerblue" stroke="cornflowerblue" points="400.15,-270.4 397.51,-280.67 405.97,-274.28 400.15,-270.4"/>
+</g>
+<!-- Scope14_2&#45;&gt;If11 -->
+<g id="edge14" class="edge">
+<title>Scope14_2:Scope14_2_$ctrl&#45;&gt;If11:p1</title>
+<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M421,-61C421,-84.4 401.06,-88.09 395.45,-105.95"/>
+<polygon fill="cornflowerblue" stroke="cornflowerblue" points="391.97,-105.6 394,-116 398.89,-106.6 391.97,-105.6"/>
+</g>
+</g>
+</svg>