X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Flet_func.c;fp=src%2Ftypes%2Flet_func.c;h=d32b00b25aafc8bcc86196b2d127caca29ca70a4;hp=0000000000000000000000000000000000000000;hb=2f5af21b263403997e154658635d6b6e6eaab453;hpb=898c6dac30d12d7fe56662d66a8e73c340926d64

diff --git a/src/types/let_func.c b/src/types/let_func.c
new file mode 100644
index 0000000..d32b00b
--- /dev/null
+++ b/src/types/let_func.c
@@ -0,0 +1,154 @@
+/*******************************************************************************
+ Copyright (c) 2016, Michael Wallner <mike@php.net>.
+ All rights reserved.
+
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions are met:
+
+     * Redistributions of source code must retain the above copyright notice,
+       this list of conditions and the following disclaimer.
+     * Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in the
+       documentation and/or other materials provided with the distribution.
+
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+ DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+ FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+ SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+ CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+ OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+*******************************************************************************/
+
+#ifdef HAVE_CONFIG_H
+# include "config.h"
+#else
+# include "php_config.h"
+#endif
+
+#include <stdlib.h>
+#include <stdio.h>
+#include <string.h>
+#include <assert.h>
+
+#include "data.h"
+#include "marshal.h"
+
+let_func *init_let_func(token_t type, const char *name, impl_var *var) {
+	let_func *func = calloc(1, sizeof(*func));
+	func->type = type;
+	func->name = strdup(name);
+	func->var = var;
+	return func;
+}
+
+void free_let_func(let_func *func) {
+	free_impl_var(func->var);
+	free(func->name);
+	if (func->inner) {
+		free_let_vals(func->inner);
+	}
+	free(func);
+}
+
+void dump_let_func(int fd, let_func *func, unsigned level) {
+	dprintf(fd, "%s(%s", func->name, func->var->name);
+
+	if (func->inner) {
+		size_t i;
+
+		dprintf(fd, ",");
+		for (i = 0; i < func->inner->count; ++i) {
+			dprintf(fd, "\n");
+			dump_let_val(fd, func->inner->vals[i], level+1, i+1 == func->inner->count);
+		}
+		dprintf(fd, "\n");
+		dprintf(fd, "%s", psi_t_indent(level));
+	}
+	dprintf(fd, ")");
+}
+
+static inline int validate_let_func_type(struct psi_data *data, let_func *func, impl *impl) {
+	switch (func->type) {
+	case PSI_T_BOOLVAL:
+	case PSI_T_INTVAL:
+	case PSI_T_FLOATVAL:
+	case PSI_T_STRVAL:
+	case PSI_T_STRLEN:
+	case PSI_T_PATHVAL:
+	case PSI_T_ARRVAL:
+	case PSI_T_OBJVAL:
+	case PSI_T_ZVAL:
+	case PSI_T_VOID:
+		return 1;
+	default:
+		data->error(data, func->var->token, PSI_WARNING,
+				"Unknown `let` cast function '%s' of implementation '%s'",
+				func->name, impl->func->name);
+		return 0;
+	}
+}
+
+static inline int validate_let_func_inner(struct psi_data *data, let_func *func, decl_var *let_var, impl *impl) {
+	if (func->inner) {
+		size_t i;
+		decl_type *var_typ;
+		decl_args *sub_args = extract_decl_type_args(let_var->arg->type, &var_typ);
+
+		if (!sub_args) {
+			data->error(data, let_var->token, PSI_WARNING,
+					"Inner let statement's values must refer to a structure type,"
+					" got '%s' for '%s'",
+					var_typ->name, let_var->name);
+			return 0;
+		}
+
+		for (i = 0; i < func->inner->count; ++i) {
+			let_val *inner = func->inner->vals[i];
+			let_val *outer = func->outer;
+			const char *name = locate_let_val_varname(inner);
+			decl_arg *sub_arg;
+
+			if (name) {
+				sub_arg = locate_decl_arg(sub_args, name);
+			}
+			if (!name || !sub_arg) {
+				data->error(data, let_var->token, PSI_WARNING,
+						"Unknown variable '%s' of '%s'",
+						name, var_typ->real.strct->name);
+				return 0;
+			}
+			if (!validate_let_val(data, inner, sub_arg->var, impl)) {
+				return 0;
+			}
+		}
+	}
+	return 1;
+}
+
+int validate_let_func(struct psi_data *data, let_func *func, decl_var *let_var, impl *impl) {
+	if (func->outer) {
+
+	}
+	if (impl->func->args) {
+		locate_impl_var_arg(func->var, impl->func->args);
+	}
+	if (!func->var->arg && !func->ref) {
+		data->error(data, func->var->token, PSI_WARNING,
+				"Unknown variable '%s%s' of `let` statement"
+				" for cast '%s' of implementation '%s'",
+				*func->var->name == '$' ? "" : "$",
+				func->var->name, func->name, impl->func->name);
+		return 0;
+	}
+	if (!validate_let_func_type(data, func, impl)) {
+		return 0;
+	}
+	if (!validate_let_func_inner(data, func, let_var, impl)) {
+		return 0;
+	}
+	return 1;
+}