|
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;
}
