<?php

/**
 * Test: Nette\Utils\Type
 */

declare(strict_types=1);

use Nette\Utils\Type;
use Tester\Assert;

require __DIR__ . '/../bootstrap.php';


$type = Type::fromString('string');

Assert::same(['string'], $type->getNames());
Assert::equal([Type::fromString('string')], $type->getTypes());
Assert::same('string', (string) $type);
Assert::same('string', $type->getSingleName());
Assert::false($type->isClass());
Assert::false($type->isUnion());
Assert::false($type->isIntersection());
Assert::true($type->isSimple());
Assert::true($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('string|null');

Assert::same(['string', 'null'], $type->getNames());
Assert::equal([Type::fromString('string'), Type::fromString('null')], $type->getTypes());
Assert::same('?string', (string) $type);
Assert::same('string', $type->getSingleName());
Assert::false($type->isClass());
Assert::true($type->isUnion());
Assert::false($type->isIntersection());
Assert::true($type->isSimple());
Assert::true($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('null|string');

Assert::same(['string', 'null'], $type->getNames());
Assert::equal([Type::fromString('string'), Type::fromString('null')], $type->getTypes());
Assert::same('?string', (string) $type);
Assert::same('string', $type->getSingleName());
Assert::false($type->isClass());
Assert::true($type->isUnion());
Assert::false($type->isIntersection());
Assert::true($type->isSimple());
Assert::true($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('?string');

Assert::same(['string', 'null'], $type->getNames());
Assert::equal([Type::fromString('string'), Type::fromString('null')], $type->getTypes());
Assert::same('?string', (string) $type);
Assert::same('string', $type->getSingleName());
Assert::false($type->isClass());
Assert::true($type->isUnion());
Assert::false($type->isIntersection());
Assert::true($type->isSimple());
Assert::true($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('NS\Foo');

Assert::same(['NS\Foo'], $type->getNames());
Assert::equal([Type::fromString('NS\Foo')], $type->getTypes());
Assert::same('NS\Foo', (string) $type);
Assert::same('NS\Foo', $type->getSingleName());
Assert::true($type->isClass());
Assert::false($type->isUnion());
Assert::false($type->isIntersection());
Assert::true($type->isSimple());
Assert::false($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('string|Foo');

Assert::same(['string', 'Foo'], $type->getNames());
Assert::equal([Type::fromString('string'), Type::fromString('Foo')], $type->getTypes());
Assert::same('string|Foo', (string) $type);
Assert::null($type->getSingleName());
Assert::false($type->isClass());
Assert::true($type->isUnion());
Assert::false($type->isIntersection());
Assert::false($type->isSimple());
Assert::false($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('string|null|Foo');

Assert::same(['string', 'Foo', 'null'], $type->getNames());
Assert::equal([Type::fromString('string'), Type::fromString('Foo'), Type::fromString('null')], $type->getTypes());
Assert::same('string|Foo|null', (string) $type);
Assert::null($type->getSingleName());
Assert::false($type->isClass());
Assert::true($type->isUnion());
Assert::false($type->isIntersection());
Assert::false($type->isSimple());
Assert::false($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('mixed');

Assert::same(['mixed'], $type->getNames());
Assert::equal([Type::fromString('mixed')], $type->getTypes());
Assert::same('mixed', (string) $type);
Assert::same('mixed', $type->getSingleName());
Assert::false($type->isClass());
Assert::false($type->isUnion());
Assert::false($type->isIntersection());
Assert::true($type->isSimple());
Assert::true($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('null'); // invalid type

Assert::same(['null'], $type->getNames());
Assert::equal([Type::fromString('null')], $type->getTypes());
Assert::same('null', (string) $type);
Assert::same('null', $type->getSingleName());
Assert::false($type->isClass());
Assert::false($type->isUnion());
Assert::false($type->isIntersection());
Assert::true($type->isSimple());
Assert::true($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('Bar&Foo');

Assert::same(['Bar', 'Foo'], $type->getNames());
Assert::equal([Type::fromString('Bar'), Type::fromString('Foo')], $type->getTypes());
Assert::same('Bar&Foo', (string) $type);
Assert::null($type->getSingleName());
Assert::false($type->isClass());
Assert::false($type->isUnion());
Assert::true($type->isIntersection());
Assert::false($type->isSimple());
Assert::false($type->isBuiltin());
Assert::false($type->isClassKeyword());


$type = Type::fromString('self');

Assert::same(['self'], $type->getNames());
Assert::equal([Type::fromString('self')], $type->getTypes());
Assert::same('self', (string) $type);
Assert::same('self', $type->getSingleName());
Assert::true($type->isClass());
Assert::false($type->isUnion());
Assert::false($type->isIntersection());
Assert::true($type->isSimple());
Assert::false($type->isBuiltin());
Assert::true($type->isClassKeyword());


$type = Type::fromString('(A&B)|null');

Assert::same([['A', 'B'], 'null'], $type->getNames());
Assert::equal([Type::fromString('A&B'), Type::fromString('null')], $type->getTypes());
Assert::same('(A&B)|null', (string) $type);
Assert::null($type->getSingleName());
Assert::false($type->isClass());
Assert::true($type->isUnion());
Assert::false($type->isIntersection());
Assert::false($type->isSimple());
Assert::false($type->isBuiltin());
Assert::false($type->isClassKeyword());