summaryrefslogtreecommitdiff
path: root/vendor/sebastian/type/src/UnionType.php
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/sebastian/type/src/UnionType.php')
-rw-r--r--vendor/sebastian/type/src/UnionType.php115
1 files changed, 115 insertions, 0 deletions
diff --git a/vendor/sebastian/type/src/UnionType.php b/vendor/sebastian/type/src/UnionType.php
new file mode 100644
index 000000000..10c4a49b5
--- /dev/null
+++ b/vendor/sebastian/type/src/UnionType.php
@@ -0,0 +1,115 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of sebastian/type.
+ *
+ * (c) Sebastian Bergmann <[email protected]>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+namespace SebastianBergmann\Type;
+
+use function count;
+use function implode;
+use function sort;
+
+final class UnionType extends Type
+{
+ /**
+ * @psalm-var list<Type>
+ */
+ private $types;
+
+ /**
+ * @throws RuntimeException
+ */
+ public function __construct(Type ...$types)
+ {
+ $this->ensureMinimumOfTwoTypes(...$types);
+ $this->ensureOnlyValidTypes(...$types);
+
+ $this->types = $types;
+ }
+
+ public function isAssignable(Type $other): bool
+ {
+ foreach ($this->types as $type) {
+ if ($type->isAssignable($other)) {
+ return true;
+ }
+ }
+
+ return false;
+ }
+
+ public function asString(): string
+ {
+ return $this->name();
+ }
+
+ /**
+ * @deprecated
+ *
+ * @codeCoverageIgnore
+ */
+ public function getReturnTypeDeclaration(): 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
+ {
+ foreach ($this->types as $type) {
+ if ($type instanceof NullType) {
+ return true;
+ }
+ }
+
+ return false;
+ }
+
+ /**
+ * @throws RuntimeException
+ */
+ private function ensureMinimumOfTwoTypes(Type ...$types): void
+ {
+ if (count($types) < 2) {
+ throw new RuntimeException(
+ 'A union type must be composed of at least two types'
+ );
+ }
+ }
+
+ /**
+ * @throws RuntimeException
+ */
+ private function ensureOnlyValidTypes(Type ...$types): void
+ {
+ foreach ($types as $type) {
+ if ($type instanceof UnknownType) {
+ throw new RuntimeException(
+ 'A union type must not be composed of an unknown type'
+ );
+ }
+
+ if ($type instanceof VoidType) {
+ throw new RuntimeException(
+ 'A union type must not be composed of a void type'
+ );
+ }
+ }
+ }
+}