1 files changed, 32 insertions, 0 deletions
diff --git a/src/zen/zen_facts.h b/src/zen/zen_facts.h
new file mode 100644
index 0000000..ce5b952
--- /dev/null
+++ b/src/zen/zen_facts.h
@@ -0,0 +1,32 @@
+
+#ifndef ZEN_FACTS_H
+#define ZEN_FACTS_H
+
+#include "../zprep.h"
+
+typedef enum
+{
+    TRIGGER_GOTO,
+    TRIGGER_POINTER_ARITH,
+    TRIGGER_BITWISE,
+    TRIGGER_RECURSION,
+    TRIGGER_TERNARY,
+    TRIGGER_ASM,
+    TRIGGER_WHILE_TRUE,
+    TRIGGER_MACRO,
+    TRIGGER_VOID_PTR,
+    TRIGGER_MAIN,
+    TRIGGER_FORMAT_STRING,
+    TRIGGER_STRUCT_PADDING,
+    TRIGGER_GLOBAL
+} ZenTrigger;
+
+void zen_init(void);
+
+int zen_trigger_at(ZenTrigger t, Token location);
+
+void zen_trigger_global(void);
+
+const char *zen_get_fact(ZenTrigger t);
+
+#endif