1.1 --- a/docs/wiki/Deduction Wed Jun 16 00:52:29 2021 +0200
1.2 +++ b/docs/wiki/Deduction Wed Jun 16 00:53:24 2021 +0200
1.3 @@ -89,7 +89,7 @@
1.4 //format=svg
1.5 //transform=notugly
1.6 digraph indexes {
1.7 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Indexes"];
1.8 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Indexes"];
1.9 edge [tooltip="Indexes"];
1.10 rankdir=LR;
1.11
1.12 @@ -142,7 +142,7 @@
1.13 //format=svg
1.14 //transform=notugly
1.15 digraph deduction {
1.16 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Deduction"];
1.17 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Deduction"];
1.18 edge [tooltip="Deduction"];
1.19 rankdir=LR;
1.20
1.21 @@ -192,7 +192,7 @@
1.22 //format=svg
1.23 //transform=notugly
1.24 digraph usage_to_types {
1.25 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Usage to types"];
1.26 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Usage to types"];
1.27 edge [tooltip="Usage to types"];
1.28 rankdir=LR;
1.29
1.30 @@ -249,7 +249,7 @@
1.31 //format=svg
1.32 //transform=notugly
1.33 digraph instance_providers {
1.34 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Instance providers"];
1.35 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Instance providers"];
1.36 edge [tooltip="Instance providers"];
1.37 rankdir=LR;
1.38
1.39 @@ -310,7 +310,7 @@
1.40 //format=svg
1.41 //transform=notugly
1.42 digraph assignments {
1.43 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Attribute assignments"];
1.44 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Attribute assignments"];
1.45 edge [tooltip="Attribute assignments"];
1.46 rankdir=LR;
1.47
2.1 --- a/docs/wiki/Imports Wed Jun 16 00:52:29 2021 +0200
2.2 +++ b/docs/wiki/Imports Wed Jun 16 00:53:24 2021 +0200
2.3 @@ -95,7 +95,7 @@
2.4 //format=svg
2.5 //transform=notugly
2.6 digraph mutual {
2.7 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Mutually-dependent modules"];
2.8 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Mutually-dependent modules"];
2.9 edge [tooltip="Mutually-dependent modules"];
2.10 rankdir=LR;
2.11
2.12 @@ -209,7 +209,7 @@
2.13 //format=svg
2.14 //transform=notugly
2.15 digraph imports {
2.16 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Import dependencies"];
2.17 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Import dependencies"];
2.18 edge [tooltip="Import dependencies"];
2.19 rankdir=LR;
2.20
3.1 --- a/docs/wiki/Inspection Wed Jun 16 00:52:29 2021 +0200
3.2 +++ b/docs/wiki/Inspection Wed Jun 16 00:53:24 2021 +0200
3.3 @@ -179,7 +179,7 @@
3.4 //format=svg
3.5 //transform=notugly
3.6 digraph accesses {
3.7 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Names and accesses"];
3.8 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Names and accesses"];
3.9 edge [tooltip="Names and accesses"];
3.10 rankdir=TB;
3.11
3.12 @@ -316,7 +316,7 @@
3.13 //format=svg
3.14 //transform=notugly
3.15 digraph usage {
3.16 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Name and attribute tracking"];
3.17 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Name and attribute tracking"];
3.18 edge [tooltip="Name and attribute tracking"];
3.19 rankdir=TB;
3.20
4.1 --- a/docs/wiki/Representations Wed Jun 16 00:52:29 2021 +0200
4.2 +++ b/docs/wiki/Representations Wed Jun 16 00:53:24 2021 +0200
4.3 @@ -16,8 +16,8 @@
4.4 //format=svg
4.5 //transform=notugly
4.6 digraph attributes {
4.7 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Attributes"];
4.8 - edge [fontsize="13.0",fontname="Helvetica",tooltip="Attributes"];
4.9 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Attributes"];
4.10 + edge [fontsize="13.0",fontname="sans-serif",tooltip="Attributes"];
4.11 rankdir=TB;
4.12
4.13 attrA [label="attribute | { value |<value> reference to object }",shape=record];
4.14 @@ -77,8 +77,8 @@
4.15 //format=svg
4.16 //transform=notugly
4.17 digraph wrappers {
4.18 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Wrappers"];
4.19 - edge [fontsize="13.0",fontname="Helvetica",tooltip="Wrappers"];
4.20 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Wrappers"];
4.21 + edge [fontsize="13.0",fontname="sans-serif",tooltip="Wrappers"];
4.22 rankdir=TB;
4.23
4.24 inst [label="<main> instance | { attr1 |<attr1> reference to method } | { attr2 | value } | ...",shape=record];
4.25 @@ -104,8 +104,8 @@
4.26 //format=svg
4.27 //transform=notugly
4.28 digraph objects {
4.29 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Objects"];
4.30 - edge [fontsize="13.0",fontname="Helvetica",tooltip="Objects"];
4.31 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Objects"];
4.32 + edge [fontsize="13.0",fontname="sans-serif",tooltip="Objects"];
4.33 rankdir=TB;
4.34
4.35 instC [label="<main> instance of C | { 0 | reference to\ninstance table } | { __class__ |<cls> reference\nto C } | { a | value } | { b | value } | ...",shape=record];
5.1 --- a/docs/wiki/Restarted Wed Jun 16 00:52:29 2021 +0200
5.2 +++ b/docs/wiki/Restarted Wed Jun 16 00:53:24 2021 +0200
5.3 @@ -262,8 +262,8 @@
5.4 //format=svg
5.5 //transform=notugly
5.6 digraph structures {
5.7 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Instance and class structures"];
5.8 - edge [fontsize="13.0",fontname="Helvetica",tooltip="Instance and class structures"];
5.9 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Instance and class structures"];
5.10 + edge [fontsize="13.0",fontname="sans-serif",tooltip="Instance and class structures"];
5.11 rankdir=TB;
5.12
5.13 instanceC [label="<main> instance of C |{ context of a | value of a }|{context of b | value of b }",shape=record];
5.14 @@ -285,8 +285,8 @@
5.15 //format=svg
5.16 //transform=notugly
5.17 digraph methods {
5.18 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Method structures"];
5.19 - edge [fontsize="13.0",fontname="Helvetica",tooltip="Method structures"];
5.20 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Method structures"];
5.21 + edge [fontsize="13.0",fontname="sans-serif",tooltip="Method structures"];
5.22 rankdir=TB;
5.23
5.24 classC [label="<main> class C | { context of m | <mvalue> uncallable for m } | ...",shape=record];
6.1 --- a/docs/wiki/Structure Wed Jun 16 00:52:29 2021 +0200
6.2 +++ b/docs/wiki/Structure Wed Jun 16 00:53:24 2021 +0200
6.3 @@ -29,7 +29,7 @@
6.4 //format=svg
6.5 //transform=notugly
6.6 digraph program {
6.7 - node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Program structure"];
6.8 + node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Program structure"];
6.9 edge [tooltip="Program structure"];
6.10 rankdir=LR;
6.11