add support for methodExists and propertyExists

Author: ntzm

README.md

@@ -57,6 +57,8 @@ This extension specifies types of values passed to:
 * `Assert::minCount`
 * `Assert::inArray`
 * `Assert::oneOf`
+* `Assert::methodExists`
+* `Assert::propertyExists`
 * `nullOr*` and `all*` variants of the above methods
 
 

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -406,6 +406,18 @@ private static function getExpressionResolvers(): array
 						]
 					);
 				},
+				'methodExists' => function (Scope $scope, Arg $object, Arg $method): \PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\FuncCall(
+						new \PhpParser\Node\Name('method_exists'),
+						[$object, $method]
+					);
+				},
+				'propertyExists' => function (Scope $scope, Arg $object, Arg $property): \PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\FuncCall(
+						new \PhpParser\Node\Name('property_exists'),
+						[$object, $property]
+					);
+				},
 			];
 		}
 

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)
+	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)
 	{
 		\PHPStan\Testing\assertType('mixed', $a);
 
@@ -160,6 +160,14 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 
 		Assert::oneOf($an, [1, 2]);
 		\PHPStan\Testing\assertType('1|2', $an);
+
+		/** @var object $ao */
+		Assert::methodExists($ao, 'foo');
+		\PHPStan\Testing\assertType('object&hasMethod(foo)', $ao);
+
+		/** @var object $ap */
+		Assert::propertyExists($ap, 'foo');
+		\PHPStan\Testing\assertType('object&hasProperty(foo)', $ap);
     }
 
 }