Add support for interfaceExists

Author: vhenzl

README.md

@@ -54,6 +54,7 @@ This extension specifies types of values passed to:
 * `Assert::notSame`
 * `Assert::implementsInterface`
 * `Assert::classExists`
+* `Assert::interfaceExists`
 * `Assert::minCount`
 * `Assert::inArray`
 * `Assert::oneOf`

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -377,6 +377,12 @@ private static function getExpressionResolvers(): array
 						[$class]
 					);
 				},
+				'interfaceExists' => function (Scope $scope, Arg $class): \PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\FuncCall(
+						new \PhpParser\Node\Name('interface_exists'),
+						[$class]
+					);
+				},
 				'minCount' => function (Scope $scope, Arg $array, Arg $number): \PhpParser\Node\Expr {
 					return new \PhpParser\Node\Expr\BinaryOp\GreaterOrEqual(
 						new \PhpParser\Node\Expr\FuncCall(

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, $aa, array $ab, $ac, $ad, $ae, $af, $ag, array $ah, $ai, $al, $am, $an, $ao, $ap, $aq, $ar)
+	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, $ac, $ad, $ae, $af, $ag, array $ah, $ai, $al, $am, $an, $ao, $ap, $aq, $ar, $as)
 	{
 		\PHPStan\Testing\assertType('mixed', $a);
 
@@ -178,6 +178,8 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 		Assert::minLength($ar, 1);
 		\PHPStan\Testing\assertType('non-empty-string', $ar);
 
+		Assert::interfaceExists($ag);
+		\PHPStan\Testing\assertType('class-string', $ag);
     }
 
 }