summaryrefslogtreecommitdiffstats
path: root/src/doc/book/dot
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /src/doc/book/dot
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/doc/book/dot')
-rw-r--r--src/doc/book/dot/trpl04-01.dot26
-rw-r--r--src/doc/book/dot/trpl04-02.dot35
-rw-r--r--src/doc/book/dot/trpl04-03.dot44
-rw-r--r--src/doc/book/dot/trpl04-04.dot35
-rw-r--r--src/doc/book/dot/trpl04-05.dot32
-rw-r--r--src/doc/book/dot/trpl04-06.dot41
-rw-r--r--src/doc/book/dot/trpl15-01.dot24
-rw-r--r--src/doc/book/dot/trpl15-02.dot18
-rw-r--r--src/doc/book/dot/trpl15-03.dot51
-rw-r--r--src/doc/book/dot/trpl15-04.dot16
10 files changed, 322 insertions, 0 deletions
diff --git a/src/doc/book/dot/trpl04-01.dot b/src/doc/book/dot/trpl04-01.dot
new file mode 100644
index 000000000..331d59133
--- /dev/null
+++ b/src/doc/book/dot/trpl04-01.dot
@@ -0,0 +1,26 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s1</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ <TR><TD>capacity</TD><TD>5</TD></TR>
+ </TABLE>>];
+ table1[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD>index</TD><TD>value</TD></TR>
+ <TR><TD PORT="pointee">0</TD><TD>h</TD></TR>
+ <TR><TD>1</TD><TD>e</TD></TR>
+ <TR><TD>2</TD><TD>l</TD></TR>
+ <TR><TD>3</TD><TD>l</TD></TR>
+ <TR><TD>4</TD><TD>o</TD></TR>
+ </TABLE>>];
+
+ edge[tailclip="false"];
+ table0:pointer:c -> table1:pointee;
+}
+
diff --git a/src/doc/book/dot/trpl04-02.dot b/src/doc/book/dot/trpl04-02.dot
new file mode 100644
index 000000000..e46d2ed4a
--- /dev/null
+++ b/src/doc/book/dot/trpl04-02.dot
@@ -0,0 +1,35 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s1</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ <TR><TD>capacity</TD><TD>5</TD></TR>
+ </TABLE>>];
+ table3[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s2</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ <TR><TD>capacity</TD><TD>5</TD></TR>
+ </TABLE>>];
+
+ table1[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD>index</TD><TD>value</TD></TR>
+ <TR><TD PORT="pointee">0</TD><TD>h</TD></TR>
+ <TR><TD>1</TD><TD>e</TD></TR>
+ <TR><TD>2</TD><TD>l</TD></TR>
+ <TR><TD>3</TD><TD>l</TD></TR>
+ <TR><TD>4</TD><TD>o</TD></TR>
+ </TABLE>>];
+
+ edge[tailclip="false"];
+ table0:pointer:c -> table1:pointee;
+ table3:pointer:c -> table1:pointee;
+}
+
diff --git a/src/doc/book/dot/trpl04-03.dot b/src/doc/book/dot/trpl04-03.dot
new file mode 100644
index 000000000..16c0b2860
--- /dev/null
+++ b/src/doc/book/dot/trpl04-03.dot
@@ -0,0 +1,44 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s2</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ <TR><TD>capacity</TD><TD>5</TD></TR>
+ </TABLE>>];
+ table1[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD>index</TD><TD>value</TD></TR>
+ <TR><TD PORT="pointee">0</TD><TD>h</TD></TR>
+ <TR><TD>1</TD><TD>e</TD></TR>
+ <TR><TD>2</TD><TD>l</TD></TR>
+ <TR><TD>3</TD><TD>l</TD></TR>
+ <TR><TD>4</TD><TD>o</TD></TR>
+ </TABLE>>];
+
+ table3[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s1</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ <TR><TD>capacity</TD><TD>5</TD></TR>
+ </TABLE>>];
+ table4[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD>index</TD><TD>value</TD></TR>
+ <TR><TD PORT="pointee">0</TD><TD>h</TD></TR>
+ <TR><TD>1</TD><TD>e</TD></TR>
+ <TR><TD>2</TD><TD>l</TD></TR>
+ <TR><TD>3</TD><TD>l</TD></TR>
+ <TR><TD>4</TD><TD>o</TD></TR>
+ </TABLE>>];
+
+
+ edge[tailclip="false"];
+ table0:pointer:c -> table1:pointee;
+ table3:pointer:c -> table4:pointee;
+}
+
diff --git a/src/doc/book/dot/trpl04-04.dot b/src/doc/book/dot/trpl04-04.dot
new file mode 100644
index 000000000..1c95c231c
--- /dev/null
+++ b/src/doc/book/dot/trpl04-04.dot
@@ -0,0 +1,35 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" BGCOLOR="gray">
+ <TR><TD COLSPAN="2" SIDES="B">s1</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ <TR><TD>capacity</TD><TD>5</TD></TR>
+ </TABLE>>];
+ table3[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s2</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ <TR><TD>capacity</TD><TD>5</TD></TR>
+ </TABLE>>];
+
+ table1[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD>index</TD><TD>value</TD></TR>
+ <TR><TD PORT="pointee">0</TD><TD>h</TD></TR>
+ <TR><TD>1</TD><TD>e</TD></TR>
+ <TR><TD>2</TD><TD>l</TD></TR>
+ <TR><TD>3</TD><TD>l</TD></TR>
+ <TR><TD>4</TD><TD>o</TD></TR>
+ </TABLE>>];
+
+ edge[tailclip="false"];
+ table0:pointer:c -> table1:pointee;
+ table3:pointer:c -> table1:pointee;
+}
+
diff --git a/src/doc/book/dot/trpl04-05.dot b/src/doc/book/dot/trpl04-05.dot
new file mode 100644
index 000000000..ca1f7e06e
--- /dev/null
+++ b/src/doc/book/dot/trpl04-05.dot
@@ -0,0 +1,32 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="borrower"></TD></TR>
+ </TABLE>>];
+ table1[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s1</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD PORT="borrowee">ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ <TR><TD>capacity</TD><TD>5</TD></TR>
+ </TABLE>>];
+ table2[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD>index</TD><TD>value</TD></TR>
+ <TR><TD PORT="pointee">0</TD><TD>h</TD></TR>
+ <TR><TD>1</TD><TD>e</TD></TR>
+ <TR><TD>2</TD><TD>l</TD></TR>
+ <TR><TD>3</TD><TD>l</TD></TR>
+ <TR><TD>4</TD><TD>o</TD></TR>
+ </TABLE>>];
+
+ edge[tailclip="false"];
+ table1:pointer:c -> table2:pointee;
+ table0:borrower:c -> table1:borrowee;
+}
+
diff --git a/src/doc/book/dot/trpl04-06.dot b/src/doc/book/dot/trpl04-06.dot
new file mode 100644
index 000000000..a23f179a7
--- /dev/null
+++ b/src/doc/book/dot/trpl04-06.dot
@@ -0,0 +1,41 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">world</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer2"></TD></TR>
+ <TR><TD>len</TD><TD>5</TD></TR>
+ </TABLE>>];
+
+ table3[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">s</TD></TR>
+ <TR><TD>name</TD><TD>value</TD></TR>
+ <TR><TD>ptr</TD><TD PORT="pointer"></TD></TR>
+ <TR><TD>len</TD><TD>11</TD></TR>
+ <TR><TD>capacity</TD><TD>11</TD></TR>
+ </TABLE>>];
+ table4[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD>index</TD><TD>value</TD></TR>
+ <TR><TD PORT="pointee">0</TD><TD>h</TD></TR>
+ <TR><TD>1</TD><TD>e</TD></TR>
+ <TR><TD>2</TD><TD>l</TD></TR>
+ <TR><TD>3</TD><TD>l</TD></TR>
+ <TR><TD>4</TD><TD>o</TD></TR>
+ <TR><TD>5</TD><TD> </TD></TR>
+ <TR><TD PORT="pointee2">6</TD><TD>w</TD></TR>
+ <TR><TD>7</TD><TD>o</TD></TR>
+ <TR><TD>8</TD><TD>r</TD></TR>
+ <TR><TD>9</TD><TD>l</TD></TR>
+ <TR><TD>10</TD><TD>d</TD></TR>
+ </TABLE>>];
+
+
+ edge[tailclip="false"];
+ table0:pointer2:c -> table4:pointee2;
+ table3:pointer:c -> table4:pointee;
+}
+
diff --git a/src/doc/book/dot/trpl15-01.dot b/src/doc/book/dot/trpl15-01.dot
new file mode 100644
index 000000000..e8b95f9a3
--- /dev/null
+++ b/src/doc/book/dot/trpl15-01.dot
@@ -0,0 +1,24 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
+ <TR><TD>i32</TD><TD><TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
+ <TR><TD>i32</TD><TD><TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
+ <TR><TD>i32</TD><TD><TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
+ <TR><TD>i32</TD><TD><TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
+ <TR><TD>i32</TD><TD>∞</TD></TR>
+ </TABLE></TD></TR>
+ </TABLE></TD></TR>
+ </TABLE></TD></TR>
+ </TABLE></TD></TR>
+ </TABLE>>];
+}
+
diff --git a/src/doc/book/dot/trpl15-02.dot b/src/doc/book/dot/trpl15-02.dot
new file mode 100644
index 000000000..f7dfd22c9
--- /dev/null
+++ b/src/doc/book/dot/trpl15-02.dot
@@ -0,0 +1,18 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table0[label=<
+ <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD COLSPAN="2" SIDES="B">Cons</TD></TR>
+ <TR><TD>i32</TD><TD>
+ <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD SIDES="B">Box</TD></TR>
+ <TR><TD>usize</TD></TR>
+ </TABLE>
+ </TD></TR>
+ </TABLE>>];
+}
+
diff --git a/src/doc/book/dot/trpl15-03.dot b/src/doc/book/dot/trpl15-03.dot
new file mode 100644
index 000000000..16f026814
--- /dev/null
+++ b/src/doc/book/dot/trpl15-03.dot
@@ -0,0 +1,51 @@
+digraph {
+ rankdir=LR;
+ overlap=false;
+ dpi=300.0;
+ node [shape="plaintext"];
+
+ table4[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD SIDES="B">b</TD><TD SIDES="B" PORT="ptr4"></TD></TR>
+ </TABLE>>];
+
+ table5[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD PORT="pte4">3</TD><TD PORT="ptr5"> </TD></TR>
+ </TABLE>>];
+
+
+ table0[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD SIDES="B">a</TD><TD SIDES="B" PORT="ptr0"></TD></TR>
+ </TABLE>>];
+
+ table1[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD PORT="pte0">5</TD><TD PORT="ptr1"> </TD></TR>
+ </TABLE>>];
+
+ table2[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD PORT="pte1">10</TD><TD PORT="ptr2"> </TD></TR>
+ </TABLE>>];
+
+ table3[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD PORT="pte2">Nil</TD></TR>
+ </TABLE>>];
+
+
+ table6[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD SIDES="B">c</TD><TD SIDES="B" PORT="ptr6"></TD></TR>
+ </TABLE>>];
+
+ table7[label=<<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+ <TR><TD PORT="pte6">4</TD><TD PORT="ptr7"> </TD></TR>
+ </TABLE>>];
+
+
+ edge[tailclip="false"];
+ table0:ptr0:c -> table1:pte0;
+ table1:ptr1:c -> table2:pte1;
+ table2:ptr2:c -> table3:pte2;
+ table4:ptr4:c -> table5:pte4;
+ table5:ptr5:c -> table1:pte0;
+ table6:ptr6:c -> table7:pte6;
+ table7:ptr7:c -> table1:pte0;
+}
+
diff --git a/src/doc/book/dot/trpl15-04.dot b/src/doc/book/dot/trpl15-04.dot
new file mode 100644
index 000000000..562543cb6
--- /dev/null
+++ b/src/doc/book/dot/trpl15-04.dot
@@ -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];
+}