replace phinal with phpat

Author: DavidBadura

composer.json

@@ -37,12 +37,12 @@
   },
   "require-dev": {
     "ext-pdo_sqlite": "~8.2.0 || ~8.3.0 || ~8.4.0",
-    "cspray/phinal": "dev-main#9826c3407056a4618f8bba303800403e47ccb3a7",
     "doctrine/orm": "^2.18.0|^3.0.0",
     "infection/infection": "^0.29.10",
     "league/commonmark": "^2.4",
     "patchlevel/coding-standard": "^1.3.0",
     "patchlevel/event-sourcing-psalm-plugin": "^3.1.0",
+    "phpat/phpat": "^0.11.3",
     "phpbench/phpbench": "^1.2.15",
     "phpspec/prophecy-phpunit": "^2.1.0",
     "phpstan/phpstan": "^2.1.0",

composer.lock

@@ -1,10 +1,18 @@
 includes:
 	- phpstan-baseline.neon
+	- vendor/phpat/phpat/extension.neon
 
 parameters:
 	level: max
 	paths:
 		- src
+		- tests/Architecture
 	ignoreErrors:
 		-
 			identifier: missingType.generics
+
+services:
+	-
+		class: Patchlevel\EventSourcing\Tests\Architecture\FinalClassesTest
+		tags:
+			- phpat.test

phpstan.neon.dist

@@ -20,6 +20,5 @@
     <plugins>
         <pluginClass class="Patchlevel\EventSourcingPsalmPlugin\Plugin"/>
         <pluginClass class="Psalm\PhpUnitPlugin\Plugin"/>
-        <pluginClass class="Cspray\Phinal\Plugin"/>
     </plugins>
 </psalm>

psalm.xml

@@ -5,11 +5,9 @@
 namespace Patchlevel\EventSourcing\Attribute;
 
 use Attribute;
-use Cspray\Phinal\AllowInheritance;
 use Patchlevel\EventSourcing\Subscription\RunMode;
 
 #[Attribute(Attribute::TARGET_CLASS)]
-#[AllowInheritance('You can create specific attributes with default group and run mode')]
 class Subscriber
 {
     public function __construct(

src/Attribute/Subscriber.php

@@ -0,0 +1,25 @@
+<?php
+
+namespace Patchlevel\EventSourcing\Tests\Architecture;
+
+use Patchlevel\EventSourcing\Attribute\Subscriber;
+use PHPat\Selector\Selector;
+use PHPat\Test\PHPat;
+use PHPat\Test\Builder\Rule;
+
+final class FinalClassesTest
+{
+    public function testFinalClasses(): Rule
+    {
+        return PHPat::rule()
+            ->classes(
+                Selector::AllOf(
+                    Selector::inNamespace('Patchlevel\EventSourcing'),
+                    Selector::NOT(Selector::isAbstract()),
+                    Selector::NOT(Selector::isInterface()),
+                    Selector::NOT(Selector::classname(Subscriber::class)),
+                )
+            )
+            ->shouldBeFinal();
+    }
+}