Back | Home
الـ Path الحالي: /home/picotech/domains/instantly.picotech.app/public_html/vendor/theseer/../egulias/../egulias/../brick/../composer/../composer/semver/../../league/../guzzlehttp/../sebastian/../spatie/../myclabs/../../tests/../vendor/maatwebsite/../nesbot/../filp/../hamcrest/../webklex/../laravel/../sebastian/./type/src/type
الملفات الموجودة في هذا الـ Path:
.
..
CallableType.php
FalseType.php
GenericObjectType.php
IntersectionType.php
IterableType.php
MixedType.php
NeverType.php
NullType.php
ObjectType.php
SimpleType.php
StaticType.php
TrueType.php
Type.php
UnionType.php
UnknownType.php
VoidType.php
مشاهدة ملف: IntersectionType.php
<?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;
}
}
}