Merge branch 'slimconfigure'
[m6w6/ext-psi] / src / types / decl_var.c
index fa495bf1904f853ab58470bc56bd1f5a862e7831..7f041274aa019309f14dbc9b889a24c02d04a90f 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));
+       if (name) {
+               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));
-       dest->name = strdup(dest->name);
+struct psi_decl_var *psi_decl_var_copy(struct psi_decl_var *src)
+{
+       struct psi_decl_var *dest = calloc(1, sizeof(*dest));
+
+       *dest = *src;
+
+       if (dest->name) {
+               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);
+               }
+               if (var->name) {
+                       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 ? 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_validate_scope *scope)
+{
+       bool okay = false;
+
+       if (scope && scope->current_let) {
+               struct psi_let_exp *current_let_exp = scope->current_let;
+
+               /* 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);
 
-               return var->arg = arg;
+                       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);
+                       }
+               }
+       } else if (scope && scope->current_set) {
+               struct psi_set_exp *current_set_exp = scope->current_set;
+
+               /* 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 (!okay && scope && scope->impl && psi_impl_get_decl_arg(scope->impl, dvar)) {
+               okay = true;
+       }
+       if (!okay && scope && scope->cb_decl && psi_decl_get_arg(scope->cb_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);
 }