uses nette/phpstan-rules

Author: dg

composer.json

@@ -23,7 +23,9 @@
 		"nette/http": "^3.2",
 		"nette/tester": "^2.6",
 		"tracy/tracy": "^2.9",
-		"phpstan/phpstan-nette": "^2.0@stable",
+		"phpstan/phpstan": "^2.1@stable",
+		"phpstan/extension-installer": "^1.4@stable",
+		"nette/phpstan-rules": "^1.0",
 		"mockery/mockery": "^1.6@stable"
 	},
 	"conflict": {
@@ -45,5 +47,10 @@
 		"branch-alias": {
 			"dev-master": "3.2-dev"
 		}
+	},
+	"config": {
+		"allow-plugins": {
+			"phpstan/extension-installer": true
+		}
 	}
 }

tests/types/security-types.php

@@ -0,0 +1,41 @@
+<?php declare(strict_types=1);
+
+/**
+ * PHPStan type tests.
+ */
+
+use Nette\Security\IIdentity;
+use Nette\Security\Permission;
+use Nette\Security\User;
+use function PHPStan\Testing\assertType;
+
+
+function testPermissionGetRoles(Permission $acl): void
+{
+	assertType('list<string>', $acl->getRoles());
+}
+
+
+function testPermissionGetRoleParents(Permission $acl): void
+{
+	$acl->addRole('admin');
+	assertType('list<string>', $acl->getRoleParents('admin'));
+}
+
+
+function testPermissionGetResources(Permission $acl): void
+{
+	assertType('list<string>', $acl->getResources());
+}
+
+
+function testIIdentityGetId(IIdentity $identity): void
+{
+	assertType('int|string', $identity->getId());
+}
+
+
+function testUserGetId(User $user): void
+{
+	assertType('int|string|null', $user->getId());
+}

tests/types/security-types.phpt

@@ -0,0 +1,7 @@
+<?php declare(strict_types=1);
+
+require __DIR__ . '/../bootstrap.php';
+
+use Nette\PHPStan\Tester\TypeAssert;
+
+TypeAssert::assertTypes(__DIR__ . '/security-types.php');