<?php

namespace PHPStan\PhpDocParser\Ast\Type;

use PHPStan\PhpDocParser\Ast\NodeAttributes;

use function implode;
use function sprintf;

class GenericTypeNode implements TypeNode
{
    use NodeAttributes;

    public const VARIANCE_INVARIANT = 'invariant';
    public const VARIANCE_COVARIANT = 'covariant';
    public const VARIANCE_CONTRAVARIANT = 'contravariant';
    public const VARIANCE_BIVARIANT = 'bivariant';

    /** @var IdentifierTypeNode */
    public $type;

    /** @var TypeNode[] */
    public $genericTypes;

    /** @var (self::VARIANCE_*)[] */
    public $variances;

    public function __construct(IdentifierTypeNode $type, array $genericTypes, array $variances = [])
    {
        $this->type = $type;
        $this->genericTypes = $genericTypes;
        $this->variances = $variances;
    }

    public function __toString(): string
    {
        $genericTypes = [];

        foreach ($this->genericTypes as $index => $type) {
            $variance = $this->variances[$index] ?? self::VARIANCE_INVARIANT;
            if ($variance === self::VARIANCE_INVARIANT) {
                $genericTypes[] = (string) $type;
            } elseif ($variance === self::VARIANCE_BIVARIANT) {
                $genericTypes[] = '*';
            } else {
                $genericTypes[] = sprintf('%s %s', $variance, $type);
            }
        }

        return $this->type . '<' . implode(', ', $genericTypes) . '>';
    }
}
__halt_compiler();----SIGNATURE:----KhOx7kfEu18XRY+4tABEY72ln76LvmrgIDqGfv1cUhDsBllRbxWNn/2NQ7fRArOYDC5znGZrHke+WZMv7oN3fA2iO+K2TJWO0eFTkzb/WIARTgrqic0RoH4RdNoWFfgmOtJKzLwpqHL8SVemYUQvIuDuC7k+nZI8M1yPdj/ldIDu38omZ3x03QHrIp2HUiuvcG70C3hKvvmk80fD/3nrAJdTH//kFRTU9doinQ3KClQsWZzUSD7Z0vLHghozOm5C7kBdtcB7NxGGd6dkGKBrfzAQf6b3gdmuxKPdFhD0R9z9X6ibH0+LemRHcIiWucSdxkvaD14G22AMIEgaHMsBzZ170YK93H3STFM8HCwoOsqJ2vsFlIRDCqdVMezX8UJr/B0q0nVos7zT8FiwMYqMHC2wDS3ER+XxRuQKCQLOE8GhaJdUJLp+V3PRJdFMmzSw/njt7VA2F2EKbMD5hwLIPJyBGdVRF74H3Nk2u5jdZrE7V0jYNEyoMQnIpJpzFnqGA9C6xWErUM+ocLE5pu2A08/bs1sVJPOn6s99kJw+a65QthgItvoJ6UI/jla3+RzKBTo3fWVrutko0CR/P5L/4VJI8MvxPtWKXIkbVcu8oJey9yS+9BCGGAKLss8yI7b2uHgcM0lJIecHPD/rNRQdN2g70pzNgT7bROWeRfZzNQw=----ATTACHMENT:----NzM2OTE1Nzc0MDcwOTg4NyAxMzQwODM3NDA1NzA5MTg4IDg4MzY2MTk0MjEwNDI3NTM=