chapter10/docs/example2a.svg

<?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&#45;&gt;Return19 -->
<g id="edge1" class="edge">
<title>Stop3&#45;&gt;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&#45;&gt;Start2 -->
<g id="edge2" class="edge">
<title>new10&#45;&gt;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&#45;&gt;Start2 -->
<g id="edge3" class="edge">
<title>Store12&#45;&gt;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&#45;&gt;new10 -->
<g id="edge4" class="edge">
<title>Store12&#45;&gt;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&#45;&gt;Con_11 -->
<g id="edge5" class="edge">
<title>Store12&#45;&gt;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&#45;&gt;Start2 -->
<g id="edge6" class="edge">
<title>Store13&#45;&gt;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&#45;&gt;new10 -->
<g id="edge7" class="edge">
<title>Store13&#45;&gt;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&#45;&gt;Con_11 -->
<g id="edge8" class="edge">
<title>Store13&#45;&gt;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&#45;&gt;new10 -->
<g id="edge10" class="edge">
<title>Store15&#45;&gt;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&#45;&gt;Store12 -->
<g id="edge9" class="edge">
<title>Store15&#45;&gt;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&#45;&gt;Con_14 -->
<g id="edge11" class="edge">
<title>Store15&#45;&gt;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&#45;&gt;new10 -->
<g id="edge13" class="edge">
<title>Store17&#45;&gt;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&#45;&gt;Store15 -->
<g id="edge12" class="edge">
<title>Store17&#45;&gt;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&#45;&gt;Con_16 -->
<g id="edge14" class="edge">
<title>Store17&#45;&gt;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&#45;&gt;new10 -->
<g id="edge16" class="edge">
<title>Load18&#45;&gt;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&#45;&gt;Store17 -->
<g id="edge15" class="edge">
<title>Load18&#45;&gt;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&#45;&gt;Start2 -->
<g id="edge17" class="edge">
<title>Return19&#45;&gt;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&#45;&gt;Start2 -->
<g id="edge21" class="edge">
<title>Return19&#45;&gt;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&#45;&gt;Store13 -->
<g id="edge20" class="edge">
<title>Return19&#45;&gt;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&#45;&gt;Store17 -->
<g id="edge19" class="edge">
<title>Return19&#45;&gt;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&#45;&gt;Load18 -->
<g id="edge18" class="edge">
<title>Return19&#45;&gt;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>