From e4dc3273f201ae741637b626998637cce973546b Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Fri, 2 Oct 2026 13:04:34 -0700 Subject: First pass README updates --- chapter03/docs/03-graph1.json | 17 +++ chapter03/docs/03-graph1.svg | 222 +++++++++++++++----------------------- chapter03/docs/03-graph2.json | 18 ++++ chapter03/docs/03-graph2.svg | 226 ++++++++++++++++----------------------- chapter03/docs/03-graph3.json | 19 ++++ chapter03/docs/03-graph3.svg | 242 ++++++++++++++++-------------------------- chapter03/docs/03-graph4.json | 17 +++ chapter03/docs/03-graph4.svg | 211 +++++++++++++++--------------------- chapter03/docs/03-graph5.json | 17 +++ chapter03/docs/03-graph5.svg | 211 +++++++++++++++--------------------- chapter03/docs/Makefile | 13 +-- 11 files changed, 523 insertions(+), 690 deletions(-) create mode 100644 chapter03/docs/03-graph1.json create mode 100644 chapter03/docs/03-graph2.json create mode 100644 chapter03/docs/03-graph3.json create mode 100644 chapter03/docs/03-graph4.json create mode 100644 chapter03/docs/03-graph5.json (limited to 'chapter03/docs') diff --git a/chapter03/docs/03-graph1.json b/chapter03/docs/03-graph1.json new file mode 100644 index 00000000..5dce5431 --- /dev/null +++ b/chapter03/docs/03-graph1.json @@ -0,0 +1,17 @@ +{ + "ver": 1, + "comp": "chapter03/docs/03-graph1.svg", + "step": 1, + "roots": [], + "scope": 0, + "nodes": [ + {"id": 1, "label": "Scope", "type": null, "kind": "SCOPE", "edges": [{"idx": 0, "def": 3, "role": "ASSOC", "label": "0: a"}, {"idx": 1, "def": 4, "role": "ASSOC", "label": "0: b"}, {"idx": 2, "def": 7, "role": "ASSOC", "label": "0: c"}, {"idx": 3, "def": 6, "role": "ASSOC", "label": "1: b"}], "proj": null}, + {"id": 2, "label": "Start", "type": null, "kind": "CTRL", "edges": [], "proj": null}, + {"id": 3, "label": "#1", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 4, "label": "#2", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 6, "label": "#3", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 7, "label": "+", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 0, "role": "DATA", "label": null}, {"idx": 1, "def": 3, "role": "DATA", "label": null}, {"idx": 2, "def": 6, "role": "DATA", "label": null}], "proj": null} + ], + "groups": [ + ] +} diff --git a/chapter03/docs/03-graph1.svg b/chapter03/docs/03-graph1.svg index ab6f9600..9ad933d5 100644 --- a/chapter03/docs/03-graph1.svg +++ b/chapter03/docs/03-graph1.svg @@ -1,136 +1,86 @@ - - - - - - -chapter03 - - -cluster_Nodes - - - -cluster_Scope1_0 - - - -cluster_Scope1_1 - - - - -Start2 - -Start - - - -Con_3 - -#1 - - - -Con_3->Start2 - - -0 - - - -Con_4 - -#2 - - - -Con_4->Start2 - - -0 - - - -Con_6 - -#3 - - - -Con_6->Start2 - - -0 - - - -Add7 - -+ - - - -Add7->Con_3 - - -1 - - - -Add7->Con_6 - - -2 - - - -Scope1_0 - - -0 - -a - -b - -c - - - -Scope1_0:Scope1_0_a->Con_3 - - - - - -Scope1_0:Scope1_0_b->Con_4 - - - - - -Scope1_0:Scope1_0_c->Add7 - - - - - -Scope1_1 - - -1 - -b - - - -Scope1_1:Scope1_1_b->Con_6 - - - - - +#1[0] → #3 · ASSOC · 0: a#1[1] → #4 · ASSOC · 0: b#1[2] → #7 · ASSOC · 0: c#1[3] → #6 · ASSOC · 1: b#3[0] → #2 · ASSOC#4[0] → #2 · ASSOC#6[0] → #2 · ASSOC#7[1] → #3 · DATA#7[2] → #6 · DATAScope  #1#1 Scope +Type not computed + +[0] → #3 ASSOC 0: a +[1] → #4 ASSOC 0: b +[2] → #7 ASSOC 0: c +[3] → #6 ASSOC 1: b0: a0: b0: c1: b0123Start  #2#2 Start +Type not computed + +#1  #3#3 #1 +Type not computed + +[0] → #2 ASSOC0#2  #4#4 #2 +Type not computed + +[0] → #2 ASSOC0#3  #6#6 #3 +Type not computed + +[0] → #2 ASSOC0+  #7#7 + +Type not computed + +[0] → — DATA +[1] → #3 DATA +[2] → #6 DATA012 diff --git a/chapter03/docs/03-graph2.json b/chapter03/docs/03-graph2.json new file mode 100644 index 00000000..80397161 --- /dev/null +++ b/chapter03/docs/03-graph2.json @@ -0,0 +1,18 @@ +{ + "ver": 1, + "comp": "chapter03/docs/03-graph2.svg", + "step": 1, + "roots": [], + "scope": 0, + "nodes": [ + {"id": 1, "label": "Scope", "type": null, "kind": "SCOPE", "edges": [{"idx": 0, "def": 3, "role": "ASSOC", "label": "0: a"}, {"idx": 1, "def": 4, "role": "ASSOC", "label": "0: b"}, {"idx": 2, "def": 7, "role": "ASSOC", "label": "0: c"}], "proj": null}, + {"id": 2, "label": "Start", "type": null, "kind": "CTRL", "edges": [], "proj": null}, + {"id": 3, "label": "#1", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 4, "label": "#2", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 6, "label": "#3", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 7, "label": "+", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 0, "role": "DATA", "label": null}, {"idx": 1, "def": 3, "role": "DATA", "label": null}, {"idx": 2, "def": 6, "role": "DATA", "label": null}], "proj": null}, + {"id": 8, "label": "Return", "type": null, "kind": "CTRL", "edges": [{"idx": 0, "def": 2, "role": "CTRL", "label": null}, {"idx": 1, "def": 7, "role": "DATA", "label": null}], "proj": null} + ], + "groups": [ + ] +} diff --git a/chapter03/docs/03-graph2.svg b/chapter03/docs/03-graph2.svg index 0a539c6a..d59e5dc0 100644 --- a/chapter03/docs/03-graph2.svg +++ b/chapter03/docs/03-graph2.svg @@ -1,137 +1,89 @@ - - - - - - -chapter03 - - -cluster_Nodes - - - -cluster_Scope1_0 - - - - -Start2 - -Start - - - -Con_3 - -#1 - - - -Con_3->Start2 - - -0 - - - -Con_4 - -#2 - - - -Con_4->Start2 - - -0 - - - -Con_6 - -#3 - - - -Con_6->Start2 - - -0 - - - -Add7 - -+ - - - -Add7->Con_3 - - -1 - - - -Add7->Con_6 - - -2 - - - -Return8 - -Return - - - -Return8->Start2 - - -0 - - - -Return8->Add7 - - -1 - - - -Scope1_0 - - -0 - -a - -b - -c - - - -Scope1_0:Scope1_0_a->Con_3 - - - - - -Scope1_0:Scope1_0_b->Con_4 - - - - - -Scope1_0:Scope1_0_c->Add7 - - - - - +#1[0] → #3 · ASSOC · 0: a#1[1] → #4 · ASSOC · 0: b#1[2] → #7 · ASSOC · 0: c#3[0] → #2 · ASSOC#4[0] → #2 · ASSOC#6[0] → #2 · ASSOC#7[1] → #3 · DATA#7[2] → #6 · DATA#8[0] → #2 · CTRL#8[1] → #7 · DATAScope  #1#1 Scope +Type not computed + +[0] → #3 ASSOC 0: a +[1] → #4 ASSOC 0: b +[2] → #7 ASSOC 0: c0: a0: b0: c012Start  #2#2 Start +Type not computed + +#1  #3#3 #1 +Type not computed + +[0] → #2 ASSOC0#2  #4#4 #2 +Type not computed + +[0] → #2 ASSOC0#3  #6#6 #3 +Type not computed + +[0] → #2 ASSOC0+  #7#7 + +Type not computed + +[0] → — DATA +[1] → #3 DATA +[2] → #6 DATA012Return  #8#8 Return +Type not computed + +[0] → #2 CTRL +[1] → #7 DATA01 diff --git a/chapter03/docs/03-graph3.json b/chapter03/docs/03-graph3.json new file mode 100644 index 00000000..a6d6175a --- /dev/null +++ b/chapter03/docs/03-graph3.json @@ -0,0 +1,19 @@ +{ + "ver": 1, + "comp": "chapter03/docs/03-graph3.svg", + "step": 1, + "roots": [], + "scope": 0, + "nodes": [ + {"id": 1, "label": "Scope", "type": null, "kind": "SCOPE", "edges": [{"idx": 0, "def": 4, "role": "ASSOC", "label": "0: y0"}, {"idx": 1, "def": 3, "role": "ASSOC", "label": "0: x0"}, {"idx": 2, "def": 6, "role": "ASSOC", "label": "0: y1"}, {"idx": 3, "def": 5, "role": "ASSOC", "label": "0: x1"}], "proj": null}, + {"id": 2, "label": "Start", "type": null, "kind": "CTRL", "edges": [], "proj": null}, + {"id": 3, "label": "#1", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 4, "label": "#2", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 5, "label": "#3", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 6, "label": "#4", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 20, "label": "#8", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 21, "label": "Return", "type": null, "kind": "CTRL", "edges": [{"idx": 0, "def": 2, "role": "CTRL", "label": null}, {"idx": 1, "def": 20, "role": "DATA", "label": null}], "proj": null} + ], + "groups": [ + ] +} diff --git a/chapter03/docs/03-graph3.svg b/chapter03/docs/03-graph3.svg index 623bd902..89eed120 100644 --- a/chapter03/docs/03-graph3.svg +++ b/chapter03/docs/03-graph3.svg @@ -1,151 +1,91 @@ - - - - - - -chapter03 - - -cluster_Nodes - - - -cluster_Scope1_0 - - - - -Start2 - -Start - - - -Con_3 - -#1 - - - -Con_3->Start2 - - -0 - - - -Con_4 - -#2 - - - -Con_4->Start2 - - -0 - - - -Con_20 - -#8 - - - -Con_20->Start2 - - -0 - - - -Con_5 - -#3 - - - -Con_5->Start2 - - -0 - - - -Return21 - -Return - - - -Return21->Start2 - - -0 - - - -Return21->Con_20 - - -1 - - - -Con_6 - -#4 - - - -Con_6->Start2 - - -0 - - - -Scope1_0 - - -0 - -y0 - -x0 - -y1 - -x1 - - - -Scope1_0:Scope1_0_x0->Con_3 - - - - - -Scope1_0:Scope1_0_y0->Con_4 - - - - - -Scope1_0:Scope1_0_x1->Con_5 - - - - - -Scope1_0:Scope1_0_y1->Con_6 - - - - - +#1[0] → #4 · ASSOC · 0: y0#1[1] → #3 · ASSOC · 0: x0#1[2] → #6 · ASSOC · 0: y1#1[3] → #5 · ASSOC · 0: x1#3[0] → #2 · ASSOC#4[0] → #2 · ASSOC#5[0] → #2 · ASSOC#6[0] → #2 · ASSOC#20[0] → #2 · ASSOC#21[0] → #2 · CTRL#21[1] → #20 · DATAScope  #1#1 Scope +Type not computed + +[0] → #4 ASSOC 0: y0 +[1] → #3 ASSOC 0: x0 +[2] → #6 ASSOC 0: y1 +[3] → #5 ASSOC 0: x10: y00: x00: y10: x10123Start  #2#2 Start +Type not computed + +#1  #3#3 #1 +Type not computed + +[0] → #2 ASSOC0#2  #4#4 #2 +Type not computed + +[0] → #2 ASSOC0#3  #5#5 #3 +Type not computed + +[0] → #2 ASSOC0#4  #6#6 #4 +Type not computed + +[0] → #2 ASSOC0#8  #20#20 #8 +Type not computed + +[0] → #2 ASSOC0Return  #21#21 Return +Type not computed + +[0] → #2 CTRL +[1] → #20 DATA01 diff --git a/chapter03/docs/03-graph4.json b/chapter03/docs/03-graph4.json new file mode 100644 index 00000000..b594eee2 --- /dev/null +++ b/chapter03/docs/03-graph4.json @@ -0,0 +1,17 @@ +{ + "ver": 1, + "comp": "chapter03/docs/03-graph4.svg", + "step": 1, + "roots": [], + "scope": 0, + "nodes": [ + {"id": 1, "label": "Scope", "type": null, "kind": "SCOPE", "edges": [{"idx": 0, "def": 3, "role": "ASSOC", "label": "0: a"}, {"idx": 1, "def": 4, "role": "ASSOC", "label": "0: b"}, {"idx": 2, "def": 8, "role": "ASSOC", "label": "0: c"}, {"idx": 3, "def": 6, "role": "ASSOC", "label": "1: b"}], "proj": null}, + {"id": 2, "label": "Start", "type": null, "kind": "CTRL", "edges": [], "proj": null}, + {"id": 3, "label": "#1", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 4, "label": "#2", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 6, "label": "#5", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 8, "label": "#6", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null} + ], + "groups": [ + ] +} diff --git a/chapter03/docs/03-graph4.svg b/chapter03/docs/03-graph4.svg index 6838e1d4..c773ef9b 100644 --- a/chapter03/docs/03-graph4.svg +++ b/chapter03/docs/03-graph4.svg @@ -1,127 +1,84 @@ - - - - - - -chapter03 - - -cluster_Nodes - - - -cluster_Scope1_0 - - - -cluster_Scope1_1 - - - - -Start2 - -Start - - - -Con_3 - -#1 - - - -Con_3->Start2 - - -0 - - - -Con_4 - -#2 - - - -Con_4->Start2 - - -0 - - - -Con_6 - -#5 - - - -Con_6->Start2 - - -0 - - - -Con_8 - -#6 - - - -Con_8->Start2 - - -0 - - - -Scope1_0 - - -0 - -a - -b - -c - - - -Scope1_0:Scope1_0_a->Con_3 - - - - - -Scope1_0:Scope1_0_b->Con_4 - - - - - -Scope1_0:Scope1_0_c->Con_8 - - - - - -Scope1_1 - - -1 - -b - - - -Scope1_1:Scope1_1_b->Con_6 - - - - - \ No newline at end of file +#1[0] → #3 · ASSOC · 0: a#1[1] → #4 · ASSOC · 0: b#1[2] → #8 · ASSOC · 0: c#1[3] → #6 · ASSOC · 1: b#3[0] → #2 · ASSOC#4[0] → #2 · ASSOC#6[0] → #2 · ASSOC#8[0] → #2 · ASSOCScope  #1#1 Scope +Type not computed + +[0] → #3 ASSOC 0: a +[1] → #4 ASSOC 0: b +[2] → #8 ASSOC 0: c +[3] → #6 ASSOC 1: b0: a0: b0: c1: b0123Start  #2#2 Start +Type not computed + +#1  #3#3 #1 +Type not computed + +[0] → #2 ASSOC0#2  #4#4 #2 +Type not computed + +[0] → #2 ASSOC0#5  #6#6 #5 +Type not computed + +[0] → #2 ASSOC0#6  #8#8 #6 +Type not computed + +[0] → #2 ASSOC0 diff --git a/chapter03/docs/03-graph5.json b/chapter03/docs/03-graph5.json new file mode 100644 index 00000000..476ad586 --- /dev/null +++ b/chapter03/docs/03-graph5.json @@ -0,0 +1,17 @@ +{ + "ver": 1, + "comp": "chapter03/docs/03-graph5.svg", + "step": 1, + "roots": [], + "scope": 0, + "nodes": [ + {"id": 1, "label": "Scope", "type": null, "kind": "SCOPE", "edges": [{"idx": 0, "def": 3, "role": "ASSOC", "label": "0: a"}, {"idx": 1, "def": 4, "role": "ASSOC", "label": "0: b"}, {"idx": 2, "def": 11, "role": "ASSOC", "label": "0: c"}, {"idx": 3, "def": 9, "role": "ASSOC", "label": "1: e"}], "proj": null}, + {"id": 2, "label": "Start", "type": null, "kind": "CTRL", "edges": [], "proj": null}, + {"id": 3, "label": "#1", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 4, "label": "#2", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 9, "label": "#6", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null}, + {"id": 11, "label": "#7", "type": null, "kind": "DATA", "edges": [{"idx": 0, "def": 2, "role": "ASSOC", "label": null}], "proj": null} + ], + "groups": [ + ] +} diff --git a/chapter03/docs/03-graph5.svg b/chapter03/docs/03-graph5.svg index 48e69cb7..a62d03bb 100644 --- a/chapter03/docs/03-graph5.svg +++ b/chapter03/docs/03-graph5.svg @@ -1,127 +1,84 @@ - - - - - - -chapter03 - - -cluster_Nodes - - - -cluster_Scope1_0 - - - -cluster_Scope1_1 - - - - -Start2 - -Start - - - -Con_3 - -#1 - - - -Con_3->Start2 - - -0 - - - -Con_4 - -#2 - - - -Con_4->Start2 - - -0 - - - -Con_9 - -#6 - - - -Con_9->Start2 - - -0 - - - -Con_11 - -#7 - - - -Con_11->Start2 - - -0 - - - -Scope1_0 - - -0 - -a - -b - -c - - - -Scope1_0:Scope1_0_a->Con_3 - - - - - -Scope1_0:Scope1_0_b->Con_4 - - - - - -Scope1_0:Scope1_0_c->Con_11 - - - - - -Scope1_1 - - -1 - -e - - - -Scope1_1:Scope1_1_e->Con_9 - - - - - \ No newline at end of file +#1[0] → #3 · ASSOC · 0: a#1[1] → #4 · ASSOC · 0: b#1[2] → #11 · ASSOC · 0: c#1[3] → #9 · ASSOC · 1: e#3[0] → #2 · ASSOC#4[0] → #2 · ASSOC#9[0] → #2 · ASSOC#11[0] → #2 · ASSOCScope  #1#1 Scope +Type not computed + +[0] → #3 ASSOC 0: a +[1] → #4 ASSOC 0: b +[2] → #11 ASSOC 0: c +[3] → #9 ASSOC 1: e0: a0: b0: c1: e0123Start  #2#2 Start +Type not computed + +#1  #3#3 #1 +Type not computed + +[0] → #2 ASSOC0#2  #4#4 #2 +Type not computed + +[0] → #2 ASSOC0#6  #9#9 #6 +Type not computed + +[0] → #2 ASSOC0#7  #11#11 #7 +Type not computed + +[0] → #2 ASSOC0 diff --git a/chapter03/docs/Makefile b/chapter03/docs/Makefile index 12659b8f..6fa0f057 100644 --- a/chapter03/docs/Makefile +++ b/chapter03/docs/Makefile @@ -1,12 +1 @@ -GV := $(wildcard *.gv) -SVG := $(patsubst %.gv,%.svg,$(GV)) - -.PHONY: all -all: $(SVG) - -%.svg: %.gv - dot -Tsvg $< > $@ - -.PHONY: clean -clean: - @rm -f $(SVG) +include ../../graph/docs.mk -- cgit v1.2.3