docs/svg/block-graph-IRExamples-sortSequence-4.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 7.0.4 (20221203.1631)
 -->
<!-- Title: jcGraph Pages: 1 -->
<svg width="637pt" height="714pt"
     viewBox="0.00 0.00 637.00 714.00" xmlns="http://www.w3.org/2000/svg">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 710)">
<title>jcGraph</title>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="none" stroke="black" points="275,-706 103,-706 103,-633 275,-633 275,-706"/>
<text text-anchor="start" x="111" y="-692.4" font-family="Times New Roman,serif" font-size="12.00">%0 = new java.io.BufferedReader</text>
<text text-anchor="start" x="111" y="-679.4" font-family="Times New Roman,serif" font-size="12.00">%1 = new java.io.FileReader</text>
<text text-anchor="start" x="111" y="-666.4" font-family="Times New Roman,serif" font-size="12.00">%1.&lt;init&gt;(arg$0)</text>
<text text-anchor="start" x="111" y="-653.4" font-family="Times New Roman,serif" font-size="12.00">%0.&lt;init&gt;(%1)</text>
<text text-anchor="start" x="111" y="-640.4" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=5)</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="none" stroke="black" points="244.5,-596 133.5,-596 133.5,-560 244.5,-560 244.5,-596"/>
<text text-anchor="start" x="141.5" y="-574.9" font-family="Times New Roman,serif" font-size="12.00">%4 = %0.readLine()</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M189,-632.61C189,-624.35 189,-615.66 189,-607.74"/>
<polygon fill="black" stroke="black" points="192.5,-607.98 189,-597.98 185.5,-607.98 192.5,-607.98"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="none" stroke="black" points="184.5,-517.5 101.5,-517.5 101.5,-481.5 184.5,-481.5 184.5,-517.5"/>
<text text-anchor="start" x="109.5" y="-496.4" font-family="Times New Roman,serif" font-size="12.00">if (%4 == null)</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M178.56,-559.64C172.86,-550.15 165.66,-538.19 159.24,-527.51"/>
<polygon fill="black" stroke="black" points="162.33,-525.85 154.18,-519.09 156.33,-529.46 162.33,-525.85"/>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="none" stroke="black" points="276,-425 150,-425 150,-389 276,-389 276,-425"/>
<text text-anchor="start" x="158" y="-403.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=5)</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;3</title>
<path fill="none" stroke="black" d="M150.47,-481.02C155.82,-469.58 163.71,-454.64 173,-443 175.77,-439.53 178.91,-436.13 182.19,-432.89"/>
<polygon fill="black" stroke="black" points="184.39,-435.62 189.36,-426.26 179.64,-430.48 184.39,-435.62"/>
<text text-anchor="middle" x="186" y="-446.8" font-family="Times New Roman,serif" font-size="14.00">false</text>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="none" stroke="black" points="132,-425 0,-425 0,-389 132,-389 132,-425"/>
<text text-anchor="start" x="8" y="-410.4" font-family="Times New Roman,serif" font-size="12.00">%0.close()</text>
<text text-anchor="start" x="8" y="-397.4" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=17)</text>
</g>
<!-- 2&#45;&gt;4 -->
<g id="edge3" class="edge">
<title>2&#45;&gt;4</title>
<path fill="none" stroke="black" d="M128.15,-481.05C116.76,-467.65 100.84,-448.95 87.97,-433.82"/>
<polygon fill="black" stroke="black" points="90.93,-431.9 81.78,-426.55 85.6,-436.43 90.93,-431.9"/>
<text text-anchor="middle" x="118" y="-446.8" font-family="Times New Roman,serif" font-size="14.00">true</text>
</g>
<!-- 3&#45;&gt;1 -->
<g id="edge5" class="edge">
<title>3&#45;&gt;1</title>
<path fill="none" stroke="black" d="M210.57,-425.1C206.45,-454.11 198.05,-513.24 193.04,-548.56"/>
<polygon fill="black" stroke="black" points="189.63,-547.66 191.69,-558.05 196.56,-548.64 189.63,-547.66"/>
</g>
<!-- 10 -->
<g id="node11" class="node">
<title>10</title>
<polygon fill="none" stroke="black" points="132,-352 0,-352 0,-316 132,-316 132,-352"/>
<text text-anchor="start" x="8" y="-330.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=20)</text>
</g>
<!-- 4&#45;&gt;10 -->
<g id="edge6" class="edge">
<title>4&#45;&gt;10</title>
<path fill="none" stroke="black" d="M66,-388.81C66,-381.23 66,-372.1 66,-363.54"/>
<polygon fill="black" stroke="black" points="69.5,-363.54 66,-353.54 62.5,-363.54 69.5,-363.54"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<polygon fill="none" stroke="black" points="457,-687.5 293,-687.5 293,-651.5 457,-651.5 457,-687.5"/>
<text text-anchor="start" x="301" y="-666.4" font-family="Times New Roman,serif" font-size="12.00">catch (%9: java.lang.Throwable)</text>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<polygon fill="none" stroke="black" points="408,-596 342,-596 342,-560 408,-560 408,-596"/>
<text text-anchor="start" x="350" y="-574.9" font-family="Times New Roman,serif" font-size="12.00">%0.close()</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge7" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M375,-651.24C375,-638.86 375,-621.9 375,-607.52"/>
<polygon fill="black" stroke="black" points="378.5,-607.72 375,-597.72 371.5,-607.72 378.5,-607.72"/>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<polygon fill="none" stroke="black" points="441,-517.5 309,-517.5 309,-481.5 441,-481.5 441,-517.5"/>
<text text-anchor="start" x="317" y="-496.4" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=16)</text>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge8" class="edge">
<title>6&#45;&gt;7</title>
<path fill="none" stroke="black" d="M375,-559.64C375,-550.64 375,-539.42 375,-529.17"/>
<polygon fill="black" stroke="black" points="378.5,-529.3 375,-519.3 371.5,-529.3 378.5,-529.3"/>
</g>
<!-- 9 -->
<g id="node10" class="node">
<title>9</title>
<polygon fill="none" stroke="black" points="527,-425 465,-425 465,-389 527,-389 527,-425"/>
<text text-anchor="start" x="473" y="-403.9" font-family="Times New Roman,serif" font-size="12.00">throw %9</text>
</g>
<!-- 7&#45;&gt;9 -->
<g id="edge9" class="edge">
<title>7&#45;&gt;9</title>
<path fill="none" stroke="black" d="M398.33,-481.05C416.91,-467.15 443.13,-447.54 463.72,-432.14"/>
<polygon fill="black" stroke="black" points="465.62,-435.09 471.53,-426.3 461.43,-429.49 465.62,-435.09"/>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<polygon fill="none" stroke="black" points="629,-523 459,-523 459,-476 629,-476 629,-523"/>
<text text-anchor="start" x="467" y="-509.4" font-family="Times New Roman,serif" font-size="12.00">catch (%12: java.lang.Throwable)</text>
<text text-anchor="start" x="467" y="-496.4" font-family="Times New Roman,serif" font-size="12.00">%9.addSuppressed(%12)</text>
<text text-anchor="start" x="467" y="-483.4" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=16)</text>
</g>
<!-- 8&#45;&gt;9 -->
<g id="edge10" class="edge">
<title>8&#45;&gt;9</title>
<path fill="none" stroke="black" d="M531.89,-475.66C525.42,-463.47 517.42,-448.38 510.61,-435.54"/>
<polygon fill="black" stroke="black" points="513.72,-433.93 505.94,-426.74 507.53,-437.21 513.72,-433.93"/>
</g>
<!-- 12 -->
<g id="node13" class="node">
<title>12</title>
<polygon fill="none" stroke="black" points="237,-279 63,-279 63,-243 237,-243 237,-279"/>
<text text-anchor="start" x="71" y="-257.9" font-family="Times New Roman,serif" font-size="12.00">%17 = new java.io.BufferedWriter</text>
</g>
<!-- 10&#45;&gt;12 -->
<g id="edge11" class="edge">
<title>10&#45;&gt;12</title>
<path fill="none" stroke="black" d="M86.33,-315.81C96.68,-307.07 109.44,-296.28 120.81,-286.67"/>
<polygon fill="black" stroke="black" points="123.03,-289.38 128.41,-280.25 118.51,-284.03 123.03,-289.38"/>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<polygon fill="none" stroke="black" points="319.5,-352 150.5,-352 150.5,-316 319.5,-316 319.5,-352"/>
<text text-anchor="start" x="158.5" y="-337.4" font-family="Times New Roman,serif" font-size="12.00">catch (%15: java.io.IOException)</text>
<text text-anchor="start" x="158.5" y="-324.4" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=20)</text>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge12" class="edge">
<title>11&#45;&gt;12</title>
<path fill="none" stroke="black" d="M214.42,-315.81C203.85,-306.98 190.79,-296.07 179.2,-286.39"/>
<polygon fill="black" stroke="black" points="181.76,-283.97 171.84,-280.25 177.27,-289.34 181.76,-283.97"/>
</g>
<!-- 13 -->
<g id="node14" class="node">
<title>13</title>
<polygon fill="none" stroke="black" points="226,-206 74,-206 74,-146 226,-146 226,-206"/>
<text text-anchor="start" x="82" y="-192.4" font-family="Times New Roman,serif" font-size="12.00">%18 = new java.io.FileWriter</text>
<text text-anchor="start" x="82" y="-179.4" font-family="Times New Roman,serif" font-size="12.00">%18.&lt;init&gt;(arg$1)</text>
<text text-anchor="start" x="82" y="-166.4" font-family="Times New Roman,serif" font-size="12.00">%17.&lt;init&gt;(%18)</text>
<text text-anchor="start" x="82" y="-153.4" font-family="Times New Roman,serif" font-size="12.00">%17.close()</text>
</g>
<!-- 12&#45;&gt;13 -->
<g id="edge13" class="edge">
<title>12&#45;&gt;13</title>
<path fill="none" stroke="black" d="M150,-242.8C150,-235.47 150,-226.58 150,-217.74"/>
<polygon fill="black" stroke="black" points="153.5,-217.79 150,-207.79 146.5,-217.79 153.5,-217.79"/>
</g>
<!-- 14 -->
<g id="node15" class="node">
<title>14</title>
<polygon fill="none" stroke="black" points="216,-109 84,-109 84,-73 216,-73 216,-109"/>
<text text-anchor="start" x="92" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=28)</text>
</g>
<!-- 13&#45;&gt;14 -->
<g id="edge14" class="edge">
<title>13&#45;&gt;14</title>
<path fill="none" stroke="black" d="M150,-145.5C150,-137.46 150,-128.76 150,-120.75"/>
<polygon fill="black" stroke="black" points="153.5,-120.83 150,-110.83 146.5,-120.83 153.5,-120.83"/>
</g>
<!-- 16 -->
<g id="node17" class="node">
<title>16</title>
<polygon fill="none" stroke="black" points="261,-36 207,-36 207,0 261,0 261,-36"/>
<text text-anchor="start" x="215" y="-14.9" font-family="Times New Roman,serif" font-size="12.00">return</text>
</g>
<!-- 14&#45;&gt;16 -->
<g id="edge15" class="edge">
<title>14&#45;&gt;16</title>
<path fill="none" stroke="black" d="M170.33,-72.81C180.68,-64.07 193.44,-53.28 204.81,-43.67"/>
<polygon fill="black" stroke="black" points="207.03,-46.38 212.41,-37.25 202.51,-41.03 207.03,-46.38"/>
</g>
<!-- 15 -->
<g id="node16" class="node">
<title>15</title>
<polygon fill="none" stroke="black" points="403.5,-109 234.5,-109 234.5,-73 403.5,-73 403.5,-109"/>
<text text-anchor="start" x="242.5" y="-94.4" font-family="Times New Roman,serif" font-size="12.00">catch (%21: java.io.IOException)</text>
<text text-anchor="start" x="242.5" y="-81.4" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=28)</text>
</g>
<!-- 15&#45;&gt;16 -->
<g id="edge16" class="edge">
<title>15&#45;&gt;16</title>
<path fill="none" stroke="black" d="M298.42,-72.81C287.85,-63.98 274.79,-53.07 263.2,-43.39"/>
<polygon fill="black" stroke="black" points="265.76,-40.97 255.84,-37.25 261.27,-46.34 265.76,-40.97"/>
</g>
</g>
</svg>