Second commitHEADmaster

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

1 files changed, 124 insertions, 0 deletions

diff --git a/libnormalform_apply_transformation__.c b/libnormalform_apply_transformation__.c
new file mode 100644
index 0000000..03af62c
--- /dev/null
+++ b/libnormalform_apply_transformation__.c
@@ -0,0 +1,124 @@
+/* See LICENSE file for copyright and license details. */
+#include "common.h"
+#ifndef TEST
+
+
+/**
+ * Transformation function for `LIBNORMALFORM_DOMAIN_VIEW`,
+ * see `.transform` of `libnormalform_transformer` for
+ * more information
+ * 
+ * Outputs the `.key` for `input`; `input` has the type
+ * `struct libnormalform_mapping *`
+ */
+static void *
+domain_view_transform(void *user_data, void *input)
+{
+	struct libnormalform_mapping *kvpair = input;
+	(void) user_data;
+	return kvpair->key;
+}
+
+
+/**
+ * Transformation function for `LIBNORMALFORM_IMAGE_VIEW`,
+ * see `.transform` of `libnormalform_transformer` for
+ * more information
+ * 
+ * Outputs the `.value` for `input`; `input` has the type
+ * `struct libnormalform_mapping *`
+ */
+static void *
+image_view_transform(void *user_data, void *input)
+{
+	struct libnormalform_mapping *kvpair = input;
+	(void) user_data;
+	return kvpair->value;
+}
+
+
+int
+(libnormalform_apply_transformation__)(struct expression *this, enum libnormalform_builtin_transformer transformer)
+{
+	/* Only .builtin is actually needed, but the others
+	 * could be useful for debugging by the user */
+	static struct libnormalform_transformer domain_view = {
+		.transform = &domain_view_transform,
+		.deallocate = NULL,
+		.user_data = NULL,
+		.identifier = "<builtin:domain-view>",
+		.builtin = LIBNORMALFORM_DOMAIN_VIEW
+	};
+	static struct libnormalform_transformer image_view = {
+		.transform = &image_view_transform,
+		.deallocate = NULL,
+		.user_data = NULL,
+		.identifier = "<builtin:image-view>",
+		.builtin = LIBNORMALFORM_IMAGE_VIEW
+	};
+
+	size_t i;
+	struct expression *new, **term_singleton;
+
+	switch (this->type) {
+	case LIBNORMALFORM_CONJUNCTION:
+	case LIBNORMALFORM_DISJUNCTION:
+	case LIBNORMALFORM_EXCLUSIVE_DISJUNCTION:
+		/* transformations are morphism */
+		for (i = 0; i < this->nterms; i++)
+			if (libnormalform_apply_transformation__(this->terms[i], transformer))
+				return -1;
+		break;
+
+	case LIBNORMALFORM_TRANSFORMATION:
+	case LIBNORMALFORM_FUNCTION:
+	case LIBNORMALFORM_NEGATED_FUNCTION:
+		new = malloc(sizeof(*new));
+		if (!new)
+			return -1;
+		term_singleton = malloc(sizeof(*term_singleton));
+		if (!term_singleton) {
+			free(new);
+			return -1;
+		}
+		*new = *this;
+		*this = EXPRESSION_INIT(LIBNORMALFORM_TRANSFORMATION);
+		this->nterms = 1;
+		this->terms = term_singleton;
+		this->terms[0] = new;
+		switch (transformer) {
+		case LIBNORMALFORM_DOMAIN_VIEW:
+			this->user_item = &domain_view;
+			break;
+		case LIBNORMALFORM_IMAGE_VIEW:
+			this->user_item = &image_view;
+			break;
+		default:
+		case LIBNORMALFORM_NOT_BUILT_IN:
+			abort();
+		}
+		break;
+
+	case LIBNORMALFORM_VARIABLE:
+	case LIBNORMALFORM_NEGATED_VARIABLE:
+		/* variables are input-independent leafs */
+	case LIBNORMALFORM_FOR_ALL:
+	case LIBNORMALFORM_NEGATED_FOR_ALL:
+	case LIBNORMALFORM_FOR_ANY:
+	case LIBNORMALFORM_NEGATED_FOR_ANY:
+	case LIBNORMALFORM_FOR_ONE:
+	case LIBNORMALFORM_NEGATED_FOR_ONE:
+		/* qualifiers reset input */
+	default:
+		break;
+	}
+
+	return 0;
+}
+
+
+#else
+
+TODO_TEST
+
+#endif