First commit

Signed-off-by: Mattias Andrée <maandree@kth.se>

1 files changed, 44 insertions, 0 deletions

diff --git a/libnormalform_evaluate.c b/libnormalform_evaluate.c
new file mode 100644
index 0000000..80749ed
--- /dev/null
+++ b/libnormalform_evaluate.c
@@ -0,0 +1,44 @@
+/* See LICENSE file for copyright and license details. */
+#include "common.h"
+#ifndef TEST
+
+
+int
+(libnormalform_evaluate)(LIBNORMALFORM_SENTENCE *this)
+{
+	return this->evaluate(this, NULL);
+}
+
+
+#else
+
+
+#define EVALUATION_RESULT 5
+
+static LIBNORMALFORM_SENTENCE *evaluation_this;
+
+static int
+evaluation(LIBNORMALFORM_SENTENCE *this, void *input)
+{
+	ASSERT(this);
+	ASSERT(this == evaluation_this);
+	ASSERT(input == NULL);
+	return EVALUATION_RESULT;
+}
+
+
+int
+main(void)
+{
+	TEST_BEGIN;
+
+	LIBNORMALFORM_SENTENCE a;
+	evaluation_this = &a;
+	a.evaluate = &evaluation;
+	ASSERT(libnormalform_evaluate(&a) == EVALUATION_RESULT);
+
+	TEST_END;
+}
+
+
+#endif