diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
commit | 698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch) | |
tree | 173a775858bd501c378080a10dca74132f05bc50 /src/doc/book/dot | |
parent | Initial commit. (diff) | |
download | rustc-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.dot | 26 | ||||
-rw-r--r-- | src/doc/book/dot/trpl04-02.dot | 35 | ||||
-rw-r--r-- | src/doc/book/dot/trpl04-03.dot | 44 | ||||
-rw-r--r-- | src/doc/book/dot/trpl04-04.dot | 35 | ||||
-rw-r--r-- | src/doc/book/dot/trpl04-05.dot | 32 | ||||
-rw-r--r-- | src/doc/book/dot/trpl04-06.dot | 41 | ||||
-rw-r--r-- | src/doc/book/dot/trpl15-01.dot | 24 | ||||
-rw-r--r-- | src/doc/book/dot/trpl15-02.dot | 18 | ||||
-rw-r--r-- | src/doc/book/dot/trpl15-03.dot | 51 | ||||
-rw-r--r-- | src/doc/book/dot/trpl15-04.dot | 16 |
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]; +} |