assets/if-let-flowgraph.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.38.0 (20140413.2041)
 -->
<!-- Title: node_10 Pages: 1 -->
<svg width="493pt" height="908pt"
 viewBox="0.00 0.00 492.86 908.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 904)">
<title>node_10</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-904 488.857,-904 488.857,4 -4,4"/>
<!-- N0 -->
<g id="node1" class="node"><title>N0</title>
<ellipse fill="none" stroke="black" cx="233.428" cy="-882" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="233.428" y="-878.3" font-family="Times New Roman,serif" font-size="14.00">entry</text>
</g>
<!-- N2 -->
<g id="node3" class="node"><title>N2</title>
<ellipse fill="none" stroke="black" cx="233.428" cy="-810" rx="79.0865" ry="18"/>
<text text-anchor="middle" x="233.428" y="-806.3" font-family="Times New Roman,serif" font-size="14.00">expr Some (id=17)</text>
</g>
<!-- N0&#45;&gt;N2 -->
<g id="edge1" class="edge"><title>N0&#45;&gt;N2</title>
<path fill="none" stroke="black" d="M233.428,-863.697C233.428,-855.983 233.428,-846.712 233.428,-838.112"/>
<polygon fill="black" stroke="black" points="236.929,-838.104 233.428,-828.104 229.929,-838.104 236.929,-838.104"/>
</g>
<!-- N1 -->
<g id="node2" class="node"><title>N1</title>
<ellipse fill="none" stroke="black" cx="242.428" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="242.428" y="-14.3" font-family="Times New Roman,serif" font-size="14.00">exit</text>
</g>
<!-- N3 -->
<g id="node4" class="node"><title>N3</title>
<ellipse fill="none" stroke="black" cx="233.428" cy="-738" rx="63.0888" ry="18"/>
<text text-anchor="middle" x="233.428" y="-734.3" font-family="Times New Roman,serif" font-size="14.00">expr 1 (id=18)</text>
</g>
<!-- N2&#45;&gt;N3 -->
<g id="edge2" class="edge"><title>N2&#45;&gt;N3</title>
<path fill="none" stroke="black" d="M233.428,-791.697C233.428,-783.983 233.428,-774.712 233.428,-766.112"/>
<polygon fill="black" stroke="black" points="236.929,-766.104 233.428,-756.104 229.929,-766.104 236.929,-766.104"/>
</g>
<!-- N4 -->
<g id="node5" class="node"><title>N4</title>
<ellipse fill="none" stroke="black" cx="233.428" cy="-666" rx="89.8845" ry="18"/>
<text text-anchor="middle" x="233.428" y="-662.3" font-family="Times New Roman,serif" font-size="14.00">expr Some(1) (id=19)</text>
</g>
<!-- N3&#45;&gt;N4 -->
<g id="edge3" class="edge"><title>N3&#45;&gt;N4</title>
<path fill="none" stroke="black" d="M233.428,-719.697C233.428,-711.983 233.428,-702.712 233.428,-694.112"/>
<polygon fill="black" stroke="black" points="236.929,-694.104 233.428,-684.104 229.929,-694.104 236.929,-694.104"/>
</g>
<!-- N7 -->
<g id="node8" class="node"><title>N7</title>
<ellipse fill="none" stroke="black" cx="168.428" cy="-594" rx="68.7879" ry="18"/>
<text text-anchor="middle" x="168.428" y="-590.3" font-family="Times New Roman,serif" font-size="14.00">local _x (id=15)</text>
</g>
<!-- N4&#45;&gt;N7 -->
<g id="edge4" class="edge"><title>N4&#45;&gt;N7</title>
<path fill="none" stroke="black" d="M217.694,-648.055C209.71,-639.457 199.867,-628.857 191.083,-619.397"/>
<polygon fill="black" stroke="black" points="193.388,-616.735 184.018,-611.789 188.258,-621.499 193.388,-616.735"/>
</g>
<!-- N12 -->
<g id="node13" class="node"><title>N12</title>
<ellipse fill="none" stroke="black" cx="317.428" cy="-522" rx="58.4896" ry="18"/>
<text text-anchor="middle" x="317.428" y="-518.3" font-family="Times New Roman,serif" font-size="14.00">pat _ (id=24)</text>
</g>
<!-- N4&#45;&gt;N12 -->
<g id="edge10" class="edge"><title>N4&#45;&gt;N12</title>
<path fill="none" stroke="black" d="M243.561,-647.871C258.208,-623.111 285.4,-577.144 302.391,-548.42"/>
<polygon fill="black" stroke="black" points="305.442,-550.137 307.521,-539.748 299.417,-546.573 305.442,-550.137"/>
</g>
<!-- N5 -->
<g id="node6" class="node"><title>N5</title>
<ellipse fill="none" stroke="black" cx="242.428" cy="-234" rx="224.46" ry="18"/>
<text text-anchor="middle" x="242.428" y="-230.3" font-family="Times New Roman,serif" font-size="14.00">expr match Some(1) { Some(_x) =&gt; { } _ =&gt; (), } (id=21)</text>
</g>
<!-- N14 -->
<g id="node15" class="node"><title>N14</title>
<ellipse fill="none" stroke="black" cx="242.428" cy="-162" rx="242.357" ry="18"/>
<text text-anchor="middle" x="242.428" y="-158.3" font-family="Times New Roman,serif" font-size="14.00">block { match Some(1) { Some(_x) =&gt; { } _ =&gt; (), } } (id=12)</text>
</g>
<!-- N5&#45;&gt;N14 -->
<g id="edge14" class="edge"><title>N5&#45;&gt;N14</title>
<path fill="none" stroke="black" d="M242.428,-215.697C242.428,-207.983 242.428,-198.712 242.428,-190.112"/>
<polygon fill="black" stroke="black" points="245.929,-190.104 242.428,-180.104 238.929,-190.104 245.929,-190.104"/>
</g>
<!-- N6 -->
<g id="node7" class="node"><title>N6</title>
<ellipse fill="none" stroke="black" cx="156.428" cy="-450" rx="66.8882" ry="18"/>
<text text-anchor="middle" x="156.428" y="-446.3" font-family="Times New Roman,serif" font-size="14.00">(dummy_node)</text>
</g>
<!-- N9 -->
<g id="node10" class="node"><title>N9</title>
<ellipse fill="none" stroke="black" cx="157.428" cy="-378" rx="74.187" ry="18"/>
<text text-anchor="middle" x="157.428" y="-374.3" font-family="Times New Roman,serif" font-size="14.00">block { } (id=20)</text>
</g>
<!-- N6&#45;&gt;N9 -->
<g id="edge7" class="edge"><title>N6&#45;&gt;N9</title>
<path fill="none" stroke="black" d="M156.676,-431.697C156.786,-423.983 156.918,-414.712 157.041,-406.112"/>
<polygon fill="black" stroke="black" points="160.541,-406.153 157.184,-396.104 153.542,-406.053 160.541,-406.153"/>
</g>
<!-- N8 -->
<g id="node9" class="node"><title>N8</title>
<ellipse fill="none" stroke="black" cx="151.428" cy="-522" rx="89.8845" ry="18"/>
<text text-anchor="middle" x="151.428" y="-518.3" font-family="Times New Roman,serif" font-size="14.00">pat Some(_x) (id=13)</text>
</g>
<!-- N7&#45;&gt;N8 -->
<g id="edge5" class="edge"><title>N7&#45;&gt;N8</title>
<path fill="none" stroke="black" d="M164.226,-575.697C162.332,-567.898 160.052,-558.509 157.944,-549.829"/>
<polygon fill="black" stroke="black" points="161.344,-548.996 155.582,-540.104 154.541,-550.648 161.344,-548.996"/>
</g>
<!-- N8&#45;&gt;N6 -->
<g id="edge6" class="edge"><title>N8&#45;&gt;N6</title>
<path fill="none" stroke="black" d="M152.664,-503.697C153.215,-495.983 153.878,-486.712 154.492,-478.112"/>
<polygon fill="black" stroke="black" points="157.985,-478.328 155.207,-468.104 151.003,-477.83 157.985,-478.328"/>
</g>
<!-- N10 -->
<g id="node11" class="node"><title>N10</title>
<ellipse fill="none" stroke="black" cx="186.428" cy="-306" rx="69.5877" ry="18"/>
<text text-anchor="middle" x="186.428" y="-302.3" font-family="Times New Roman,serif" font-size="14.00">expr { } (id=23)</text>
</g>
<!-- N9&#45;&gt;N10 -->
<g id="edge8" class="edge"><title>N9&#45;&gt;N10</title>
<path fill="none" stroke="black" d="M164.449,-360.055C167.713,-352.176 171.673,-342.617 175.328,-333.794"/>
<polygon fill="black" stroke="black" points="178.678,-334.853 179.272,-324.275 172.211,-332.174 178.678,-334.853"/>
</g>
<!-- N10&#45;&gt;N5 -->
<g id="edge9" class="edge"><title>N10&#45;&gt;N5</title>
<path fill="none" stroke="black" d="M199.985,-288.055C206.694,-279.668 214.928,-269.376 222.351,-260.096"/>
<polygon fill="black" stroke="black" points="225.094,-262.27 228.608,-252.275 219.628,-257.898 225.094,-262.27"/>
</g>
<!-- N11 -->
<g id="node12" class="node"><title>N11</title>
<ellipse fill="none" stroke="black" cx="316.428" cy="-450" rx="66.8882" ry="18"/>
<text text-anchor="middle" x="316.428" y="-446.3" font-family="Times New Roman,serif" font-size="14.00">(dummy_node)</text>
</g>
<!-- N13 -->
<g id="node14" class="node"><title>N13</title>
<ellipse fill="none" stroke="black" cx="314.428" cy="-378" rx="64.189" ry="18"/>
<text text-anchor="middle" x="314.428" y="-374.3" font-family="Times New Roman,serif" font-size="14.00">expr () (id=25)</text>
</g>
<!-- N11&#45;&gt;N13 -->
<g id="edge12" class="edge"><title>N11&#45;&gt;N13</title>
<path fill="none" stroke="black" d="M315.934,-431.697C315.714,-423.983 315.449,-414.712 315.203,-406.112"/>
<polygon fill="black" stroke="black" points="318.701,-406 314.917,-396.104 311.704,-406.2 318.701,-406"/>
</g>
<!-- N12&#45;&gt;N11 -->
<g id="edge11" class="edge"><title>N12&#45;&gt;N11</title>
<path fill="none" stroke="black" d="M317.181,-503.697C317.071,-495.983 316.939,-486.712 316.816,-478.112"/>
<polygon fill="black" stroke="black" points="320.315,-478.053 316.673,-468.104 313.316,-478.153 320.315,-478.053"/>
</g>
<!-- N13&#45;&gt;N5 -->
<g id="edge13" class="edge"><title>N13&#45;&gt;N5</title>
<path fill="none" stroke="black" d="M305.886,-360.153C293.504,-335.732 270.45,-290.265 255.802,-261.375"/>
<polygon fill="black" stroke="black" points="258.828,-259.604 251.184,-252.268 252.585,-262.77 258.828,-259.604"/>
</g>
<!-- N15 -->
<g id="node16" class="node"><title>N15</title>
<ellipse fill="none" stroke="black" cx="242.428" cy="-90" rx="237.758" ry="18"/>
<text text-anchor="middle" x="242.428" y="-86.3" font-family="Times New Roman,serif" font-size="14.00">expr { match Some(1) { Some(_x) =&gt; { } _ =&gt; (), } } (id=26)</text>
</g>
<!-- N14&#45;&gt;N15 -->
<g id="edge15" class="edge"><title>N14&#45;&gt;N15</title>
<path fill="none" stroke="black" d="M242.428,-143.697C242.428,-135.983 242.428,-126.712 242.428,-118.112"/>
<polygon fill="black" stroke="black" points="245.929,-118.104 242.428,-108.104 238.929,-118.104 245.929,-118.104"/>
</g>
<!-- N15&#45;&gt;N1 -->
<g id="edge16" class="edge"><title>N15&#45;&gt;N1</title>
<path fill="none" stroke="black" d="M242.428,-71.6966C242.428,-63.9827 242.428,-54.7125 242.428,-46.1124"/>
<polygon fill="black" stroke="black" points="245.929,-46.1043 242.428,-36.1043 238.929,-46.1044 245.929,-46.1043"/>
</g>
</g>
</svg>