Assert::subclassOf

Author: ondrejmirtes

README.md

@@ -23,6 +23,7 @@ This extension specifies types of values passed to:
 * `Assert::isCountable`
 * `Assert::isInstanceOf`
 * `Assert::notInstanceOf`
+* `Assert::subclassOf`
 * `Assert::true`
 * `Assert::false`
 * `Assert::null`

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -303,6 +303,15 @@ private static function getExpressionResolvers(): array
 						$value2->value
 					);
 				},
+				'subclassOf' => function (Scope $scope, Arg $expr, Arg $class): ?\PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\FuncCall(
+						new \PhpParser\Node\Name('is_subclass_of'),
+						[
+							new Arg($expr->value),
+							$class,
+						]
+					);
+				},
 			];
 		}
 

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -137,6 +137,14 @@ public function testExtension(): void
 				'Variable $z is: array<0|1|2, 1>',
 				107,
 			],
+			[
+				'Variable $aa is: PHPStan\Type\WebMozartAssert\Foo',
+				110,
+			],
+			[
+				'Variable $ab is: array<PHPStan\Type\WebMozartAssert\Foo>',
+				113,
+			],
 		]);
 	}
 

tests/Type/WebMozartAssert/data/data.php

@@ -7,7 +7,7 @@
 class Foo
 {
 
-	public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $r, $s, ?int $t, ?int $u, $x)
+	public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $r, $s, ?int $t, ?int $u, $x, $aa, array $ab)
 	{
 		$a;
 
@@ -105,6 +105,12 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 		}
 		Assert::allNotSame($z, -1);
 		$z;
+
+		Assert::subclassOf($aa, self::class);
+		$aa;
+
+		Assert::allSubclassOf($ab, self::class);
+		$ab;
 	}
 
 }