diff --git a/graphviz/functions/args.dot b/graphviz/functions/args.dot index 070d08c..ab9e229 100644 --- a/graphviz/functions/args.dot +++ b/graphviz/functions/args.dot @@ -11,7 +11,7 @@ digraph fn_args { newrank=true; A [label="for each type"]; - B [label="get_instant(GazType)" shape=diamond style=filled fillcolor=lightcoral]; + B [label="get_instant(GazType)" shape=diamond style=filled fillcolor=lightsalmon]; C [label="pack into var"]; D [label="return" style=filled fillcolor=lightskyblue]; A -> B -> C -> A; diff --git a/graphviz/functions/gen_return.dot b/graphviz/functions/gen_return.dot index 946e8ad..b7b200a 100644 --- a/graphviz/functions/gen_return.dot +++ b/graphviz/functions/gen_return.dot @@ -10,8 +10,8 @@ digraph fn_gen_return { newrank=true; a [label="choice" rank=max]; - b [label="gen_if_statement_with_return()" shape=diamond style=filled fillcolor=lightcoral]; - c [label="gen_loop_with_return()" shape=diamond style=filled fillcolor=lightcoral]; + b [label="gen_if_statement_with_return()" shape=diamond style=filled fillcolor=lightsalmon]; + c [label="gen_loop_with_return()" shape=diamond style=filled fillcolor=lightsalmon]; d [label="return"]; e [label="gen correct type"]; f [label="return" style=filled fillcolor=lightskyblue1]; diff --git a/graphviz/functions/gen_statement.dot b/graphviz/functions/gen_statement.dot index 5b6adfa..1f52c27 100644 --- a/graphviz/functions/gen_statement.dot +++ b/graphviz/functions/gen_statement.dot @@ -11,11 +11,11 @@ digraph fn_gen_statement { a [label="can declare" rank=max]; b [label="cannot declare" rank=min]; - c [label="gen_decl()" shape=diamond style=filled fillcolor=lightcoral]; - d [label="gen_if_statement()" shape=diamond style=filled fillcolor=lightcoral]; - e [label="gen_std_output()" shape=diamond style=filled fillcolor=lightcoral]; - f [label="gen_loop()" shape=diamond style=filled fillcolor=lightcoral]; - g [label="gen_assignment()" shape=diamond style=filled fillcolor=lightcoral]; + c [label="gen_decl()" shape=diamond style=filled fillcolor=lightsalmon]; + d [label="gen_if_statement()" shape=diamond style=filled fillcolor=lightsalmon]; + e [label="gen_std_output()" shape=diamond style=filled fillcolor=lightsalmon]; + f [label="gen_loop()" shape=diamond style=filled fillcolor=lightsalmon]; + g [label="gen_assignment()" shape=diamond style=filled fillcolor=lightsalmon]; h [label="return" style=filled fillcolor=lightskyblue1]; a -> c -> a; diff --git a/graphviz/functions/gen_subroutine.dot b/graphviz/functions/gen_subroutine.dot index 63de13d..d372706 100644 --- a/graphviz/functions/gen_subroutine.dot +++ b/graphviz/functions/gen_subroutine.dot @@ -12,10 +12,10 @@ digraph fn_gen_function { a [label="push args into scope"]; b [label="new scope"]; c [label="gen_statement()" shape=diamond style=filled - fillcolor=lightcoral]; + fillcolor=lightsalmon]; d [label="fork on return"]; e [label="gen_return(GazType)" shape=diamond style=filled - fillcolor=lightcoral]; + fillcolor=lightsalmon]; f [label="return" style=filled fillcolor=lightskyblue1]; a -> b -> c -> d; diff --git a/graphviz/functions/statements/gen_assign.dot b/graphviz/functions/statements/gen_assign.dot index 1110899..5eb0b52 100644 --- a/graphviz/functions/statements/gen_assign.dot +++ b/graphviz/functions/statements/gen_assign.dot @@ -11,12 +11,12 @@ digraph fn_gen_assignment { a [label="fork on type"]; // read from stdinput - b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightcoral]; - c [label="gen_character()" shape=diamond style=filled fillcolor=lightcoral]; + 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=lightcoral]; - f [label="gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - g [label="gen_tuple()" shape=diamond style=filled fillcolor=lightcoral]; + 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]; {rank=same; b c e f g} diff --git a/graphviz/functions/statements/gen_decl.dot b/graphviz/functions/statements/gen_decl.dot index 6664a3e..2a4b4e3 100644 --- a/graphviz/functions/statements/gen_decl.dot +++ b/graphviz/functions/statements/gen_decl.dot @@ -10,12 +10,12 @@ digraph fn_gen_decl { newrank=true; a [label="fork on type"]; - b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightcoral]; - c [label="gen_character()" shape=diamond style=filled fillcolor=lightcoral]; + 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=lightcoral]; - f [label="gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - g [label="gen_tuple()" shape=diamond style=filled fillcolor=lightcoral]; + 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"]; diff --git a/graphviz/functions/statements/gen_global_decl.dot b/graphviz/functions/statements/gen_global_decl.dot index 6c79743..993eaa5 100644 --- a/graphviz/functions/statements/gen_global_decl.dot +++ b/graphviz/functions/statements/gen_global_decl.dot @@ -10,12 +10,12 @@ digraph fn_gen_decl { newrank=true; a [label="fork on type"]; - b [label="gen_boolean(global=true)" shape=diamond style=filled fillcolor=lightcoral]; - c [label="gen_character(global=true)" shape=diamond style=filled fillcolor=lightcoral]; + 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=lightcoral]; - f [label="gen_real(global=true)" shape=diamond style=filled fillcolor=lightcoral]; - g [label="gen_tuple(global=true)" shape=diamond style=filled fillcolor=lightcoral]; + 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]; diff --git a/graphviz/functions/statements/gen_if_statement.dot b/graphviz/functions/statements/gen_if_statement.dot index cd32e03..48a8605 100644 --- a/graphviz/functions/statements/gen_if_statement.dot +++ b/graphviz/functions/statements/gen_if_statement.dot @@ -9,15 +9,15 @@ digraph fn_gen_if_statement { rankdir=TB; newrank=true; - a [label="gen_boolean()" shape=diamond style=filled fillcolor=lightcoral]; + a [label="gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; b [label="push new scope"]; - c [label="gen_statement(with_return)" shape=diamond style=filled fillcolor=lightcoral]; + c [label="gen_statement(with_return)" shape=diamond style=filled fillcolor=lightsalmon]; d [label="choice"]; e [label="else if"]; - f [label="gen_if_statement(with_return)" shape=diamond style=filled fillcolor=lightcoral]; + f [label="gen_if_statement(with_return)" shape=diamond style=filled fillcolor=lightsalmon]; g [label="else"]; h [label="push new scope"]; - i [label="gen_statement(with_return)" shape=diamond style=filled fillcolor=lightcoral]; + i [label="gen_statement(with_return)" shape=diamond style=filled fillcolor=lightsalmon]; j [label="return" style=filled fillcolor=lightskyblue1]; {rank=same; e g} diff --git a/graphviz/functions/statements/gen_loop.dot b/graphviz/functions/statements/gen_loop.dot index 514cd54..6e39eec 100644 --- a/graphviz/functions/statements/gen_loop.dot +++ b/graphviz/functions/statements/gen_loop.dot @@ -11,7 +11,7 @@ digraph fn_gen_loop { a0 [label="choice"]; a1 [label="infinite_loop"]; - a2 [label="gen_statement(with_break)" shape=diamond style=filled fillcolor=lightcoral]; + a2 [label="gen_statement(with_break)" shape=diamond style=filled fillcolor=lightsalmon]; a3 [label="predicate_loop"]; a4 [label="todo" style=filled fillcolor=magenta]; a5 [label="return" style=filled fillcolor=lightskyblue1]; diff --git a/graphviz/functions/statements/gen_std_output.dot b/graphviz/functions/statements/gen_std_output.dot index c046d64..727b94c 100644 --- a/graphviz/functions/statements/gen_std_output.dot +++ b/graphviz/functions/statements/gen_std_output.dot @@ -10,7 +10,7 @@ digraph fn_gen_std_output { newrank=true; a [label="fork on type"]; - b [label="get_instant(type)" shape=diamond style=filled fillcolor=lightcoral]; + b [label="get_instant(type)" shape=diamond style=filled fillcolor=lightsalmon]; c [label="return" style=filled fillcolor=lightskyblue1]; a -> b -> c; diff --git a/graphviz/functions/types/gen_boolean.dot b/graphviz/functions/types/gen_boolean.dot index dd7124b..dd60d19 100644 --- a/graphviz/functions/types/gen_boolean.dot +++ b/graphviz/functions/types/gen_boolean.dot @@ -11,55 +11,55 @@ digraph fn_gen_boolean { a0 [label="choice" rank=max]; a1 [label="AND expr"]; - a2 [label="lhs gen_boolean()" shape=diamond style=filled fillcolor=lightcoral]; - a3 [label="rhs gen_boolean()" shape=diamond style=filled fillcolor=lightcoral]; + a2 [label="lhs gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; + a3 [label="rhs gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; a4 [label="OR expr"]; - a5 [label="lhs gen_boolean()" shape=diamond style=filled fillcolor=lightcoral]; - a6 [label="rhs gen_boolean()" shape=diamond style=filled fillcolor=lightcoral]; + a5 [label="lhs gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; + a6 [label="rhs gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; a7 [label="NOT expr"]; - a8 [label="rhs gen_boolean()" shape=diamond style=filled fillcolor=lightcoral]; + a8 [label="rhs gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon]; a9 [label="GT expr"]; - b0 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - b1 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + b0 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + b1 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; b2 [label="GE expr"]; - b3 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - b4 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + b3 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + b4 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; b5 [label="LT expr"]; - b6 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - b7 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + b6 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + b7 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; b8 [label="LE expr"]; - b9 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - c0 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + b9 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + c0 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; c1 [label="EQ expr"]; c2 [label="real_eq"]; - c3 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - c4 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + c3 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + c4 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; c5 [label="char_eq"]; - c6 [label="lhs gen_character()" shape=diamond style=filled fillcolor=lightcoral]; - c7 [label="rhs gen_character()" shape=diamond style=filled fillcolor=lightcoral]; + c6 [label="lhs gen_character()" shape=diamond style=filled fillcolor=lightsalmon]; + c7 [label="rhs gen_character()" shape=diamond style=filled fillcolor=lightsalmon]; c8 [label="tuple_eq"]; - c9 [label="lhs gen_tuple()" shape=diamond style=filled fillcolor=lightcoral]; - d0 [label="rhs gen_tuple()" shape=diamond style=filled fillcolor=lightcoral]; + c9 [label="lhs gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; + d0 [label="rhs gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; d1 [label="NE expr"]; d2 [label="real_eq"]; - d3 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - d4 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + d3 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + d4 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; d5 [label="char_eq"]; - d6 [label="lhs gen_character()" shape=diamond style=filled fillcolor=lightcoral]; - d7 [label="rhs gen_character()" shape=diamond style=filled fillcolor=lightcoral]; + d6 [label="lhs gen_character()" shape=diamond style=filled fillcolor=lightsalmon]; + d7 [label="rhs gen_character()" shape=diamond style=filled fillcolor=lightsalmon]; d8 [label="tuple_eq"]; - d9 [label="lhs gen_tuple()" shape=diamond style=filled fillcolor=lightcoral]; - e0 [label="rhs gen_tuple()" shape=diamond style=filled fillcolor=lightcoral]; + d9 [label="lhs gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; + e0 [label="rhs gen_tuple()" shape=diamond style=filled fillcolor=lightsalmon]; - node [shape=diamond style=filled fillcolor=lightcoral]; + node [shape=diamond style=filled fillcolor=lightsalmon]; e1 [label="get_instant()"]; e4 [label="return" shape=oval style=filled fillcolor=lightskyblue1]; diff --git a/graphviz/functions/types/gen_character.dot b/graphviz/functions/types/gen_character.dot index af7a617..7198250 100644 --- a/graphviz/functions/types/gen_character.dot +++ b/graphviz/functions/types/gen_character.dot @@ -10,7 +10,7 @@ digraph fn_gen_character { newrank=true; a [label="choice" rank=max]; - b [label="get_instant()" shape=diamond style=filled fillcolor=lightcoral]; + b [label="get_instant()" shape=diamond style=filled fillcolor=lightsalmon]; f [label="return" shape=oval style=filled fillcolor=lightskyblue1]; a -> b -> f; diff --git a/graphviz/functions/types/gen_integer.dot b/graphviz/functions/types/gen_integer.dot index 4578cae..c0846bc 100644 --- a/graphviz/functions/types/gen_integer.dot +++ b/graphviz/functions/types/gen_integer.dot @@ -12,36 +12,36 @@ digraph fn_gen_integer { a0 [label="choice" rank=max]; a1 [label="ADD expr"]; - a2 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; - a3 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; + a2 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + a3 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; a4 [label="SUB expr"]; - a5 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; - a6 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; + a5 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + a6 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; a7 [label="MUL expr"]; - a8 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; - a9 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; + a8 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + a9 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; b0 [label="DIV expr"]; - b1 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; - b2 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; + b1 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + b2 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; b3 [label="REM expr"]; - b4 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; - b5 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; + b4 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + b5 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; b6 [label="EXP expr"]; - b7 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; - b8 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; + b7 [label="lhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + b8 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; b9 [label="POS expr"]; - c0 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; + c0 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; c1 [label="NEG expr"]; - c2 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; + c2 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; - c3 [label="get_instant()" shape=diamond style=filled fillcolor=lightcoral]; + c3 [label="get_instant()" shape=diamond style=filled fillcolor=lightsalmon]; c4 [label="return" shape=oval style=filled fillcolor=lightskyblue1]; diff --git a/graphviz/functions/types/gen_real.dot b/graphviz/functions/types/gen_real.dot index 674dfe4..17f4c74 100644 --- a/graphviz/functions/types/gen_real.dot +++ b/graphviz/functions/types/gen_real.dot @@ -12,37 +12,37 @@ digraph fn_gen_integer { a0 [label="choice" rank=max]; a1 [label="ADD expr"]; - a2 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - a3 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + a2 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + a3 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; a4 [label="SUB expr"]; - a5 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - a6 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + a5 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + a6 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; a7 [label="MUL expr"]; - a8 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - a9 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + a8 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + a9 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; b0 [label="DIV expr"]; - b1 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - b2 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + b1 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + b2 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; b3 [label="REM expr"]; - b4 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - b5 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + b4 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + b5 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; b6 [label="EXP expr"]; - b7 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; - b8 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + b7 [label="lhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; + b8 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; b9 [label="POS expr"]; - c0 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + c0 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; c1 [label="NEG expr"]; - c2 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightcoral]; + c2 [label="rhs gen_real()" shape=diamond style=filled fillcolor=lightsalmon]; - c5 [label="gen_integer()" shape=diamond style=filled fillcolor=lightcoral]; - c3 [label="get_instant()" shape=diamond style=filled fillcolor=lightcoral]; + c5 [label="gen_integer()" shape=diamond style=filled fillcolor=lightsalmon]; + c3 [label="get_instant()" shape=diamond style=filled fillcolor=lightsalmon]; c4 [label="return" shape=oval style=filled fillcolor=lightskyblue1]; diff --git a/graphviz/functions/types/gen_tuple.dot b/graphviz/functions/types/gen_tuple.dot index 9ca852e..bf5bc42 100644 --- a/graphviz/functions/types/gen_tuple.dot +++ b/graphviz/functions/types/gen_tuple.dot @@ -12,7 +12,7 @@ digraph fn_gen_integer { a0 [label="choice" rank=max]; a1 [label="for each field"]; a2 [label="gen that type"]; - a3 [label="get_instant()" shape=diamond style=filled fillcolor=lightcoral]; + a3 [label="get_instant()" shape=diamond style=filled fillcolor=lightsalmon]; a4 [label="return" shape=oval style=filled fillcolor=lightskyblue1]; {rank=same; a1 a2 a3}