isJsonString should implicitly assert value is of string type

Resolves #8

Author: simPod

README.md

@@ -46,6 +46,7 @@ This extension specifies types of values passed to:
 * `Assertion::notNull`
 * `Assertion::same`
 * `Assertion::notSame`
+* `Assertion::isJsonString`
 * `nullOr*` and `all*` variants of the above methods
 
 `Assert::that`, `Assert::thatNullOr` and `Assert::thatAll` chaining methods are also supported.

src/Type/BeberleiAssert/AssertHelper.php

@@ -356,6 +356,12 @@ private static function getExpressionResolvers(): array
 						]
 					);
 				},
+				'isJsonString' => function (Scope $scope, Arg $value): \PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\FuncCall(
+						new \PhpParser\Node\Name('is_string'),
+						[$value]
+					);
+				},
 			];
 		}
 

tests/Type/BeberleiAssert/AssertTypeSpecifyingExtensionTest.php

@@ -181,65 +181,69 @@ public function testExtension(): void
 				'Variable $ab is: array<PHPStan\Type\BeberleiAssert\Foo>',
 				110,
 			],
+			[
+				'Variable $ac is: string',
+				113,
+			],
 			[
 				'Variable $that is: Assert\AssertionChain<int|null>',
-				116,
+				119,
 			],
 			[
 				'Variable $thatOrNull is: Assert\AssertionChain<int|null>',
-				119,
+				122,
 			],
 			[
 				'Variable $a is: int',
-				120,
+				123,
 			],
 			[
 				'Variable $assertNullOr is: Assert\AssertionChain<mixed>-nullOr',
-				123,
+				126,
 			],
 			[
 				'Variable $b is: string|null',
-				125,
+				128,
 			],
 			[
 				'Variable $assertNullOr2 is: Assert\AssertionChain<mixed>-nullOr',
-				128,
+				131,
 			],
 			[
 				'Variable $c is: string|null',
-				130,
+				133,
 			],
 			[
 				'Variable $assertAll is: Assert\AssertionChain<array>-all',
-				133,
+				136,
 			],
 			[
 				'Variable $d is: array<string>',
-				135,
+				138,
 			],
 			[
 				'Variable $assertAll2 is: Assert\AssertionChain<iterable>-all',
-				138,
+				141,
 			],
 			[
 				'Variable $e is: iterable<string>',
-				140,
+				143,
 			],
 			[
 				'Variable $f is: array<string>',
-				145,
+				148,
 			],
 			[
 				'Variable $assertThatFunction is: Assert\AssertionChain<mixed>',
-				148,
+				151,
 			],
 			[
 				'Variable $assertThatNullOrFunction is: Assert\AssertionChain<mixed>-nullOr',
-				151,
+				154,
 			],
 			[
 				'Variable $assertThatAllFunction is: Assert\AssertionChain<mixed>-all',
-				154,
+				157,
 			],
 		]);
 	}

tests/Type/BeberleiAssert/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, string $n, $p, $r, $s, ?int $t, ?int $u, $x, $aa, array $ab)
+	public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, string $n, $p, $r, $s, ?int $t, ?int $u, $x, $aa, array $ab, ?string $ac)
 	{
 		$a;
 
@@ -108,6 +108,9 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 
 		Assertion::allSubclassOf($ab, self::class);
 		$ab;
+
+		Assertion::isJsonString($ac);
+		$ac;
 	}
 
 	public function doBar(?int $a, $b, $c, array $d, iterable $e, $g)