diff --git a/graphviz/functions/statements/gen_assign.dot b/graphviz/functions/statements/gen_assign.dot index 5eb0b52..f58de44 100644 --- a/graphviz/functions/statements/gen_assign.dot +++ b/graphviz/functions/statements/gen_assign.dot @@ -13,19 +13,14 @@ digraph fn_gen_assignment { // read from stdinput b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; c [label="gen_character()" shape=diamond style=filled fillcolor=lightsalmon]; - d [label="create real"] - e [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; - f [label="gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; - g [label="gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; - k [label="return" style=filled fillcolor=lightskyblue1]; + d [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + e [label="gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + f [label="gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; + g [label="return" style=filled fillcolor=lightskyblue1]; - {rank=same; b c e f g} - - a -> b -> k; - a -> c -> k; - a -> e -> k; - a -> g -> k; - a -> d; - d -> e; - d -> f -> k; + a -> b -> g; + a -> c -> g; + a -> d -> g; + a -> e -> g; + a -> f -> g; } diff --git a/graphviz/functions/statements/gen_decl.dot b/graphviz/functions/statements/gen_decl.dot index 2a4b4e3..637e0d9 100644 --- a/graphviz/functions/statements/gen_decl.dot +++ b/graphviz/functions/statements/gen_decl.dot @@ -12,25 +12,19 @@ digraph fn_gen_decl { a [label="fork on type"]; b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; c [label="gen_character()" shape=diamond style=filled fillcolor=lightsalmon]; - d [label="create real"] - e [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; - f [label="gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; - g [label="gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; - h [label="fork on qual"]; - i [label="push to mut scope"]; - j [label="push to const scope"]; - k [label="return" style=filled fillcolor=lightskyblue1]; + d [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + e [label="gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + f [label="gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; + g [label="fork on qual"]; + h [label="push to mut scope"]; + i [label="push to const scope"]; + j [label="return" style=filled fillcolor=lightskyblue1]; - {rank=same; b c e f g} - - a -> b -> h; - a -> c -> h; - a -> e -> h; - a -> g -> h; - a -> d; - d -> e; - d -> f -> h; - - h -> i -> k; - h -> j -> k; + a -> b -> g; + a -> c -> g; + a -> d -> g; + a -> e -> g; + a -> f -> g; + g -> h -> j; + g -> i -> j; } diff --git a/graphviz/functions/statements/gen_global_decl.dot b/graphviz/functions/statements/gen_global_decl.dot index 993eaa5..9b3c764 100644 --- a/graphviz/functions/statements/gen_global_decl.dot +++ b/graphviz/functions/statements/gen_global_decl.dot @@ -12,22 +12,16 @@ digraph fn_gen_decl { a [label="fork on type"]; b [label="gen_boolean(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; c [label="gen_character(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; - d [label="create real"] - e [label="gen_integer(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; - f [label="gen_real(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; - g [label="gen_tuple(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; - h [label="push to global scope"]; - i [label="return" style=filled fillcolor=lightskyblue1]; + d [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_tuple(global=true)" shape=diamond style=filled fillcolor=lightsalmon]; + g [label="push to global scope"]; + h [label="return" style=filled fillcolor=lightskyblue1]; - {rank=same; b c e f g} - - a -> b -> h; - a -> c -> h; - a -> e -> h; - a -> g -> h; - a -> d; - d -> e; - d -> f -> h; - - h -> i; + a -> b -> g; + a -> c -> g; + a -> d -> g; + a -> e -> g; + a -> f -> g; + g -> h; }