Mark support for isEmpty and notEmpty

phpstan · Oct 5, 2022 · 25c836b · 25c836b
1 parent f4f29ab
commit 25c836b
Show file tree

Hide file tree

Showing 3 changed files with 29 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -57,6 +57,8 @@ This extension specifies types of values passed to:
 * `Assert::notFalse`
 * `Assert::null`
 * `Assert::notNull`
+* `Assert::isEmpty`
+* `Assert::notEmpty`
 * `Assert::eq`
 * `Assert::notEq`
 * `Assert::same`

diff --git a/src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php b/src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php
@@ -23,6 +23,7 @@
 use PhpParser\Node\Expr\BooleanNot;
 use PhpParser\Node\Expr\Cast\Int_;
 use PhpParser\Node\Expr\ConstFetch;
+use PhpParser\Node\Expr\Empty_;
 use PhpParser\Node\Expr\FuncCall;
 use PhpParser\Node\Expr\Instanceof_;
 use PhpParser\Node\Expr\StaticCall;

diff --git a/tests/Type/WebMozartAssert/data/comparison.php b/tests/Type/WebMozartAssert/data/comparison.php
@@ -44,6 +44,32 @@ public function notNull(?int $a): void
 		assertType('int', $a);
 	}
 
+	/** @param string|null $c */
+	public function isEmpty(string $a, $b, $c): void
+	{
+		Assert::isEmpty($a);
+		assertType("''|'0'", $a);
+
+		Assert::isEmpty($b);
+		assertType("0|0.0|''|'0'|array{}|false|null", $b);
+
+		Assert::isEmpty($c);
+		assertType("''|'0'|null", $c);
+	}
+
+	/** @param string|null $c */
+	public function notEmpty(string $a, $b, $c): void
+	{
+		Assert::notEmpty($a);
+		assertType('non-falsy-string', $a);
+
+		Assert::notEmpty($b);
+		assertType("mixed~0|0.0|''|'0'|array{}|false|null", $b);
+
+		Assert::notEmpty($c);
+		assertType('non-falsy-string', $c);
+	}
+
 	/**
 	 * @param non-empty-string  $b2
 	 */