1 files changed, 46 insertions, 0 deletions
diff --git a/src/pervasive.h b/src/pervasive.h
new file mode 100644
index 0000000..cc63eea
--- /dev/null
+++ b/src/pervasive.h
@@ -0,0 +1,46 @@
+#ifndef _JH_PERVASIVE_H_
+#define _JH_PERVASIVE_H_
+
+#include <string.h>
+
+#define JH_SERVER_VERSION    1
+#define JH_PROTOCOL_VERSION  1
+
+#ifdef __FRAMAC__
+   #define JH_RUNNING_FRAMA_C 1
+#endif
+
+#define JH_DEBUG_ALL 0
+
+#ifndef JH_DEBUG_ALL
+   #define JH_DEBUG_ALL 0
+#endif
+
+#define JH_DEBUG_KNOWLEDGE (0 | JH_DEBUG_ALL)
+#define JH_DEBUG_KNOWLEDGE_LEARN_SEQUENCE \
+   (JH_DEBUG_KNOWLEDGE & (0 | JH_DEBUG_ALL))
+#define JH_DEBUG_KNOWLEDGE_LEARN_WORD \
+   (JH_DEBUG_KNOWLEDGE & (0 | JH_DEBUG_ALL))
+
+#define JH_DEBUG_SEQUENCE (0 | JH_DEBUG_ALL)
+#define JH_DEBUG_SEQUENCE_FROM_STRING \
+   (JH_DEBUG_SEQUENCE & (0 | JH_DEBUG_ALL))
+
+#define JH_DEBUG_SEQUENCE_CREATION \
+   (JH_DEBUG_SEQUENCE & (0 | JH_DEBUG_ALL))
+
+#define JH_DEBUG_SEQUENCE_CREATION_INIT \
+   (JH_DEBUG_SEQUENCE_CREATION & (0 | JH_DEBUG_ALL))
+
+#define JH_DEBUG_CORE (0 | JH_DEBUG_ALL)
+
+#define JH__TO_STRING(x) #x
+#define JH_TO_STRING(x) JH__TO_STRING(x)
+#define JH_ISOLATE(a) do {a} while (0)
+
+/* strncmp stops at '\0' and strlen does not count '\0'. */
+#define JH_IS_PREFIX(a, b) (strncmp(a, b, strlen(a)) == 0)
+
+#define JH_STRING_EQUALS(a, b) (strcmp(a, b) == 0)
+
+#endif