git.m6w6.name Git - m6w6/ext-psi/blob - src/types/decl_var.c

   1 /*******************************************************************************
   2  Copyright (c) 2016, Michael Wallner <mike@php.net>.
   3  All rights reserved.
   4
   5  Redistribution and use in source and binary forms, with or without
   6  modification, are permitted provided that the following conditions are met:
   7
   8  * Redistributions of source code must retain the above copyright notice,
   9  this list of conditions and the following disclaimer.
  10  * Redistributions in binary form must reproduce the above copyright
  11  notice, this list of conditions and the following disclaimer in the
  12  documentation and/or other materials provided with the distribution.
  13
  14  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  15  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  16  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  17  DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
  18  FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  19  DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  20  SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  21  CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  22  OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  23  OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  24  *******************************************************************************/
  25
  26 #include "php_psi_stdinc.h"
  27 #include "data.h"
  28
  29 #include <assert.h>
  30
  31 struct psi_decl_var *psi_decl_var_init(const char *name, unsigned pl,
  32                 unsigned as)
  33 {
  34         struct psi_decl_var *v = calloc(1, sizeof(*v));
  35         if (name) {
  36                 v->name = strdup(name);
  37                 v->fqn = strdup(name);
  38         }
  39         v->pointer_level = pl;
  40         v->array_size = as;
  41         return v;
  42 }
  43
  44 struct psi_decl_var *psi_decl_var_copy(struct psi_decl_var *src)
  45 {
  46         struct psi_decl_var *dest = calloc(1, sizeof(*dest));
  47
  48         *dest = *src;
  49
  50         if (dest->name) {
  51                 dest->name = strdup(dest->name);
  52                 dest->fqn = strdup(dest->fqn);
  53         }
  54
  55         if (dest->token) {
  56                 dest->token = psi_token_copy(dest->token);
  57         }
  58         return dest;
  59 }
  60
  61 void psi_decl_var_free(struct psi_decl_var **var_ptr)
  62 {
  63         if (*var_ptr) {
  64                 struct psi_decl_var *var = *var_ptr;
  65
  66                 *var_ptr = NULL;
  67                 if (var->token) {
  68                         free(var->token);
  69                 }
  70                 if (var->name) {
  71                         free(var->name);
  72                         free(var->fqn);
  73                 }
  74                 free(var);
  75         }
  76 }
  77
  78 void psi_decl_var_dump(int fd, struct psi_decl_var *var)
  79 {
  80         dprintf(fd, "%s%s",
  81                         psi_t_indirection(var->pointer_level - !!var->array_size),
  82                         var->name ? var->name : "/**/");
  83         if (var->array_size) {
  84                 dprintf(fd, "[%u]", var->array_size);
  85         }
  86 }
  87
  88 bool psi_decl_var_validate(struct psi_data *data, struct psi_decl_var *dvar,
  89                 struct psi_impl *impl, struct psi_decl *decl,
  90                 struct psi_let_exp *let_exp, struct psi_set_exp *set_exp)
  91 {
  92         bool okay = false;
  93         struct psi_let_exp *current_let_exp = let_exp;
  94         struct psi_set_exp *current_set_exp = set_exp;
  95
  96         if (dvar->arg) {
  97                 return true;
  98         }
  99
 100         if (current_let_exp) {
 101                 /* walk up the let expression tree until found */
 102                 while ((current_let_exp = current_let_exp->outer)) {
 103                         struct psi_decl_var *svar = current_let_exp->var;
 104
 105
 106                         if (!okay) {
 107                                 struct psi_plist *args = psi_decl_type_get_args(svar->arg->type,
 108                                                 NULL);
 109
 110                                 if (args && psi_decl_arg_get_by_var(dvar, args, NULL)) {
 111                                         okay = true;
 112                                 } else if (!strcmp(svar->name, dvar->name)) {
 113                                         dvar->arg = svar->arg;
 114                                         okay = true;
 115                                 }
 116                         }
 117                         if (okay) {
 118                                 dvar->fqn = psi_decl_var_name_prepend(dvar->fqn, svar->name);
 119                         }
 120                 }
 121         } else if (current_set_exp) {
 122                 /* walk up the set expression tree until found */
 123                 while ((current_set_exp = current_set_exp->outer)) {
 124                         struct psi_decl_var *svar = psi_set_exp_get_decl_var(
 125                                         current_set_exp);
 126
 127                         if (!okay) {
 128                                 struct psi_plist *args = psi_decl_type_get_args(svar->arg->type,
 129                                                 NULL);
 130
 131                                 if (args && psi_decl_arg_get_by_var(dvar, args, NULL)) {
 132                                         okay = true;
 133                                 } else if (!strcmp(svar->name, dvar->name)) {
 134                                         dvar->arg = svar->arg;
 135                                         okay = true;
 136                                 }
 137                         }
 138                         if (okay) {
 139                                 dvar->fqn = psi_decl_var_name_prepend(dvar->fqn, svar->name);
 140                         }
 141                 }
 142         }
 143
 144         if (!okay && impl && psi_impl_get_decl_arg(impl, dvar)) {
 145                 okay = true;
 146         }
 147         if (!okay && decl && psi_decl_get_arg(decl, dvar)) {
 148                 okay = true;
 149         }
 150
 151         return okay;
 152 }
 153
 154 size_t psi_decl_var_get_size(struct psi_decl_var *var)
 155 {
 156         struct psi_decl_var *decl_var = var->arg->var;
 157         size_t pointer_level = decl_var->pointer_level - var->pointer_level;
 158
 159         if (pointer_level) {
 160                 return SIZEOF_VOID_P;
 161         }
 162
 163         return psi_decl_type_get_size(var->arg->type, NULL);
 164 }