From f973917b2649f281098b24ad8de014e25443d362 Mon Sep 17 00:00:00 2001
From: Akemi Izuko <akemi@noway.moe>
Date: Tue, 14 Nov 2023 16:55:09 -0700
Subject: [PATCH] Graphviz: basic types

---
 graphviz/functions/types/gen_boolean.dot   | 91 ++++++++++++++++++++++
 graphviz/functions/types/gen_character.dot | 17 ++++
 graphviz/functions/types/gen_integer.dot   | 57 ++++++++++++++
 3 files changed, 165 insertions(+)
 create mode 100644 graphviz/functions/types/gen_boolean.dot
 create mode 100644 graphviz/functions/types/gen_character.dot
 create mode 100644 graphviz/functions/types/gen_integer.dot

diff --git a/graphviz/functions/types/gen_boolean.dot b/graphviz/functions/types/gen_boolean.dot
new file mode 100644
index 0000000..dd7124b
--- /dev/null
+++ b/graphviz/functions/types/gen_boolean.dot
@@ -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;
+}
diff --git a/graphviz/functions/types/gen_character.dot b/graphviz/functions/types/gen_character.dot
new file mode 100644
index 0000000..af7a617
--- /dev/null
+++ b/graphviz/functions/types/gen_character.dot
@@ -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;
+}
diff --git a/graphviz/functions/types/gen_integer.dot b/graphviz/functions/types/gen_integer.dot
new file mode 100644
index 0000000..4578cae
--- /dev/null
+++ b/graphviz/functions/types/gen_integer.dot
@@ -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;
+}