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

Graphviz: basic types

Browse source
This commit is contained in:
Akemi Izuko 2023-11-14 16:55:09 -07:00
parent fa065a9d67
commit f973917b26
Signed by: akemi
GPG key ID: 8DE0764E1809E9FC
3 changed files with 165 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

91
graphviz/functions/types/gen_boolean.dot Normal file
View file

@ -0,0 +1,91 @@
digraph fn_gen_boolean {
labelloc="t";
graph [fontname = "cc wild words"];
node [fontname = "cc wild words"];
edge [fontname = "cc wild words"];
label="fn_gen_boolean()";
fontname=lovebeat;
rankdir=LR;
newrank=true;
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];
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];
a7 [label="NOT expr"];
a8 [label="rhs gen_boolean()" shape=diamond style=filled fillcolor=lightcoral];
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];
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];
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];
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];
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];
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];
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];
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];
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];
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];
node [shape=diamond style=filled fillcolor=lightcoral];
e1 [label="get_instant()"];
e4 [label="return" shape=oval style=filled fillcolor=lightskyblue1];
a0 -> a1;
a0 -> a4;
a0 -> a7;
a0 -> a9;
a0 -> b2;
a0 -> b5;
a0 -> b8;
a0 -> c1;
a0 -> d1;
a0 -> e1 -> e4;
a1 -> a2 -> a3 -> e4;
a4 -> a5 -> a6 -> e4;
a7 -> a8 -> e4;
a9 -> b0 -> b1 -> e4;
b2 -> b3 -> b4 -> e4;
b5 -> b6 -> b7 -> e4;
b8 -> b9 -> c0 -> e4;
c1 -> c2 -> c3 -> c4 -> e4;
c1 -> c5 -> c6 -> c7 -> e4;
c1 -> c8 -> c9 -> d0 -> e4;
d1 -> d2 -> d3 -> d4 -> e4;
d1 -> d5 -> d6 -> d7 -> e4;
d1 -> d8 -> d9 -> e0 -> e4;
}

17
graphviz/functions/types/gen_character.dot Normal file
View file

@ -0,0 +1,17 @@
digraph fn_gen_character {
labelloc="t";
graph [fontname = "cc wild words"];
node [fontname = "cc wild words"];
edge [fontname = "cc wild words"];
label="fn_gen_character()";
fontname=lovebeat;
rankdir=LR;
newrank=true;
a [label="choice" rank=max];
b [label="get_instant()" shape=diamond style=filled fillcolor=lightcoral];
f [label="return" shape=oval style=filled fillcolor=lightskyblue1];
a -> b -> f;
}

57
graphviz/functions/types/gen_integer.dot Normal file
View file

@ -0,0 +1,57 @@
digraph fn_gen_integer {
labelloc="t";
graph [fontname = "cc wild words"];
node [fontname = "cc wild words"];
edge [fontname = "cc wild words"];
label="fn_gen_integer()";
fontname=lovebeat;
rankdir=LR;
newrank=true;
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];
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];
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];
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];
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];
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];
b9 [label="POS expr"];
c0 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral];
c1 [label="NEG expr"];
c2 [label="rhs gen_integer()" shape=diamond style=filled fillcolor=lightcoral];
c3 [label="get_instant()" shape=diamond style=filled fillcolor=lightcoral];
c4 [label="return" shape=oval style=filled fillcolor=lightskyblue1];
a0 -> a1 -> a2 -> a3 -> c4;
a0 -> a4 -> a5 -> a6 -> c4;
a0 -> a7 -> a8 -> a9 -> c4;
a0 -> b0 -> b1 -> b2 -> c4;
a0 -> b3 -> b4 -> b5 -> c4;
a0 -> b6 -> b7 -> b8 -> c4;
a0 -> b9 -> c0 -> c4;
a0 -> c1 -> c2 -> c4;
a0 -> c3 -> c4;
}