2023-11-14 18:11:43 -07:00
|
|
|
digraph fn_gen_assignment {
|
|
|
|
labelloc="t";
|
|
|
|
graph [fontname = "cc wild words"];
|
|
|
|
node [fontname = "cc wild words"];
|
|
|
|
edge [fontname = "cc wild words"];
|
|
|
|
|
|
|
|
label="fn_gen_assignment(type: GazType)";
|
|
|
|
fontname=lovebeat;
|
|
|
|
rankdir=LR;
|
|
|
|
newrank=true;
|
|
|
|
|
|
|
|
a [label="fork on type"];
|
|
|
|
// read from stdinput
|
2023-11-15 14:52:41 -07:00
|
|
|
b [label="gen_boolean()" shape=diamond style=filled fillcolor=lightsalmon];
|
|
|
|
c [label="gen_character()" shape=diamond style=filled fillcolor=lightsalmon];
|
2023-11-14 18:11:43 -07:00
|
|
|
d [label="create real"]
|
2023-11-15 14:52:41 -07:00
|
|
|
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];
|
2023-11-14 18:11:43 -07:00
|
|
|
k [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;
|
|
|
|
}
|