raising the head after a three-weeks refactoring
[m6w6/ext-psi] / src / types / decl_var.c
index fa495bf1904f853ab58470bc56bd1f5a862e7831..763ea1824bc29683efa346d2a9ac32cf6e03d5ab 100644 (file)
@@ -5,11 +5,11 @@
  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.
+ * 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
  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 "php_psi_stdinc.h"
+#include "data.h"
 
-#include <stdlib.h>
-#include <stdio.h>
 #include <assert.h>
 
-#include "data.h"
-
-decl_var *init_decl_var(const char *name, unsigned pl, unsigned as) {
-       decl_var *v = calloc(1, sizeof(*v));
-       v->name = (char *) strdup((const char *) name);
+struct psi_decl_var *psi_decl_var_init(const char *name, unsigned pl,
+               unsigned as)
+{
+       struct psi_decl_var *v = calloc(1, sizeof(*v));
+       v->name = strdup(name);
+       v->fqn = strdup(name);
        v->pointer_level = pl;
        v->array_size = as;
        return v;
 }
 
-decl_var *copy_decl_var(decl_var *src) {
-       decl_var *dest = calloc(1, sizeof(*dest));
-       memcpy(dest, src, sizeof(*dest));
+struct psi_decl_var *psi_decl_var_copy(struct psi_decl_var *src)
+{
+       struct psi_decl_var *dest = calloc(1, sizeof(*dest));
+
+       *dest = *src;
        dest->name = strdup(dest->name);
+       dest->fqn = strdup(dest->fqn);
+
        if (dest->token) {
                dest->token = psi_token_copy(dest->token);
        }
        return dest;
 }
 
-void free_decl_var(decl_var *var) {
-       if (var->token) {
-               free(var->token);
+void psi_decl_var_free(struct psi_decl_var **var_ptr)
+{
+       if (*var_ptr) {
+               struct psi_decl_var *var = *var_ptr;
+
+               *var_ptr = NULL;
+               if (var->token) {
+                       free(var->token);
+               }
+               free(var->name);
+               free(var->fqn);
+               free(var);
        }
-       free(var->name);
-       free(var);
 }
 
-void dump_decl_var(int fd, decl_var *var) {
+void psi_decl_var_dump(int fd, struct psi_decl_var *var)
+{
        dprintf(fd, "%s%s",
-                       psi_t_indirection(var->pointer_level-!!var->array_size), var->name);
+                       psi_t_indirection(var->pointer_level - !!var->array_size),
+                       var->name);
        if (var->array_size) {
                dprintf(fd, "[%u]", var->array_size);
        }
 }
 
-decl_arg *locate_decl_var_arg(decl_var *var, decl_args *args, decl_arg *func) {
-       decl_arg *arg = locate_decl_arg(args, var->name);
+bool psi_decl_var_validate(struct psi_data *data, struct psi_decl_var *dvar,
+               struct psi_decl *decl, struct psi_let_exp *let_exp,
+               struct psi_set_exp *set_exp)
+{
+       bool okay = false;
+       struct psi_let_exp *current_let_exp = let_exp;
+       struct psi_set_exp *current_set_exp = set_exp;
+
+       if (current_let_exp) {
+               /* walk up the let expression tree until found */
+               while ((current_let_exp = current_let_exp->outer)) {
+                       struct psi_decl_var *svar = current_let_exp->var;
+
 
-       if (arg) {
-               assert(!var->arg || var->arg == arg);
+                       if (!okay) {
+                               struct psi_plist *args = psi_decl_type_get_args(svar->arg->type,
+                                               NULL);
 
-               return var->arg = arg;
+                               if (args && psi_decl_arg_get_by_var(dvar, args, NULL)) {
+                                       okay = true;
+                               } else if (!strcmp(svar->name, dvar->name)) {
+                                       dvar->arg = svar->arg;
+                                       okay = true;
+                               }
+                       }
+                       if (okay) {
+                               dvar->fqn = psi_decl_var_name_prepend(dvar->fqn, svar->name);
+                       }
+               }
+       } else if (current_set_exp) {
+               /* walk up the set expression tree until found */
+               while ((current_set_exp = current_set_exp->outer)) {
+                       struct psi_decl_var *svar = psi_set_exp_get_decl_var(
+                                       current_set_exp);
+
+                       if (!okay) {
+                               struct psi_plist *args = psi_decl_type_get_args(svar->arg->type,
+                                               NULL);
+
+                               if (args && psi_decl_arg_get_by_var(dvar, args, NULL)) {
+                                       okay = true;
+                               } else if (!strcmp(svar->name, dvar->name)) {
+                                       dvar->arg = svar->arg;
+                                       okay = true;
+                               }
+                       }
+                       if (okay) {
+                               dvar->fqn = psi_decl_var_name_prepend(dvar->fqn, svar->name);
+                       }
+               }
+       }
+
+       if (decl && !okay && psi_decl_get_arg(decl, dvar)) {
+               okay = true;
        }
 
-       if (func && !strcmp(var->name, func->var->name)) {
-               return var->arg = func;
+       return okay;
+}
+
+size_t psi_decl_var_get_size(struct psi_decl_var *var)
+{
+       struct psi_decl_var *decl_var = var->arg->var;
+       size_t pointer_level = decl_var->pointer_level - var->pointer_level;
+
+       if (pointer_level) {
+               return SIZEOF_VOID_P;
        }
 
-       return NULL;
+       return psi_decl_type_get_size(var->arg->type, NULL);
 }