akemi/walpurgis
2
1
Fork 0
Code Issues 2 Pull requests Projects Releases Activity

Graphviz: remove silly real creation branch

Browse source
This commit is contained in:
Akemi Izuko 2023-11-16 13:53:09 -07:00
parent ead5fdb686
commit ebd5ca8155
Signed by: akemi
GPG key ID: 8DE0764E1809E9FC
3 changed files with 34 additions and 51 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
graphviz/functions/statements/gen_assign.dot
View file

@ -13,19 +13,14 @@ digraph fn_gen_assignment {
// read from stdinput // read from stdinput
b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon];
c [label="gen_character()" shape=diamond style=filled fillcolor=lightsalmon]; c [label="gen_character()" shape=diamond style=filled fillcolor=lightsalmon];
d [label="create real"] d [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon];
e [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; e [label="gen_real()" shape=diamond style=filled fillcolor=lightsalmon];
f [label="gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; f [label="gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon];
g [label="gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; g [label="return" style=filled fillcolor=lightskyblue1];
k [label="return" style=filled fillcolor=lightskyblue1];
{rank=same; b c e f g} a -> b -> g;
a -> c -> g;
a -> b -> k; a -> d -> g;
a -> c -> k; a -> e -> g;
a -> e -> k; a -> f -> g;
a -> g -> k;
a -> d;
d -> e;
d -> f -> k;
} }

34
graphviz/functions/statements/gen_decl.dot
View file

@ -12,25 +12,19 @@ digraph fn_gen_decl {
a [label="fork on type"]; a [label="fork on type"];
b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon];
c [label="gen_character()" shape=diamond style=filled fillcolor=lightsalmon]; c [label="gen_character()" shape=diamond style=filled fillcolor=lightsalmon];
d [label="create real"] d [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon];
e [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; e [label="gen_real()" shape=diamond style=filled fillcolor=lightsalmon];
f [label="gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; f [label="gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon];
g [label="gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; g [label="fork on qual"];
h [label="fork on qual"]; h [label="push to mut scope"];
i [label="push to mut scope"]; i [label="push to const scope"];
j [label="push to const scope"]; j [label="return" style=filled fillcolor=lightskyblue1];
k [label="return" style=filled fillcolor=lightskyblue1];
{rank=same; b c e f g} a -> b -> g;
a -> c -> g;
a -> b -> h; a -> d -> g;
a -> c -> h; a -> e -> g;
a -> e -> h; a -> f -> g;
a -> g -> h; g -> h -> j;
a -> d; g -> i -> j;
d -> e;
d -> f -> h;
h -> i -> k;
h -> j -> k;
} }

28
graphviz/functions/statements/gen_global_decl.dot
View file

@ -12,22 +12,16 @@ digraph fn_gen_decl {
a [label="fork on type"]; a [label="fork on type"];
b [label="gen_boolean(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; b [label="gen_boolean(global=true)" shape=diamond style=filled fillcolor=lightsalmon];
c [label="gen_character(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; c [label="gen_character(global=true)" shape=diamond style=filled fillcolor=lightsalmon];
d [label="create real"] d [label="gen_integer(global=true)" shape=diamond style=filled fillcolor=lightsalmon];
e [label="gen_integer(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; e [label="gen_real(global=true)" shape=diamond style=filled fillcolor=lightsalmon];
f [label="gen_real(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; f [label="gen_tuple(global=true)" shape=diamond style=filled fillcolor=lightsalmon];
g [label="gen_tuple(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; g [label="push to global scope"];
h [label="push to global scope"]; h [label="return" style=filled fillcolor=lightskyblue1];
i [label="return" style=filled fillcolor=lightskyblue1];
{rank=same; b c e f g} a -> b -> g;
a -> c -> g;
a -> b -> h; a -> d -> g;
a -> c -> h; a -> e -> g;
a -> e -> h; a -> f -> g;
a -> g -> h; g -> h;
a -> d;
d -> e;
d -> f -> h;
h -> i;
} }