Page MenuHomeWickedGov Phorge
Files F5965724

IntersectionType.php
No OneTemporary
Actions

Size
2 KB
Referenced Files
None
Subscribers
None

IntersectionType.php
View Options

<?php declare(strict_types=1);
/*
* This file is part of sebastian/type.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\Type;
use function assert;
use function count;
use function implode;
use function in_array;
use function sort;
final class IntersectionType extends Type
{
/**
* @psalm-var non-empty-list<Type>
*/
private $types;
/**
* @throws RuntimeException
*/
public function __construct(Type ...$types)
{
$this->ensureMinimumOfTwoTypes(...$types);
$this->ensureOnlyValidTypes(...$types);
$this->ensureNoDuplicateTypes(...$types);
$this->types = $types;
}
public function isAssignable(Type $other): bool
{
return $other->isObject();
}
public function asString(): string
{
return $this->name();
}
public function name(): string
{
$types = [];
foreach ($this->types as $type) {
$types[] = $type->name();
}
sort($types);
return implode('&', $types);
}
public function allowsNull(): bool
{
return false;
}
/**
* @psalm-assert-if-true IntersectionType $this
*/
public function isIntersection(): bool
{
return true;
}
/**
* @psalm-return non-empty-list<Type>
*/
public function types(): array
{
return $this->types;
}
/**
* @throws RuntimeException
*/
private function ensureMinimumOfTwoTypes(Type ...$types): void
{
if (count($types) < 2) {
throw new RuntimeException(
'An intersection type must be composed of at least two types'
);
}
}
/**
* @throws RuntimeException
*/
private function ensureOnlyValidTypes(Type ...$types): void
{
foreach ($types as $type) {
if (!$type->isObject()) {
throw new RuntimeException(
'An intersection type can only be composed of interfaces and classes'
);
}
}
}
/**
* @throws RuntimeException
*/
private function ensureNoDuplicateTypes(Type ...$types): void
{
$names = [];
foreach ($types as $type) {
assert($type instanceof ObjectType);
$classQualifiedName = $type->className()->qualifiedName();
if (in_array($classQualifiedName, $names, true)) {
throw new RuntimeException('An intersection type must not contain duplicate types');
}
$names[] = $classQualifiedName;
}
}
}

File Metadata

Mime Type
text/x-php
Expires
Sat, Oct 3, 11:09 (6 d, 11 h ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
68/29/6b6e71771fc1433d091387d24d19
Default Alt Text
IntersectionType.php (2 KB)

Event Timeline