Type: added allows()

src/Utils/Type.php

@@ -177,4 +177,23 @@ public function isClass(): bool
 	{
 		return $this->single && !Reflection::isBuiltinType($this->types[0]);
 	}
+
+
+	/**
+	 * Verifies type compatibility. For example, it checks if a value of a certain type could be passed as a parameter.
+	 */
+	public function allows(string $type): bool
+	{
+		if ($this->types === ['mixed']) {
+			return true;
+		}
+		return Arrays::every((self::fromString($type))->types, function ($testedType) {
+			$builtin = Reflection::isBuiltinType($testedType);
+			return Arrays::some($this->types, function ($currentType) use ($testedType, $builtin) {
+				return $builtin
+					? strcasecmp($currentType, $testedType) === 0
+					: is_a($testedType, $currentType, true);
+			});
+		});
+	}
 }

tests/Utils/Type.allows.phpt

@@ -0,0 +1,57 @@
+<?php
+
+/**
+ * Test: Nette\Utils\Type::allows()
+ */
+
+declare(strict_types=1);
+
+use Nette\Utils\Type;
+use Tester\Assert;
+
+require __DIR__ . '/../bootstrap.php';
+
+
+class Foo
+{
+}
+
+class FooChild extends Foo
+{
+}
+
+
+$type = Type::fromString('string');
+Assert::true($type->allows('string'));
+Assert::false($type->allows('null'));
+Assert::false($type->allows('string|null'));
+Assert::false($type->allows('Foo'));
+Assert::false($type->allows('FooChild'));
+Assert::false($type->allows('Foo|FooChild'));
+
+
+$type = Type::fromString('string|null');
+Assert::true($type->allows('string'));
+Assert::true($type->allows('null'));
+Assert::true($type->allows('string|null'));
+Assert::false($type->allows('Foo'));
+Assert::false($type->allows('FooChild'));
+Assert::false($type->allows('Foo|FooChild'));
+
+
+$type = Type::fromString('string|Foo');
+Assert::true($type->allows('string'));
+Assert::false($type->allows('null'));
+Assert::false($type->allows('string|null'));
+Assert::true($type->allows('Foo'));
+Assert::true($type->allows('FooChild'));
+Assert::true($type->allows('Foo|FooChild'));
+
+
+$type = Type::fromString('mixed');
+Assert::true($type->allows('string'));
+Assert::true($type->allows('null'));
+Assert::true($type->allows('string|null'));
+Assert::true($type->allows('Foo'));
+Assert::true($type->allows('FooChild'));
+Assert::true($type->allows('Foo|FooChild'));