docs/svg/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="609pt" height="1226pt"
     viewBox="0.00 0.00 609.00 1226.00" xmlns="http://www.w3.org/2000/svg">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1222)">
<title>jcGraph</title>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="none" stroke="black" points="231,-1218 59,-1218 59,-1182 231,-1182 231,-1218"/>
<text text-anchor="middle" x="145" y="-1196.9" font-family="Times New Roman,serif" font-size="12.00">%0 = new java.io.BufferedReader</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="none" stroke="black" points="219.5,-1145 70.5,-1145 70.5,-1109 219.5,-1109 219.5,-1145"/>
<text text-anchor="middle" x="145" y="-1123.9" font-family="Times New Roman,serif" font-size="12.00">%1 = new java.io.FileReader</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M145,-1181.81C145,-1174.23 145,-1165.1 145,-1156.54"/>
<polygon fill="black" stroke="black" points="148.5,-1156.54 145,-1146.54 141.5,-1156.54 148.5,-1156.54"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="none" stroke="black" points="192.5,-1072 97.5,-1072 97.5,-1036 192.5,-1036 192.5,-1072"/>
<text text-anchor="middle" x="145" y="-1050.9" font-family="Times New Roman,serif" font-size="12.00">%1.&lt;init&gt;(arg$0)</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M145,-1108.81C145,-1101.23 145,-1092.1 145,-1083.54"/>
<polygon fill="black" stroke="black" points="148.5,-1083.54 145,-1073.54 141.5,-1083.54 148.5,-1083.54"/>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="none" stroke="black" points="187.5,-999 102.5,-999 102.5,-963 187.5,-963 187.5,-999"/>
<text text-anchor="middle" x="145" y="-977.9" font-family="Times New Roman,serif" font-size="12.00">%0.&lt;init&gt;(%1)</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge3" class="edge">
<title>2&#45;&gt;3</title>
<path fill="none" stroke="black" d="M145,-1035.81C145,-1028.23 145,-1019.1 145,-1010.54"/>
<polygon fill="black" stroke="black" points="148.5,-1010.54 145,-1000.54 141.5,-1010.54 148.5,-1010.54"/>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="none" stroke="black" points="208,-926 82,-926 82,-890 208,-890 208,-926"/>
<text text-anchor="middle" x="145" y="-904.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=5)</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge4" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="black" d="M145,-962.81C145,-955.23 145,-946.1 145,-937.54"/>
<polygon fill="black" stroke="black" points="148.5,-937.54 145,-927.54 141.5,-937.54 148.5,-937.54"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<polygon fill="none" stroke="black" points="200.5,-853 89.5,-853 89.5,-817 200.5,-817 200.5,-853"/>
<text text-anchor="middle" x="145" y="-831.9" font-family="Times New Roman,serif" font-size="12.00">%4 = %0.readLine()</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge5" class="edge">
<title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M145,-889.81C145,-882.23 145,-873.1 145,-864.54"/>
<polygon fill="black" stroke="black" points="148.5,-864.54 145,-854.54 141.5,-864.54 148.5,-864.54"/>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<polygon fill="none" stroke="black" points="151.5,-780 68.5,-780 68.5,-744 151.5,-744 151.5,-780"/>
<text text-anchor="middle" x="110" y="-758.9" font-family="Times New Roman,serif" font-size="12.00">if (%4 == null)</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge6" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M136.53,-816.81C132.57,-808.79 127.77,-799.05 123.34,-790.07"/>
<polygon fill="black" stroke="black" points="126.62,-788.81 119.06,-781.39 120.35,-791.9 126.62,-788.81"/>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<polygon fill="none" stroke="black" points="243,-693 117,-693 117,-657 243,-657 243,-693"/>
<text text-anchor="middle" x="180" y="-671.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=5)</text>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge8" class="edge">
<title>6&#45;&gt;7</title>
<path fill="none" stroke="black" d="M118.52,-743.92C123.96,-733.83 131.56,-721.1 140,-711 142.85,-707.59 146.04,-704.23 149.34,-701.01"/>
<polygon fill="black" stroke="black" points="151.54,-703.75 156.54,-694.41 146.81,-698.59 151.54,-703.75"/>
<text text-anchor="middle" x="153" y="-714.8" font-family="Times New Roman,serif" font-size="14.00">false</text>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<polygon fill="none" stroke="black" points="99,-693 33,-693 33,-657 99,-657 99,-693"/>
<text text-anchor="middle" x="66" y="-671.9" font-family="Times New Roman,serif" font-size="12.00">%0.close()</text>
</g>
<!-- 6&#45;&gt;8 -->
<g id="edge7" class="edge">
<title>6&#45;&gt;8</title>
<path fill="none" stroke="black" d="M98.52,-743.85C94.97,-738.26 91.16,-731.96 88,-726 84.28,-718.99 80.64,-711.22 77.43,-703.94"/>
<polygon fill="black" stroke="black" points="80.67,-702.63 73.52,-694.81 74.24,-705.38 80.67,-702.63"/>
<text text-anchor="middle" x="99" y="-714.8" font-family="Times New Roman,serif" font-size="14.00">true</text>
</g>
<!-- 7&#45;&gt;5 -->
<g id="edge9" class="edge">
<title>7&#45;&gt;5</title>
<path fill="none" stroke="black" d="M177.1,-693.39C173.54,-714.11 167.1,-749.75 160,-780 158.04,-788.37 155.64,-797.4 153.35,-805.63"/>
<polygon fill="black" stroke="black" points="150.01,-804.55 150.64,-815.13 156.75,-806.47 150.01,-804.55"/>
</g>
<!-- 9 -->
<g id="node10" class="node">
<title>9</title>
<polygon fill="none" stroke="black" points="132,-620 0,-620 0,-584 132,-584 132,-620"/>
<text text-anchor="middle" x="66" y="-598.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=17)</text>
</g>
<!-- 8&#45;&gt;9 -->
<g id="edge10" class="edge">
<title>8&#45;&gt;9</title>
<path fill="none" stroke="black" d="M66,-656.81C66,-649.23 66,-640.1 66,-631.54"/>
<polygon fill="black" stroke="black" points="69.5,-631.54 66,-621.54 62.5,-631.54 69.5,-631.54"/>
</g>
<!-- 17 -->
<g id="node18" class="node">
<title>17</title>
<polygon fill="none" stroke="black" points="144,-547 12,-547 12,-511 144,-511 144,-547"/>
<text text-anchor="middle" x="78" y="-525.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=20)</text>
</g>
<!-- 9&#45;&gt;17 -->
<g id="edge11" class="edge">
<title>9&#45;&gt;17</title>
<path fill="none" stroke="black" d="M68.9,-583.81C70.2,-576.14 71.76,-566.89 73.23,-558.24"/>
<polygon fill="black" stroke="black" points="76.65,-558.96 74.87,-548.52 69.75,-557.8 76.65,-558.96"/>
</g>
<!-- 10 -->
<g id="node11" class="node">
<title>10</title>
<polygon fill="none" stroke="black" points="413,-1218 249,-1218 249,-1182 413,-1182 413,-1218"/>
<text text-anchor="middle" x="331" y="-1196.9" font-family="Times New Roman,serif" font-size="12.00">catch (%9: java.lang.Throwable)</text>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<polygon fill="none" stroke="black" points="365,-1145 299,-1145 299,-1109 365,-1109 365,-1145"/>
<text text-anchor="middle" x="332" y="-1123.9" font-family="Times New Roman,serif" font-size="12.00">%0.close()</text>
</g>
<!-- 10&#45;&gt;11 -->
<g id="edge12" class="edge">
<title>10&#45;&gt;11</title>
<path fill="none" stroke="black" d="M331.24,-1181.81C331.35,-1174.23 331.48,-1165.1 331.6,-1156.54"/>
<polygon fill="black" stroke="black" points="335.1,-1156.59 331.74,-1146.54 328.1,-1156.49 335.1,-1156.59"/>
</g>
<!-- 12 -->
<g id="node13" class="node">
<title>12</title>
<polygon fill="none" stroke="black" points="417,-1072 285,-1072 285,-1036 417,-1036 417,-1072"/>
<text text-anchor="middle" x="351" y="-1050.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=16)</text>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge13" class="edge">
<title>11&#45;&gt;12</title>
<path fill="none" stroke="black" d="M336.6,-1108.81C338.68,-1101.05 341.18,-1091.68 343.52,-1082.95"/>
<polygon fill="black" stroke="black" points="346.85,-1084.06 346.05,-1073.49 340.09,-1082.25 346.85,-1084.06"/>
</g>
<!-- 16 -->
<g id="node17" class="node">
<title>16</title>
<polygon fill="none" stroke="black" points="459,-999 397,-999 397,-963 459,-963 459,-999"/>
<text text-anchor="middle" x="428" y="-977.9" font-family="Times New Roman,serif" font-size="12.00">throw %9</text>
</g>
<!-- 12&#45;&gt;16 -->
<g id="edge14" class="edge">
<title>12&#45;&gt;16</title>
<path fill="none" stroke="black" d="M369.64,-1035.81C379.03,-1027.16 390.59,-1016.5 400.93,-1006.96"/>
<polygon fill="black" stroke="black" points="403.17,-1009.65 408.15,-1000.3 398.43,-1004.51 403.17,-1009.65"/>
</g>
<!-- 13 -->
<g id="node14" class="node">
<title>13</title>
<polygon fill="none" stroke="black" points="601,-1218 431,-1218 431,-1182 601,-1182 601,-1218"/>
<text text-anchor="middle" x="516" y="-1196.9" font-family="Times New Roman,serif" font-size="12.00">catch (%12: java.lang.Throwable)</text>
</g>
<!-- 14 -->
<g id="node15" class="node">
<title>14</title>
<polygon fill="none" stroke="black" points="582.5,-1145 447.5,-1145 447.5,-1109 582.5,-1109 582.5,-1145"/>
<text text-anchor="middle" x="515" y="-1123.9" font-family="Times New Roman,serif" font-size="12.00">%9.addSuppressed(%12)</text>
</g>
<!-- 13&#45;&gt;14 -->
<g id="edge15" class="edge">
<title>13&#45;&gt;14</title>
<path fill="none" stroke="black" d="M515.76,-1181.81C515.65,-1174.23 515.52,-1165.1 515.4,-1156.54"/>
<polygon fill="black" stroke="black" points="518.9,-1156.49 515.26,-1146.54 511.9,-1156.59 518.9,-1156.49"/>
</g>
<!-- 15 -->
<g id="node16" class="node">
<title>15</title>
<polygon fill="none" stroke="black" points="571,-1072 439,-1072 439,-1036 571,-1036 571,-1072"/>
<text text-anchor="middle" x="505" y="-1050.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=16)</text>
</g>
<!-- 14&#45;&gt;15 -->
<g id="edge16" class="edge">
<title>14&#45;&gt;15</title>
<path fill="none" stroke="black" d="M512.58,-1108.81C511.5,-1101.14 510.2,-1091.89 508.98,-1083.24"/>
<polygon fill="black" stroke="black" points="512.47,-1082.94 507.61,-1073.53 505.54,-1083.92 512.47,-1082.94"/>
</g>
<!-- 15&#45;&gt;16 -->
<g id="edge17" class="edge">
<title>15&#45;&gt;16</title>
<path fill="none" stroke="black" d="M486.36,-1035.81C476.97,-1027.16 465.41,-1016.5 455.07,-1006.96"/>
<polygon fill="black" stroke="black" points="457.57,-1004.51 447.85,-1000.3 452.83,-1009.65 457.57,-1004.51"/>
</g>
<!-- 20 -->
<g id="node21" class="node">
<title>20</title>
<polygon fill="none" stroke="black" points="239,-474 65,-474 65,-438 239,-438 239,-474"/>
<text text-anchor="middle" x="152" y="-452.9" font-family="Times New Roman,serif" font-size="12.00">%17 = new java.io.BufferedWriter</text>
</g>
<!-- 17&#45;&gt;20 -->
<g id="edge18" class="edge">
<title>17&#45;&gt;20</title>
<path fill="none" stroke="black" d="M95.91,-510.81C104.85,-502.24 115.82,-491.71 125.69,-482.24"/>
<polygon fill="black" stroke="black" points="128.11,-484.77 132.9,-475.32 123.26,-479.72 128.11,-484.77"/>
</g>
<!-- 18 -->
<g id="node19" class="node">
<title>18</title>
<polygon fill="none" stroke="black" points="319.5,-620 150.5,-620 150.5,-584 319.5,-584 319.5,-620"/>
<text text-anchor="middle" x="235" y="-598.9" font-family="Times New Roman,serif" font-size="12.00">catch (%15: java.io.IOException)</text>
</g>
<!-- 19 -->
<g id="node20" class="node">
<title>19</title>
<polygon fill="none" stroke="black" points="299,-547 167,-547 167,-511 299,-511 299,-547"/>
<text text-anchor="middle" x="233" y="-525.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=20)</text>
</g>
<!-- 18&#45;&gt;19 -->
<g id="edge19" class="edge">
<title>18&#45;&gt;19</title>
<path fill="none" stroke="black" d="M234.52,-583.81C234.3,-576.14 234.04,-566.89 233.8,-558.24"/>
<polygon fill="black" stroke="black" points="237.3,-558.44 233.52,-548.54 230.31,-558.64 237.3,-558.44"/>
</g>
<!-- 19&#45;&gt;20 -->
<g id="edge20" class="edge">
<title>19&#45;&gt;20</title>
<path fill="none" stroke="black" d="M213.39,-510.81C203.42,-502.07 191.11,-491.28 180.15,-481.67"/>
<polygon fill="black" stroke="black" points="182.67,-479.23 172.85,-475.27 178.06,-484.5 182.67,-479.23"/>
</g>
<!-- 21 -->
<g id="node22" class="node">
<title>21</title>
<polygon fill="none" stroke="black" points="228,-401 76,-401 76,-365 228,-365 228,-401"/>
<text text-anchor="middle" x="152" y="-379.9" font-family="Times New Roman,serif" font-size="12.00">%18 = new java.io.FileWriter</text>
</g>
<!-- 20&#45;&gt;21 -->
<g id="edge21" class="edge">
<title>20&#45;&gt;21</title>
<path fill="none" stroke="black" d="M152,-437.81C152,-430.23 152,-421.1 152,-412.54"/>
<polygon fill="black" stroke="black" points="155.5,-412.54 152,-402.54 148.5,-412.54 155.5,-412.54"/>
</g>
<!-- 22 -->
<g id="node23" class="node">
<title>22</title>
<polygon fill="none" stroke="black" points="202.5,-328 101.5,-328 101.5,-292 202.5,-292 202.5,-328"/>
<text text-anchor="middle" x="152" y="-306.9" font-family="Times New Roman,serif" font-size="12.00">%18.&lt;init&gt;(arg$1)</text>
</g>
<!-- 21&#45;&gt;22 -->
<g id="edge22" class="edge">
<title>21&#45;&gt;22</title>
<path fill="none" stroke="black" d="M152,-364.81C152,-357.23 152,-348.1 152,-339.54"/>
<polygon fill="black" stroke="black" points="155.5,-339.54 152,-329.54 148.5,-339.54 155.5,-339.54"/>
</g>
<!-- 23 -->
<g id="node24" class="node">
<title>23</title>
<polygon fill="none" stroke="black" points="200.5,-255 103.5,-255 103.5,-219 200.5,-219 200.5,-255"/>
<text text-anchor="middle" x="152" y="-233.9" font-family="Times New Roman,serif" font-size="12.00">%17.&lt;init&gt;(%18)</text>
</g>
<!-- 22&#45;&gt;23 -->
<g id="edge23" class="edge">
<title>22&#45;&gt;23</title>
<path fill="none" stroke="black" d="M152,-291.81C152,-284.23 152,-275.1 152,-266.54"/>
<polygon fill="black" stroke="black" points="155.5,-266.54 152,-256.54 148.5,-266.54 155.5,-266.54"/>
</g>
<!-- 24 -->
<g id="node25" class="node">
<title>24</title>
<polygon fill="none" stroke="black" points="188,-182 116,-182 116,-146 188,-146 188,-182"/>
<text text-anchor="middle" x="152" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">%17.close()</text>
</g>
<!-- 23&#45;&gt;24 -->
<g id="edge24" class="edge">
<title>23&#45;&gt;24</title>
<path fill="none" stroke="black" d="M152,-218.81C152,-211.23 152,-202.1 152,-193.54"/>
<polygon fill="black" stroke="black" points="155.5,-193.54 152,-183.54 148.5,-193.54 155.5,-193.54"/>
</g>
<!-- 25 -->
<g id="node26" class="node">
<title>25</title>
<polygon fill="none" stroke="black" points="218,-109 86,-109 86,-73 218,-73 218,-109"/>
<text text-anchor="middle" x="152" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=28)</text>
</g>
<!-- 24&#45;&gt;25 -->
<g id="edge25" class="edge">
<title>24&#45;&gt;25</title>
<path fill="none" stroke="black" d="M152,-145.81C152,-138.23 152,-129.1 152,-120.54"/>
<polygon fill="black" stroke="black" points="155.5,-120.54 152,-110.54 148.5,-120.54 155.5,-120.54"/>
</g>
<!-- 28 -->
<g id="node29" class="node">
<title>28</title>
<polygon fill="none" stroke="black" points="253,-36 199,-36 199,0 253,0 253,-36"/>
<text text-anchor="middle" x="226" y="-14.9" font-family="Times New Roman,serif" font-size="12.00">return</text>
</g>
<!-- 25&#45;&gt;28 -->
<g id="edge26" class="edge">
<title>25&#45;&gt;28</title>
<path fill="none" stroke="black" d="M169.91,-72.81C178.85,-64.24 189.82,-53.71 199.69,-44.24"/>
<polygon fill="black" stroke="black" points="202.11,-46.77 206.9,-37.32 197.26,-41.72 202.11,-46.77"/>
</g>
<!-- 26 -->
<g id="node27" class="node">
<title>26</title>
<polygon fill="none" stroke="black" points="386.5,-182 217.5,-182 217.5,-146 386.5,-146 386.5,-182"/>
<text text-anchor="middle" x="302" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">catch (%21: java.io.IOException)</text>
</g>
<!-- 27 -->
<g id="node28" class="node">
<title>27</title>
<polygon fill="none" stroke="black" points="368,-109 236,-109 236,-73 368,-73 368,-109"/>
<text text-anchor="middle" x="302" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=28)</text>
</g>
<!-- 26&#45;&gt;27 -->
<g id="edge27" class="edge">
<title>26&#45;&gt;27</title>
<path fill="none" stroke="black" d="M302,-145.81C302,-138.23 302,-129.1 302,-120.54"/>
<polygon fill="black" stroke="black" points="305.5,-120.54 302,-110.54 298.5,-120.54 305.5,-120.54"/>
</g>
<!-- 27&#45;&gt;28 -->
<g id="edge28" class="edge">
<title>27&#45;&gt;28</title>
<path fill="none" stroke="black" d="M283.6,-72.81C274.34,-64.16 262.93,-53.5 252.72,-43.96"/>
<polygon fill="black" stroke="black" points="255.29,-41.58 245.6,-37.31 250.52,-46.69 255.29,-41.58"/>
</g>
</g>
</svg>