From 1d32728b9712702c9bca90d6dac370ff5fe2c214 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sat, 22 Apr 2017 21:33:47 +0200 Subject: Initial Commit --- src/pervasive.h | 46 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 src/pervasive.h (limited to 'src/pervasive.h') 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 + +#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 -- cgit v1.2.3-70-g09d2