From e3f6991fc80d6303138616b2da3707e5c316822f Mon Sep 17 00:00:00 2001
From: Sebastian Meyer <sebastian@informathekar.de>
Date: Fri, 21 Mar 2025 13:23:58 +0100
Subject: [PATCH] Don't make entities final

---
 psalm.xml.dist        | 11 +++++++++++
 src/Entity/Format.php |  2 +-
 src/Entity/Record.php |  2 +-
 src/Entity/Set.php    |  2 +-
 src/Entity/Token.php  |  2 +-
 5 files changed, 15 insertions(+), 4 deletions(-)

diff --git a/psalm.xml.dist b/psalm.xml.dist
index 8b144b4..537c6a2 100644
--- a/psalm.xml.dist
+++ b/psalm.xml.dist
@@ -12,6 +12,17 @@
     reportMixedIssues="false"
 >
     <issueHandlers>
+        <!--
+            Entity classes must not be final in order for Doctrine DBAL to work.
+        -->
+        <ClassMustBeFinal>
+            <errorLevel type="suppress">
+                <file name="src/Entity/Format.php"/>
+                <file name="src/Entity/Record.php"/>
+                <file name="src/Entity/Set.php"/>
+                <file name="src/Entity/Token.php"/>
+            </errorLevel>
+        </ClassMustBeFinal>
         <!--
             This is a false-positive caused by Doctrine's EntityManagerDecorator.
         -->
diff --git a/src/Entity/Format.php b/src/Entity/Format.php
index d58451b..f749b7f 100644
--- a/src/Entity/Format.php
+++ b/src/Entity/Format.php
@@ -37,7 +37,7 @@ use Symfony\Component\Validator\Exception\ValidationFailedException;
  */
 #[ORM\Entity(repositoryClass: FormatRepository::class)]
 #[ORM\Table(name: 'formats')]
-final class Format extends Entity
+class Format extends Entity
 {
     /**
      * The unique metadata prefix.
diff --git a/src/Entity/Record.php b/src/Entity/Record.php
index 640703e..a8d20ed 100644
--- a/src/Entity/Record.php
+++ b/src/Entity/Record.php
@@ -42,7 +42,7 @@ use Symfony\Component\Validator\Exception\ValidationFailedException;
 #[ORM\Index(name: 'format_idx', columns: ['format'])]
 #[ORM\Index(name: 'last_changed_idx', columns: ['last_changed'])]
 #[ORM\Index(name: 'format_last_changed_idx', columns: ['format', 'last_changed'])]
-final class Record extends Entity
+class Record extends Entity
 {
     /**
      * The record identifier.
diff --git a/src/Entity/Set.php b/src/Entity/Set.php
index 3d2d3b3..b051d3f 100644
--- a/src/Entity/Set.php
+++ b/src/Entity/Set.php
@@ -37,7 +37,7 @@ use Symfony\Component\Validator\Exception\ValidationFailedException;
  */
 #[ORM\Entity(repositoryClass: SetRepository::class)]
 #[ORM\Table(name: 'sets')]
-final class Set extends Entity
+class Set extends Entity
 {
     /**
      * The unique set spec.
diff --git a/src/Entity/Token.php b/src/Entity/Token.php
index ef21c00..1a09ac9 100644
--- a/src/Entity/Token.php
+++ b/src/Entity/Token.php
@@ -40,7 +40,7 @@ use OCC\OaiPmh2\Repository\TokenRepository;
 #[ORM\Entity(repositoryClass: TokenRepository::class)]
 #[ORM\Table(name: 'tokens')]
 #[ORM\Index(name: 'valid_until_idx', columns: ['valid_until'])]
-final class Token extends Entity
+class Token extends Entity
 {
     /**
      * The resumption token.