From 1d32728b9712702c9bca90d6dac370ff5fe2c214 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Sat, 22 Apr 2017 21:33:47 +0200
Subject: Initial Commit

---
 src/core/char.h | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 src/core/char.h

(limited to 'src/core/char.h')

diff --git a/src/core/char.h b/src/core/char.h
new file mode 100644
index 0000000..fb4998e
--- /dev/null
+++ b/src/core/char.h
@@ -0,0 +1,27 @@
+#ifndef _JH_CORE_CHAR_H_
+#define _JH_CORE_CHAR_H_
+
+#include "char_types.h"
+
+/* Compares two words. {word_a} does not have to be null terminated. */
+/*@
+ @ requires null_terminated_string(word_b);
+ @ requires ((length(word_a) * sizeof(JH_char)) == word_a_size);
+ @ ensures ((\result == 1) || (\result == 0) || (\result == -1));
+ @*/
+int JH_word_cmp
+(
+   const JH_char word_a [const static 1],
+   const size_t word_a_size,
+   const JH_char word_b [const static 1],
+   const size_t word_b_size
+);
+
+/*
+ * Returns the lowercase equivalent of JH_char that are included in ['A','Z'].
+ * Other JH_char are returned untouched.
+ */
+JH_char JH_char_to_lowercase (const JH_char c);
+
+#endif
+
-- 
cgit v1.2.3-70-g09d2