public asGenericArrayTypes ( ) : |
||
return | Get a new type for each type in this union which is the generic array version of this type. For instance, 'int|float' will produce 'int[]|float[]'. |
/** * @param Node $node * A node to parse * * @return Context * A new or an unchanged context resulting from * parsing the node */ public function visitDim(Node $node) : Context { // Make the right type a generic (i.e. int -> int[]) $right_type = $this->right_type->asGenericArrayTypes(); if ($node->children['expr']->kind == \ast\AST_VAR) { $variable_name = (new ContextNode($this->code_base, $this->context, $node))->getVariableName(); if (Variable::isSuperglobalVariableWithName($variable_name)) { return $this->analyzeSuperglobalDim($node, $variable_name); } } // Recurse into whatever we're []'ing $context = (new AssignmentVisitor($this->code_base, $this->context, $node, $right_type, true))($node->children['expr']); return $context; }
/** * @param Node $node * A node to parse * * @return Context * A new or an unchanged context resulting from * parsing the node */ public function visitDim(Node $node) : Context { // Make the right type a generic (i.e. int -> int[]) $right_type = $this->right_type->asGenericArrayTypes(); if ($node->children['expr']->kind == \ast\AST_VAR) { $variable_name = (new ContextNode($this->code_base, $this->context, $node))->getVariableName(); if ('GLOBALS' === $variable_name) { $dim = $node->children['dim']; if (is_string($dim)) { // You're not going to believe this, but I just // found a piece of code like $GLOBALS[mt_rand()]. // Super weird, right? assert(is_string($dim), "dim is not a string at {$this->context}"); $variable = new Variable($this->context, $dim, $this->right_type, $node->flags ?? 0); return $this->context->withGlobalScopeVariable($variable); } } } // Recurse into whatever we're []'ing $context = (new AssignmentVisitor($this->code_base, $this->context, $node, $right_type, true))($node->children['expr']); return $context; }