diff options
Diffstat (limited to 'docs/chapter10/example2a.svg')
| -rw-r--r-- | docs/chapter10/example2a.svg | 249 |
1 files changed, 249 insertions, 0 deletions
diff --git a/docs/chapter10/example2a.svg b/docs/chapter10/example2a.svg new file mode 100644 index 00000000..9f069ad4 --- /dev/null +++ b/docs/chapter10/example2a.svg @@ -0,0 +1,249 @@ +<?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: chapter10 Pages: 1 --> +<svg width="331pt" height="608pt" + viewBox="0.00 0.00 331.00 608.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 604)"> +<title>chapter10</title> +<polygon fill="white" stroke="transparent" points="-4,4 -4,-604 327,-604 327,4 -4,4"/> +<g id="clust1" class="cluster"> +<title>cluster_Nodes</title> +<polygon fill="none" stroke="black" points="8,-8 8,-592 315,-592 315,-8 8,-8"/> +</g> +<!-- Start2 --> +<g id="node1" class="node"> +<title>Start2</title> +<polygon fill="yellow" stroke="transparent" points="129,-555 129,-580 254,-580 254,-555 129,-555"/> +<polygon fill="none" stroke="black" points="129,-555 129,-580 254,-580 254,-555 129,-555"/> +<text text-anchor="start" x="173" y="-563.8" font-family="Times,serif" font-size="14.00">Start</text> +<polygon fill="none" stroke="black" points="129,-524 129,-555 254,-555 254,-524 129,-524"/> +<polygon fill="yellow" stroke="transparent" points="134,-529 134,-550 174,-550 174,-529 134,-529"/> +<polygon fill="none" stroke="black" points="134,-529 134,-550 174,-550 174,-529 134,-529"/> +<text text-anchor="start" x="137" y="-535.8" font-family="Times,serif" font-size="14.00">$ctrl</text> +<polygon fill="none" stroke="black" points="174,-529 174,-550 199,-550 199,-529 174,-529"/> +<text text-anchor="start" x="177" y="-535.8" font-family="Times,serif" font-size="14.00">$2</text> +<polygon fill="none" stroke="black" points="199,-529 199,-550 224,-550 224,-529 199,-529"/> +<text text-anchor="start" x="202" y="-535.8" font-family="Times,serif" font-size="14.00">$3</text> +<polygon fill="none" stroke="black" points="224,-529 224,-550 249,-550 249,-529 224,-529"/> +<text text-anchor="start" x="227" y="-535.8" font-family="Times,serif" font-size="14.00">$4</text> +</g> +<!-- Stop3 --> +<g id="node2" class="node"> +<title>Stop3</title> +<polygon fill="yellow" stroke="black" points="101,-52 47,-52 47,-16 101,-16 101,-52"/> +<text text-anchor="middle" x="74" y="-30.3" font-family="Times,serif" font-size="14.00">Stop</text> +</g> +<!-- Return19 --> +<g id="node12" class="node"> +<title>Return19</title> +<polygon fill="yellow" stroke="black" points="107,-124 41,-124 41,-88 107,-88 107,-124"/> +<text text-anchor="middle" x="74" y="-102.3" font-family="Times,serif" font-size="14.00">Return</text> +</g> +<!-- Stop3->Return19 --> +<g id="edge1" class="edge"> +<title>Stop3->Return19</title> +<path fill="none" stroke="red" d="M74,-52.3C74,-60.02 74,-69.29 74,-77.89"/> +<polygon fill="red" stroke="red" points="70.5,-77.9 74,-87.9 77.5,-77.9 70.5,-77.9"/> +<text text-anchor="middle" x="71" y="-54.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- new10 --> +<g id="node3" class="node"> +<title>new10</title> +<ellipse fill="none" stroke="black" cx="118" cy="-466" rx="49.29" ry="18"/> +<text text-anchor="middle" x="118" y="-462.3" font-family="Times,serif" font-size="14.00">new Bar</text> +</g> +<!-- new10->Start2 --> +<g id="edge2" class="edge"> +<title>new10->Start2:p0</title> +<path fill="none" stroke="green" d="M133.89,-483.12C141.58,-492.29 149.78,-504.57 152.8,-517.77"/> +<polygon fill="green" stroke="green" points="149.36,-518.48 154,-528 156.31,-517.66 149.36,-518.48"/> +<text text-anchor="middle" x="130.89" y="-485.72" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Con_11 --> +<g id="node4" class="node"> +<title>Con_11</title> +<ellipse fill="none" stroke="black" cx="232" cy="-466" rx="27" ry="18"/> +<text text-anchor="middle" x="232" y="-462.3" font-family="Times,serif" font-size="14.00">#0</text> +</g> +<!-- Store12 --> +<g id="node5" class="node"> +<title>Store12</title> +<ellipse fill="none" stroke="black" cx="178" cy="-394" rx="29.8" ry="18"/> +<text text-anchor="middle" x="178" y="-390.3" font-family="Times,serif" font-size="14.00">.a =</text> +</g> +<!-- Store12->Start2 --> +<g id="edge3" class="edge"> +<title>Store12->Start2:p2</title> +<path fill="none" stroke="blue" d="M179.7,-412.2C181.85,-435.45 185.36,-478.51 185.92,-517.62"/> +<polygon fill="blue" stroke="blue" points="182.43,-518.03 186,-528 189.43,-517.97 182.43,-518.03"/> +<text text-anchor="middle" x="176.7" y="-414.8" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Store12->new10 --> +<g id="edge4" class="edge"> +<title>Store12->new10</title> +<path fill="none" stroke="black" d="M164.68,-410.54C157.06,-419.43 147.32,-430.79 138.71,-440.84"/> +<polygon fill="black" stroke="black" points="135.97,-438.66 132.11,-448.53 141.28,-443.22 135.97,-438.66"/> +<text text-anchor="middle" x="161.68" y="-413.14" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Store12->Con_11 --> +<g id="edge5" class="edge"> +<title>Store12->Con_11</title> +<path fill="none" stroke="black" d="M189.98,-410.54C196.98,-419.6 205.94,-431.21 213.79,-441.39"/> +<polygon fill="black" stroke="black" points="211.17,-443.73 220.05,-449.51 216.71,-439.45 211.17,-443.73"/> +<text text-anchor="middle" x="186.98" y="-413.14" font-family="Helvetica,sans-Serif" font-size="8.00">3</text> +</g> +<!-- Store13 --> +<g id="node6" class="node"> +<title>Store13</title> +<ellipse fill="none" stroke="black" cx="256" cy="-394" rx="30.59" ry="18"/> +<text text-anchor="middle" x="256" y="-390.3" font-family="Times,serif" font-size="14.00">.b =</text> +</g> +<!-- Store13->Start2 --> +<g id="edge6" class="edge"> +<title>Store13->Start2:p3</title> +<path fill="none" stroke="blue" d="M263.6,-411.63C270.91,-430.21 279.31,-460.72 268,-484 256,-508.69 222.7,-499.84 214.07,-517.7"/> +<polygon fill="blue" stroke="blue" points="210.54,-517.51 212,-528 217.4,-518.88 210.54,-517.51"/> +<text text-anchor="middle" x="260.6" y="-414.23" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Store13->new10 --> +<g id="edge7" class="edge"> +<title>Store13->new10</title> +<path fill="none" stroke="black" d="M233.52,-406.4C212.26,-417.19 179.96,-433.57 154.91,-446.28"/> +<polygon fill="black" stroke="black" points="153.04,-443.3 145.71,-450.95 156.21,-449.54 153.04,-443.3"/> +<text text-anchor="middle" x="230.52" y="-409" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Store13->Con_11 --> +<g id="edge8" class="edge"> +<title>Store13->Con_11</title> +<path fill="none" stroke="black" d="M250.19,-411.95C247.45,-419.94 244.11,-429.67 241.05,-438.6"/> +<polygon fill="black" stroke="black" points="237.69,-437.62 237.76,-448.21 244.31,-439.89 237.69,-437.62"/> +<text text-anchor="middle" x="247.19" y="-414.55" font-family="Helvetica,sans-Serif" font-size="8.00">3</text> +</g> +<!-- Con_14 --> +<g id="node7" class="node"> +<title>Con_14</title> +<ellipse fill="none" stroke="black" cx="83" cy="-394" rx="27" ry="18"/> +<text text-anchor="middle" x="83" y="-390.3" font-family="Times,serif" font-size="14.00">#1</text> +</g> +<!-- Store15 --> +<g id="node8" class="node"> +<title>Store15</title> +<ellipse fill="none" stroke="black" cx="86" cy="-322" rx="29.8" ry="18"/> +<text text-anchor="middle" x="86" y="-318.3" font-family="Times,serif" font-size="14.00">.a =</text> +</g> +<!-- Store15->new10 --> +<g id="edge10" class="edge"> +<title>Store15->new10</title> +<path fill="none" stroke="black" d="M98.96,-338.58C106.42,-348.58 115.07,-362.24 119,-376 124.76,-396.15 124.14,-419.93 122.28,-437.84"/> +<polygon fill="black" stroke="black" points="118.79,-437.53 121.04,-447.89 125.74,-438.39 118.79,-437.53"/> +<text text-anchor="middle" x="95.96" y="-341.18" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Store15->Store12 --> +<g id="edge9" class="edge"> +<title>Store15->Store12</title> +<path fill="none" stroke="blue" d="M103.74,-336.5C117.4,-346.89 136.48,-361.41 151.88,-373.13"/> +<polygon fill="blue" stroke="blue" points="149.92,-376.04 160,-379.31 154.16,-370.47 149.92,-376.04"/> +<text text-anchor="middle" x="106.74" y="-339.1" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Store15->Con_14 --> +<g id="edge11" class="edge"> +<title>Store15->Con_14</title> +<path fill="none" stroke="black" d="M85.26,-340.3C84.93,-348.02 84.53,-357.29 84.16,-365.89"/> +<polygon fill="black" stroke="black" points="80.66,-365.75 83.73,-375.9 87.66,-366.05 80.66,-365.75"/> +<text text-anchor="middle" x="82.26" y="-342.9" font-family="Helvetica,sans-Serif" font-size="8.00">3</text> +</g> +<!-- Con_16 --> +<g id="node9" class="node"> +<title>Con_16</title> +<ellipse fill="none" stroke="black" cx="161" cy="-322" rx="27" ry="18"/> +<text text-anchor="middle" x="161" y="-318.3" font-family="Times,serif" font-size="14.00">#2</text> +</g> +<!-- Store17 --> +<g id="node10" class="node"> +<title>Store17</title> +<ellipse fill="none" stroke="black" cx="86" cy="-250" rx="29.8" ry="18"/> +<text text-anchor="middle" x="86" y="-246.3" font-family="Times,serif" font-size="14.00">.a =</text> +</g> +<!-- Store17->new10 --> +<g id="edge13" class="edge"> +<title>Store17->new10</title> +<path fill="none" stroke="black" d="M70.13,-265.26C57.27,-278.25 40.68,-298.75 37,-321"/> +<text text-anchor="middle" x="67.13" y="-267.86" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Store17->Store15 --> +<g id="edge12" class="edge"> +<title>Store17->Store15</title> +<path fill="none" stroke="blue" d="M86,-268.3C86,-276.02 86,-285.29 86,-293.89"/> +<polygon fill="blue" stroke="blue" points="82.5,-293.9 86,-303.9 89.5,-293.9 82.5,-293.9"/> +<text text-anchor="middle" x="83" y="-270.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Store17->Con_16 --> +<g id="edge14" class="edge"> +<title>Store17->Con_16</title> +<path fill="none" stroke="black" d="M101.54,-265.5C112.24,-275.49 126.62,-288.91 138.56,-300.06"/> +<polygon fill="black" stroke="black" points="136.29,-302.73 145.99,-306.99 141.07,-297.61 136.29,-302.73"/> +<text text-anchor="middle" x="98.54" y="-268.1" font-family="Helvetica,sans-Serif" font-size="8.00">3</text> +</g> +<!-- Load18 --> +<g id="node11" class="node"> +<title>Load18</title> +<ellipse fill="none" stroke="black" cx="74" cy="-178" rx="27" ry="18"/> +<text text-anchor="middle" x="74" y="-174.3" font-family="Times,serif" font-size="14.00">.a</text> +</g> +<!-- Load18->new10 --> +<g id="edge16" class="edge"> +<title>Load18->new10</title> +<path fill="none" stroke="black" d="M63.89,-195.07C57.97,-205.26 50.92,-218.94 47,-232 35.56,-270.12 43.5,-281.73 37,-321"/> +<path fill="none" stroke="black" d="M37,-323C29.78,-362.14 27.2,-377.47 47,-412 54.9,-425.77 67.96,-437.05 80.75,-445.61"/> +<polygon fill="black" stroke="black" points="79.16,-448.74 89.49,-451.1 82.88,-442.82 79.16,-448.74"/> +<text text-anchor="middle" x="60.89" y="-197.67" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Load18->Store17 --> +<g id="edge15" class="edge"> +<title>Load18->Store17</title> +<path fill="none" stroke="blue" d="M76.9,-195.95C78.23,-203.65 79.82,-212.97 81.31,-221.64"/> +<polygon fill="blue" stroke="blue" points="77.9,-222.46 83.04,-231.72 84.8,-221.28 77.9,-222.46"/> +<text text-anchor="middle" x="73.9" y="-198.55" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Return19->Start2 --> +<g id="edge17" class="edge"> +<title>Return19->Start2:p0</title> +<path fill="none" stroke="red" d="M59.94,-124.2C52.45,-134.13 43.64,-147.17 38,-160 21.64,-197.21 17,-208.36 17,-249 17,-249 17,-249 17,-395 17,-473.65 47.97,-533.65 122.67,-538.66"/> +<polygon fill="red" stroke="red" points="122.89,-542.17 133,-539 123.12,-535.17 122.89,-542.17"/> +<text text-anchor="middle" x="56.94" y="-126.8" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Return19->Start2 --> +<g id="edge21" class="edge"> +<title>Return19->Start2:p4</title> +<path fill="none" stroke="blue" d="M306,-323C287.16,-411.95 339.16,-519.36 271.5,-536.61"/> +<polygon fill="blue" stroke="blue" points="270.87,-533.17 261.65,-538.38 272.11,-540.06 270.87,-533.17"/> +<text text-anchor="middle" x="303" y="-316.6" font-family="Helvetica,sans-Serif" font-size="8.00">4</text> +</g> +<!-- Return19->Store13 --> +<g id="edge20" class="edge"> +<title>Return19->Store13</title> +<path fill="none" stroke="blue" d="M306,-179C314.76,-241.5 316.5,-258.77 306,-321"/> +<path fill="none" stroke="blue" d="M306,-323C302.13,-341.27 290.11,-358.39 278.83,-371.13"/> +<polygon fill="blue" stroke="blue" points="276.24,-368.77 271.98,-378.47 281.36,-373.55 276.24,-368.77"/> +<text text-anchor="middle" x="303" y="-172.6" font-family="Helvetica,sans-Serif" font-size="8.00">3</text> +</g> +<!-- Return19->Store17 --> +<g id="edge19" class="edge"> +<title>Return19->Store17</title> +<path fill="none" stroke="blue" d="M107.24,-110.22C170.02,-117.23 300.33,-136.59 306,-177"/> +<path fill="none" stroke="blue" d="M306,-179C311.23,-216.32 190.09,-236.58 125.4,-244.71"/> +<polygon fill="blue" stroke="blue" points="124.65,-241.27 115.15,-245.95 125.5,-248.22 124.65,-241.27"/> +<text text-anchor="middle" x="110.24" y="-103.82" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Return19->Load18 --> +<g id="edge18" class="edge"> +<title>Return19->Load18</title> +<path fill="none" stroke="black" d="M74,-124.3C74,-132.02 74,-141.29 74,-149.89"/> +<polygon fill="black" stroke="black" points="70.5,-149.9 74,-159.9 77.5,-149.9 70.5,-149.9"/> +<text text-anchor="middle" x="71" y="-126.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +</g> +</svg> |