From 9441ef1c88c44761e2f1105d7b7a00178af4339c Mon Sep 17 00:00:00 2001 From: dibyendumajumdar Date: Wed, 1 Nov 2023 09:36:37 +0000 Subject: Update visual --- chapter05/docs/05-graph1.gv | 20 ++--- chapter05/docs/05-graph1.svg | 8 ++ chapter05/docs/05-graph2.gv | 29 ++++---- chapter05/docs/05-graph2.svg | 159 +++++++++++++++++++++------------------- chapter05/docs/05-graph3.gv | 35 ++++----- chapter05/docs/05-graph3.svg | 170 +++++++++++++++++++++++-------------------- 6 files changed, 225 insertions(+), 196 deletions(-) diff --git a/chapter05/docs/05-graph1.gv b/chapter05/docs/05-graph1.gv index 6b2a5788..539ee7f2 100644 --- a/chapter05/docs/05-graph1.gv +++ b/chapter05/docs/05-graph1.gv @@ -7,6 +7,7 @@ else { a = arg-3; #showGraph; } +#showGraph; return a; */ @@ -67,14 +68,15 @@ return a; >]; } } - EQNode8 -> Start2:p1; - EQNode8 -> Con_7; - If9 -> Start2:p0 [color=red]; - If9 -> EQNode8; - Add14 -> Start2:p1; - Add14 -> Con_13; - Sub16 -> Start2:p1; - Sub16 -> Con_15; + edge [ fontname=Helvetica, fontsize=8 ]; + EQNode8 -> Start2:p1[taillabel=1]; + EQNode8 -> Con_7[taillabel=2]; + If9 -> Start2:p0[taillabel=0; color=red]; + If9 -> EQNode8[taillabel=1]; + Add14 -> Start2:p1[taillabel=1]; + Add14 -> Con_13[taillabel=2]; + Sub16 -> Start2:p1[taillabel=1]; + Sub16 -> Con_15[taillabel=2]; edge [style=dashed color=cornflowerblue]; Scope1_0:"Scope1_0_$ctrl" -> If9:p0; Scope1_0:"Scope1_0_arg" -> Start2:p1; @@ -83,4 +85,4 @@ return a; Scope12_0:"Scope12_0_$ctrl" -> If9:p1; Scope12_0:"Scope12_0_arg" -> Start2:p1; Scope12_1:"Scope12_1_a" -> Sub16; -} \ No newline at end of file +} diff --git a/chapter05/docs/05-graph1.svg b/chapter05/docs/05-graph1.svg index ac1f91fc..efe0a0e8 100644 --- a/chapter05/docs/05-graph1.svg +++ b/chapter05/docs/05-graph1.svg @@ -59,12 +59,14 @@ EQNode8->Start2:p1 +1 EQNode8->Con_7 +2 @@ -85,12 +87,14 @@ If9->Start2:p0 +0 If9->EQNode8 +1 @@ -109,12 +113,14 @@ Add14->Start2:p1 +1 Add14->Con_13 +2 @@ -133,12 +139,14 @@ Sub16->Start2:p1 +1 Sub16->Con_15 +2 diff --git a/chapter05/docs/05-graph2.gv b/chapter05/docs/05-graph2.gv index ee2feeed..0be7c1d6 100644 --- a/chapter05/docs/05-graph2.gv +++ b/chapter05/docs/05-graph2.gv @@ -43,7 +43,7 @@ return a; Sub16 [ label="-" ]; Region17 [ shape=box style=filled fillcolor=yellow label="Region" ]; Phi_a18 [ style=filled fillcolor=lightyellow label="φ_a" ]; - { rank=same; Phi_a18;} + { rank=same; Region17;Phi_a18;} } node [shape=plaintext]; subgraph cluster_Scope1_0 { @@ -58,19 +58,20 @@ return a; >]; } } - EQNode8 -> Start2:p1; - EQNode8 -> Con_7; - If9 -> Start2:p0 [color=red]; - If9 -> EQNode8; - Add14 -> Start2:p1; - Add14 -> Con_13; - Sub16 -> Start2:p1; - Sub16 -> Con_15; - Region17 -> If9:p0 [color=red]; - Region17 -> If9:p1 [color=red]; - Phi_a18 -> Region17 [color=red]; - Phi_a18 -> Add14; - Phi_a18 -> Sub16; + edge [ fontname=Helvetica, fontsize=8 ]; + EQNode8 -> Start2:p1[taillabel=1]; + EQNode8 -> Con_7[taillabel=2]; + If9 -> Start2:p0[taillabel=0; color=red]; + If9 -> EQNode8[taillabel=1]; + Add14 -> Start2:p1[taillabel=1]; + Add14 -> Con_13[taillabel=2]; + Sub16 -> Start2:p1[taillabel=1]; + Sub16 -> Con_15[taillabel=2]; + Region17 -> If9:p0[taillabel=1; color=red]; + Region17 -> If9:p1[taillabel=2; color=red]; + Region17 -> Phi_a18 [style=invis] + Phi_a18 -> Add14[taillabel=1]; + Phi_a18 -> Sub16[taillabel=2]; edge [style=dashed color=cornflowerblue]; Scope1_0:"Scope1_0_$ctrl" -> Region17; Scope1_0:"Scope1_0_arg" -> Start2:p1; diff --git a/chapter05/docs/05-graph2.svg b/chapter05/docs/05-graph2.svg index 5282b4c4..ebc4ffac 100644 --- a/chapter05/docs/05-graph2.svg +++ b/chapter05/docs/05-graph2.svg @@ -4,14 +4,14 @@ - - + + chapter05 - + cluster_Nodes - + cluster_Scope1_0 @@ -24,156 +24,163 @@ Start2 - - -Start - - - -$ctrl - -arg + + +Start + + + +$ctrl + +arg Con_7 - -#1 + +#1 EQNode8 - -== + +== EQNode8->Start2:p1 - - + + +1 EQNode8->Con_7 - - + + +2 If9 - - -If - - - -True - - -False + + +If + + + +True + + +False If9->Start2:p0 - - + + +0 If9->EQNode8 - - + + +1 Con_13 - -#2 + +#2 Add14 - -+ + ++ Add14->Start2:p1 - - + + + +1 Add14->Con_13 - - + + +2 Con_15 - -#3 + +#3 Sub16 - -- + +- Sub16->Start2:p1 - - - + + +1 Sub16->Con_15 - - + + +2 Region17 - -Region + +Region Region17->If9:p0 - - + + +1 Region17->If9:p1 - - + + +2 Phi_a18 - -φ_a + +φ_a + Phi_a18->Add14 - - + + +1 Phi_a18->Sub16 - - - - - -Phi_a18->Region17 - - + + +2 @@ -189,13 +196,13 @@ Scope1_0:Scope1_0_arg->Start2:p1 - + Scope1_0:Scope1_0_$ctrl->Region17 - - + + @@ -209,8 +216,8 @@ Scope1_1:Scope1_1_a->Phi_a18 - - + + diff --git a/chapter05/docs/05-graph3.gv b/chapter05/docs/05-graph3.gv index a09fcca5..59a8a3e2 100644 --- a/chapter05/docs/05-graph3.gv +++ b/chapter05/docs/05-graph3.gv @@ -45,22 +45,23 @@ return a; Region17 [ shape=box style=filled fillcolor=yellow label="Region" ]; Phi_a18 [ style=filled fillcolor=lightyellow label="φ_a" ]; Return19 [ shape=box style=filled fillcolor=yellow label="Return" ]; - { rank=same; Phi_a18;} + { rank=same; Region17;Phi_a18;} } - Stop3 -> Return19 [color=red]; - EQNode8 -> Start2:p1; - EQNode8 -> Con_7; - If9 -> Start2:p0 [color=red]; - If9 -> EQNode8; - Add14 -> Start2:p1; - Add14 -> Con_13; - Sub16 -> Start2:p1; - Sub16 -> Con_15; - Region17 -> If9:p0 [color=red]; - Region17 -> If9:p1 [color=red]; - Phi_a18 -> Region17 [color=red]; - Phi_a18 -> Add14; - Phi_a18 -> Sub16; - Return19 -> Region17 [color=red]; - Return19 -> Phi_a18; + edge [ fontname=Helvetica, fontsize=8 ]; + Stop3 -> Return19[taillabel=0; color=red]; + EQNode8 -> Start2:p1[taillabel=1]; + EQNode8 -> Con_7[taillabel=2]; + If9 -> Start2:p0[taillabel=0; color=red]; + If9 -> EQNode8[taillabel=1]; + Add14 -> Start2:p1[taillabel=1]; + Add14 -> Con_13[taillabel=2]; + Sub16 -> Start2:p1[taillabel=1]; + Sub16 -> Con_15[taillabel=2]; + Region17 -> If9:p0[taillabel=1; color=red]; + Region17 -> If9:p1[taillabel=2; color=red]; + Region17 -> Phi_a18 [style=invis] + Phi_a18 -> Add14[taillabel=1]; + Phi_a18 -> Sub16[taillabel=2]; + Return19 -> Region17[taillabel=0; color=red]; + Return19 -> Phi_a18[taillabel=1]; } diff --git a/chapter05/docs/05-graph3.svg b/chapter05/docs/05-graph3.svg index 07a07ced..5b6f0c86 100644 --- a/chapter05/docs/05-graph3.svg +++ b/chapter05/docs/05-graph3.svg @@ -4,197 +4,207 @@ - - + + chapter05 - + cluster_Nodes - + Start2 - - -Start - - - -$ctrl - -arg + + +Start + + + +$ctrl + +arg Stop3 - -Stop + +Stop Return19 - -Return + +Return Stop3->Return19 - - + + +0 Con_7 - -#1 + +#1 EQNode8 - -== + +== EQNode8->Start2:p1 - - + + +1 EQNode8->Con_7 - - + + +2 If9 - - -If - - - -True - - -False + + +If + + + +True + + +False If9->Start2:p0 - - + + +0 If9->EQNode8 - - + + +1 Con_13 - -#2 + +#2 Add14 - -+ + ++ Add14->Start2:p1 - - - + + +1 Add14->Con_13 - - + + +2 Con_15 - -#3 + +#3 Sub16 - -- + +- Sub16->Start2:p1 - + + +1 Sub16->Con_15 - - + + +2 Region17 - -Region + +Region Region17->If9:p0 - - + + +1 Region17->If9:p1 - - + + +2 Phi_a18 - -φ_a + +φ_a + Phi_a18->Add14 - - + + +1 Phi_a18->Sub16 - - - - - -Phi_a18->Region17 - - + + +2 Return19->Region17 - - + + +0 Return19->Phi_a18 - - + + +1 -- cgit v1.2.3