First shot at the framework (it does compile).

1 files changed, 24 insertions, 0 deletions

diff --git a/data/level/control_flow_level.lvl b/data/level/control_flow_level.lvl
new file mode 100644
index 0000000..516f9ef
--- /dev/null
+++ b/data/level/control_flow_level.lvl
@@ -0,0 +1,24 @@
+;; Control Flow Level
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;; TYPES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(add_type node)
+(add_type node_depth)
+
+;; Redundancies
+(add_type process)
+(add_type string)
+(add_type waveform)
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+(add_predicate is_start_node node process)
+(add_predicate has_kind node string)
+(add_predicate has_option node string)
+(add_predicate has_depth node node_depth)
+(add_predicate node_connect node node)
+(add_predicate expr_writes node waveform)
+(add_predicate expr_reads node waveform)