Fix #1855 - incorporate new reference cycle diagram

This commit is contained in:
Carol (Nichols || Goulding) 2020-12-09 21:30:50 -05:00
parent d28183f901
commit cdb13945ac
No known key found for this signature in database
GPG Key ID: D04B39A6CA243902
2 changed files with 88 additions and 43 deletions

16
dot/trpl15-04.dot Normal file
View File

@ -0,0 +1,16 @@
digraph {
node[shape=record];
rankdir=LR;
l1[label="{<data> 5| <next>}"];
l2[label="{<data> 10| <next>}"];
{node[shape=point height=0] invisible_start invisible_end}
a -> l1:n;
b -> l2:n;
invisible_start:n -> l1[arrowtail=none];
invisible_start:s -> invisible_end:s[dir=none];
l1:next:c -> l2:data;
l2:next:c -> invisible_end:n[arrowhead=none];
}

View File

@ -1,55 +1,84 @@
<?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.36.0 (20140111.2315)
<!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.44.1 (20200629.0846)
-->
<!-- Title: %3 Pages: 1 -->
<svg width="633pt" height="498pt" viewBox="0.00 0.00 633.33 498.19" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 115.566)">
<title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-115.566 148,-115.566 148,4 -4,4"/>
<!-- table0 -->
<g id="node2" class="node"><title>table0</title>
<polygon fill="none" stroke="black" points="0,-75.5656 0,-111.566 54,-111.566 54,-75.5656 0,-75.5656"/>
<text text-anchor="middle" x="27" y="-89.8656" font-family="Times,serif" font-size="14.00">a</text>
<!-- Pages: 1 -->
<svg width="750pt"
viewBox="0.00 0.00 1000 550" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(3.5 3.5) rotate(0) translate(4 148.09)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-148.09 274,-148.09 274,4 -4,4"/>
<!-- l1 -->
<g id="node1" class="node">
<title>l1</title>
<polygon fill="none" stroke="black" points="90,-52.59 90,-88.59 144,-88.59 144,-52.59 90,-52.59"/>
<text text-anchor="middle" x="104" y="-66.89" font-family="Times,serif" font-size="14.00">5</text>
<polyline fill="none" stroke="black" points="118,-52.59 118,-88.59 "/>
<text text-anchor="middle" x="131" y="-66.89" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- table1 -->
<g id="node4" class="node"><title>table1</title>
<polygon fill="none" stroke="black" points="90,-75.5656 90,-111.566 144,-111.566 144,-75.5656 90,-75.5656"/>
<text text-anchor="middle" x="104" y="-89.8656" font-family="Times,serif" font-size="14.00">5</text>
<polyline fill="none" stroke="black" points="118,-75.5656 118,-111.566 "/>
<text text-anchor="middle" x="131" y="-89.8656" font-family="Times,serif" font-size="14.00"> </text>
<!-- l2 -->
<g id="node2" class="node">
<title>l2</title>
<polygon fill="none" stroke="black" points="180,-52.59 180,-88.59 234,-88.59 234,-52.59 180,-52.59"/>
<text text-anchor="middle" x="196" y="-66.89" font-family="Times,serif" font-size="14.00">10</text>
<polyline fill="none" stroke="black" points="212,-52.59 212,-88.59 "/>
<text text-anchor="middle" x="223" y="-66.89" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- table2 -->
<g id="node3" class="node"><title>table2</title>
<polygon fill="none" stroke="black" points="90,-20.5656 90,-56.5656 144,-56.5656 144,-20.5656 90,-20.5656"/>
<text text-anchor="middle" x="117" y="-34.8656" font-family="Times,serif" font-size="14.00">b</text>
<!-- l1&#45;&gt;l2 -->
<g id="edge5" class="edge">
<title>l1:c&#45;&gt;l2:data</title>
<path fill="none" stroke="black" d="M144.31,-70.59C151.47,-70.59 160.69,-70.59 169.83,-70.59"/>
<polygon fill="black" stroke="black" points="170,-74.09 180,-70.59 170,-67.09 170,-74.09"/>
</g>
<!-- table3 -->
<g id="node1" class="node"><title>table3</title>
<polygon fill="none" stroke="black" points="0,-20.5656 0,-56.5656 54,-56.5656 54,-20.5656 0,-20.5656"/>
<text text-anchor="middle" x="16" y="-34.8656" font-family="Times,serif" font-size="14.00">10</text>
<polyline fill="none" stroke="black" points="32,-20.5656 32,-56.5656 "/>
<text text-anchor="middle" x="43" y="-34.8656" font-family="Times,serif" font-size="14.00"> </text>
<!-- invisible_end -->
<g id="node4" class="node">
<title>invisible_end</title>
<ellipse fill="black" stroke="black" cx="270" cy="-46.59" rx="0" ry="0"/>
</g>
<!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge"><title>table0:ref-&gt;table1:data</title>
<path fill="none" stroke="black" d="M54,-93.5656C66,-93.5656 71.25,-93.5656 78.875,-93.5656"/>
<polygon fill="black" stroke="black" points="79,-97.0657 89,-93.5656 79,-90.0657 79,-97.0657"/>
<!-- l2&#45;&gt;invisible_end -->
<g id="edge6" class="edge">
<title>l2:c&#45;&gt;invisible_end:n</title>
<path fill="none" stroke="black" d="M234.38,-69.89C248.29,-68.34 270,-63.4 270,-47.59"/>
</g>
<!-- table1&#45;&gt;table2 -->
<g id="edge2" class="edge"><title>table1:ref-&gt;table2:data</title>
<path fill="none" stroke="black" d="M123.1403,-65.1315C127.6523,-67.3402 133,-68.812 133,-75"/>
<polygon fill="black" stroke="black" points="120.233,-67.0895 117,-57 125.8193,-62.8712 120.233,-67.0895"/>
<!-- invisible_start -->
<g id="node3" class="node">
<title>invisible_start</title>
<ellipse fill="black" stroke="black" cx="27" cy="-37.59" rx="0" ry="0"/>
</g>
<!-- table2&#45;&gt;table3 -->
<g id="edge3" class="edge"><title>table2:ref-&gt;table3:data</title>
<path fill="none" stroke="black" d="M117,-20.5656C117,2.6957 43.7375,5.56532 21.2401,-10.9567"/>
<polygon fill="black" stroke="black" points="18.2098,-9.20375 16,-19.5656 24.1892,-12.8434 18.2098,-9.20375"/>
<!-- invisible_start&#45;&gt;l1 -->
<g id="edge3" class="edge">
<title>invisible_start:n&#45;&gt;l1</title>
<path fill="none" stroke="black" d="M27,-38.59C27,-50.42 55.22,-59.08 79.87,-64.38"/>
<polygon fill="black" stroke="black" points="79.28,-67.83 89.78,-66.38 80.67,-60.97 79.28,-67.83"/>
</g>
<!-- table3&#45;&gt;table0 -->
<g id="edge4" class="edge"><title>table3:ref-&gt;table0:data</title>
<path fill="none" stroke="black" d="M33.1409,-66.8685C37.6523,-64.6598 43,-63.188 43,-57"/>
<polygon fill="black" stroke="black" points="30.233,-64.9105 27,-75 35.8193,-69.1288 30.233,-64.9105"/>
<!-- invisible_start&#45;&gt;invisible_end -->
<g id="edge4" class="edge">
<title>invisible_start:s&#45;&gt;invisible_end:s</title>
<path fill="none" stroke="black" d="M27,-36.59C27,17.45 270,8.45 270,-45.59"/>
</g>
<!-- a -->
<g id="node5" class="node">
<title>a</title>
<polygon fill="none" stroke="black" points="0,-70.59 0,-106.59 54,-106.59 54,-70.59 0,-70.59"/>
<text text-anchor="middle" x="27" y="-84.89" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- a&#45;&gt;l1 -->
<g id="edge1" class="edge">
<title>a&#45;&gt;l1:n</title>
<path fill="none" stroke="black" d="M54.22,-93.79C73.3,-97.06 97.79,-100.05 109.76,-96.58"/>
<polygon fill="black" stroke="black" points="112.24,-99.06 117,-89.59 107.38,-94.02 112.24,-99.06"/>
</g>
<!-- b -->
<g id="node6" class="node">
<title>b</title>
<polygon fill="none" stroke="black" points="90,-107.59 90,-143.59 144,-143.59 144,-107.59 90,-107.59"/>
<text text-anchor="middle" x="117" y="-121.89" font-family="Times,serif" font-size="14.00">b</text>
</g>
<!-- b&#45;&gt;l2 -->
<g id="edge2" class="edge">
<title>b&#45;&gt;l2:n</title>
<path fill="none" stroke="black" d="M144.22,-125.57C166.99,-124.22 197.48,-118.71 205.18,-99.44"/>
<polygon fill="black" stroke="black" points="208.62,-100.06 207,-89.59 201.74,-98.79 208.62,-100.06"/>
</g>
</g>
</svg>

Before

Width:  |  Height:  |  Size: 3.2 KiB

After

Width:  |  Height:  |  Size: 3.7 KiB