asGenericArrayTypes() публичный Метод

public asGenericArrayTypes ( ) : UnionType
Результат UnionType 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[]'.
Пример #1
0
 /**
  * @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;
 }
Пример #2
0
 /**
  * @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;
 }