From: Sebastian Brix <sebastian.brix@graph-it.com>
Date: Mon, 26 Jan 2026 14:25:49 +0000 (+0100)
Subject: Psalm-Fehler bearbeitet
X-Git-Tag: v0.2.1
X-Git-Url: http://git.graph-it.com/?a=commitdiff_plain;h=9a6344a0bbdf12d5a1c21ce1223223b8424ef108;p=graphit%2Fparser.git

Psalm-Fehler bearbeitet
---

diff --git a/bin/generate_parser.php b/bin/generate_parser.php
index aae6384..70c7fa2 100755
--- a/bin/generate_parser.php
+++ b/bin/generate_parser.php
@@ -54,6 +54,11 @@ use Graphit\Parser\EBNFResultGenerator;
 use Graphit\Parser\EBNFParserGenerator;
 
 $EBNFFileContent = file_get_contents($EBNFFile);
+if ($EBNFFileContent === false) {
+  echo PHP_EOL;
+  echo "Unable to read $EBNFFile" . PHP_EOL;
+  exit(1);
+}
 $result = EBNFParser::parse($EBNFFileContent);
 if ($result === null) {
   echo PHP_EOL;
@@ -67,6 +72,10 @@ function folderHasContents(string $folder): bool {
   }
 
   $files = scandir($folder);
+  if ($files === false) {
+    return true;
+  }
+  
   return count($files) > 2;
 }
 
diff --git a/src/EBNF/AltResult.php b/src/EBNF/AltResult.php
index c185fa2..9e2b672 100644
--- a/src/EBNF/AltResult.php
+++ b/src/EBNF/AltResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class AltResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class AltResult 
 {
   /**
    * @param list{ConcResult, PipeconclistResult} $result
diff --git a/src/EBNF/Anonymous11Result.php b/src/EBNF/Anonymous11Result.php
index 2970530..f969369 100644
--- a/src/EBNF/Anonymous11Result.php
+++ b/src/EBNF/Anonymous11Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous11Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous11Result 
 {
   /**
    * @param ',' $result
diff --git a/src/EBNF/Anonymous14Result.php b/src/EBNF/Anonymous14Result.php
index 9a636c7..941102f 100644
--- a/src/EBNF/Anonymous14Result.php
+++ b/src/EBNF/Anonymous14Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous14Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous14Result 
 {
   /**
    * @param string $result
diff --git a/src/EBNF/Anonymous16Result.php b/src/EBNF/Anonymous16Result.php
index 498c579..a02579d 100644
--- a/src/EBNF/Anonymous16Result.php
+++ b/src/EBNF/Anonymous16Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous16Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous16Result 
 {
   /**
    * @param string $result
diff --git a/src/EBNF/Anonymous18Result.php b/src/EBNF/Anonymous18Result.php
index e8fbf15..965af48 100644
--- a/src/EBNF/Anonymous18Result.php
+++ b/src/EBNF/Anonymous18Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous18Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous18Result 
 {
   /**
    * @param string $result
diff --git a/src/EBNF/Anonymous20Result.php b/src/EBNF/Anonymous20Result.php
index ea042b5..ddcecab 100644
--- a/src/EBNF/Anonymous20Result.php
+++ b/src/EBNF/Anonymous20Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous20Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous20Result 
 {
   /**
    * @param string $result
diff --git a/src/EBNF/Anonymous22Result.php b/src/EBNF/Anonymous22Result.php
index d435b2a..e343cfc 100644
--- a/src/EBNF/Anonymous22Result.php
+++ b/src/EBNF/Anonymous22Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous22Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous22Result 
 {
   /**
    * @param '(' $result
diff --git a/src/EBNF/Anonymous23Result.php b/src/EBNF/Anonymous23Result.php
index 8b0f4ff..cc00fb1 100644
--- a/src/EBNF/Anonymous23Result.php
+++ b/src/EBNF/Anonymous23Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous23Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous23Result 
 {
   /**
    * @param ')' $result
diff --git a/src/EBNF/Anonymous25Result.php b/src/EBNF/Anonymous25Result.php
index ce3caa0..89d7e9a 100644
--- a/src/EBNF/Anonymous25Result.php
+++ b/src/EBNF/Anonymous25Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous25Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous25Result 
 {
   /**
    * @param '{' $result
diff --git a/src/EBNF/Anonymous26Result.php b/src/EBNF/Anonymous26Result.php
index e98dbb8..3ec2730 100644
--- a/src/EBNF/Anonymous26Result.php
+++ b/src/EBNF/Anonymous26Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous26Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous26Result 
 {
   /**
    * @param '}' $result
diff --git a/src/EBNF/Anonymous28Result.php b/src/EBNF/Anonymous28Result.php
index d8ba184..651e1cf 100644
--- a/src/EBNF/Anonymous28Result.php
+++ b/src/EBNF/Anonymous28Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous28Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous28Result 
 {
   /**
    * @param '[' $result
diff --git a/src/EBNF/Anonymous29Result.php b/src/EBNF/Anonymous29Result.php
index 2a1404e..2298e49 100644
--- a/src/EBNF/Anonymous29Result.php
+++ b/src/EBNF/Anonymous29Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous29Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous29Result 
 {
   /**
    * @param ']' $result
diff --git a/src/EBNF/Anonymous2Result.php b/src/EBNF/Anonymous2Result.php
index 069c377..b2cce90 100644
--- a/src/EBNF/Anonymous2Result.php
+++ b/src/EBNF/Anonymous2Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous2Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous2Result 
 {
   /**
    * @param '=' $result
diff --git a/src/EBNF/Anonymous31Result.php b/src/EBNF/Anonymous31Result.php
index 2d298c8..8366515 100644
--- a/src/EBNF/Anonymous31Result.php
+++ b/src/EBNF/Anonymous31Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous31Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous31Result 
 {
   /**
    * @param WhitespaceResult|CommentResult $result
diff --git a/src/EBNF/Anonymous3Result.php b/src/EBNF/Anonymous3Result.php
index 437001f..e734b1d 100644
--- a/src/EBNF/Anonymous3Result.php
+++ b/src/EBNF/Anonymous3Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous3Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous3Result 
 {
   /**
    * @param ';' $result
diff --git a/src/EBNF/Anonymous7Result.php b/src/EBNF/Anonymous7Result.php
index 1062b7a..f72f398 100644
--- a/src/EBNF/Anonymous7Result.php
+++ b/src/EBNF/Anonymous7Result.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class Anonymous7Result 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class Anonymous7Result 
 {
   /**
    * @param '|' $result
diff --git a/src/EBNF/BarewordResult.php b/src/EBNF/BarewordResult.php
index f47d5d0..ddd80c4 100644
--- a/src/EBNF/BarewordResult.php
+++ b/src/EBNF/BarewordResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class BarewordResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class BarewordResult 
 {
   /**
    * @param list{Anonymous14Result, SpaceResult} $result
diff --git a/src/EBNF/CommatermResult.php b/src/EBNF/CommatermResult.php
index d4ff027..32bda54 100644
--- a/src/EBNF/CommatermResult.php
+++ b/src/EBNF/CommatermResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class CommatermResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class CommatermResult 
 {
   /**
    * @param list{Anonymous11Result, SpaceResult, TermResult} $result
diff --git a/src/EBNF/CommatermlistResult.php b/src/EBNF/CommatermlistResult.php
index 7cfb798..4a4395b 100644
--- a/src/EBNF/CommatermlistResult.php
+++ b/src/EBNF/CommatermlistResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class CommatermlistResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class CommatermlistResult 
 {
   /**
    * @param list<CommatermResult> $result
diff --git a/src/EBNF/CommentResult.php b/src/EBNF/CommentResult.php
index 3c4d7c7..aae5156 100644
--- a/src/EBNF/CommentResult.php
+++ b/src/EBNF/CommentResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class CommentResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class CommentResult 
 {
   /**
    * @param string $result
diff --git a/src/EBNF/ConcResult.php b/src/EBNF/ConcResult.php
index 39ecf59..702628b 100644
--- a/src/EBNF/ConcResult.php
+++ b/src/EBNF/ConcResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class ConcResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class ConcResult 
 {
   /**
    * @param list{TermResult, CommatermlistResult} $result
diff --git a/src/EBNF/DqResult.php b/src/EBNF/DqResult.php
index ccd021a..14170c8 100644
--- a/src/EBNF/DqResult.php
+++ b/src/EBNF/DqResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class DqResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class DqResult 
 {
   /**
    * @param list{Anonymous18Result, SpaceResult} $result
diff --git a/src/EBNF/EBNFParser.php b/src/EBNF/EBNFParser.php
index 19f7039..cbeea8b 100644
--- a/src/EBNF/EBNFParser.php
+++ b/src/EBNF/EBNFParser.php
@@ -1,7 +1,7 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class EBNFParser 
+final class EBNFParser 
 {
   public static function parse(string $code): ?SyntaxResult
   {
diff --git a/src/EBNF/GroupResult.php b/src/EBNF/GroupResult.php
index 6232b70..206b945 100644
--- a/src/EBNF/GroupResult.php
+++ b/src/EBNF/GroupResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class GroupResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class GroupResult 
 {
   /**
    * @param list{Anonymous22Result, SpaceResult, AltResult, Anonymous23Result, SpaceResult} $result
diff --git a/src/EBNF/OptionalResult.php b/src/EBNF/OptionalResult.php
index 5f225ca..f5ed07c 100644
--- a/src/EBNF/OptionalResult.php
+++ b/src/EBNF/OptionalResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class OptionalResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class OptionalResult 
 {
   /**
    * @param list{Anonymous28Result, SpaceResult, AltResult, Anonymous29Result, SpaceResult} $result
diff --git a/src/EBNF/PipeconcResult.php b/src/EBNF/PipeconcResult.php
index f6efd01..b949095 100644
--- a/src/EBNF/PipeconcResult.php
+++ b/src/EBNF/PipeconcResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class PipeconcResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class PipeconcResult 
 {
   /**
    * @param list{Anonymous7Result, SpaceResult, ConcResult} $result
diff --git a/src/EBNF/PipeconclistResult.php b/src/EBNF/PipeconclistResult.php
index e73617d..74e3826 100644
--- a/src/EBNF/PipeconclistResult.php
+++ b/src/EBNF/PipeconclistResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class PipeconclistResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class PipeconclistResult 
 {
   /**
    * @param list<PipeconcResult> $result
diff --git a/src/EBNF/RegexResult.php b/src/EBNF/RegexResult.php
index d8bcf76..ee62a63 100644
--- a/src/EBNF/RegexResult.php
+++ b/src/EBNF/RegexResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class RegexResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class RegexResult 
 {
   /**
    * @param list{Anonymous20Result, SpaceResult} $result
diff --git a/src/EBNF/RepetitionResult.php b/src/EBNF/RepetitionResult.php
index 653e00d..5a0f07b 100644
--- a/src/EBNF/RepetitionResult.php
+++ b/src/EBNF/RepetitionResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class RepetitionResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class RepetitionResult 
 {
   /**
    * @param list{Anonymous25Result, SpaceResult, AltResult, Anonymous26Result, SpaceResult} $result
diff --git a/src/EBNF/RuleResult.php b/src/EBNF/RuleResult.php
index cea4357..7ea4f52 100644
--- a/src/EBNF/RuleResult.php
+++ b/src/EBNF/RuleResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class RuleResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class RuleResult 
 {
   /**
    * @param list{BarewordResult, SpaceResult, Anonymous2Result, SpaceResult, AltResult, Anonymous3Result, SpaceResult} $result
diff --git a/src/EBNF/RulesResult.php b/src/EBNF/RulesResult.php
index 154f127..e1c5aa2 100644
--- a/src/EBNF/RulesResult.php
+++ b/src/EBNF/RulesResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class RulesResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class RulesResult 
 {
   /**
    * @param list<RuleResult> $result
diff --git a/src/EBNF/SpaceResult.php b/src/EBNF/SpaceResult.php
index 79f45f8..6904dbe 100644
--- a/src/EBNF/SpaceResult.php
+++ b/src/EBNF/SpaceResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class SpaceResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class SpaceResult 
 {
   /**
    * @param list<Anonymous31Result> $result
diff --git a/src/EBNF/SqResult.php b/src/EBNF/SqResult.php
index 2c2742c..1698c9d 100644
--- a/src/EBNF/SqResult.php
+++ b/src/EBNF/SqResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class SqResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class SqResult 
 {
   /**
    * @param list{Anonymous16Result, SpaceResult} $result
diff --git a/src/EBNF/SyntaxResult.php b/src/EBNF/SyntaxResult.php
index f830f53..4435a74 100644
--- a/src/EBNF/SyntaxResult.php
+++ b/src/EBNF/SyntaxResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class SyntaxResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class SyntaxResult 
 {
   /**
    * @param list{SpaceResult, RulesResult} $result
diff --git a/src/EBNF/TermResult.php b/src/EBNF/TermResult.php
index bc4c729..b6e7ad8 100644
--- a/src/EBNF/TermResult.php
+++ b/src/EBNF/TermResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class TermResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class TermResult 
 {
   /**
    * @param BarewordResult|SqResult|DqResult|RegexResult|GroupResult|RepetitionResult|OptionalResult $result
diff --git a/src/EBNF/WhitespaceResult.php b/src/EBNF/WhitespaceResult.php
index 7dba2ac..f29592e 100644
--- a/src/EBNF/WhitespaceResult.php
+++ b/src/EBNF/WhitespaceResult.php
@@ -1,7 +1,8 @@
 <?php
 namespace Graphit\Parser\EBNF;
 
-class WhitespaceResult 
+/** @psalm-suppress PossiblyUnusedProperty */
+final class WhitespaceResult 
 {
   /**
    * @param string $result
diff --git a/src/EBNFParserGenerator.php b/src/EBNFParserGenerator.php
index 34d5d81..d3733f3 100644
--- a/src/EBNFParserGenerator.php
+++ b/src/EBNFParserGenerator.php
@@ -4,7 +4,7 @@ namespace Graphit\Parser;
 
 use Graphit\Parser\ParserType;
 
-class EBNFParserGenerator
+final class EBNFParserGenerator
 {
   /**
    * @param array<string, ParserType> $transformResults 
@@ -74,7 +74,7 @@ class EBNFParserGenerator
         <?php
         namespace <NAME_SPACE>;
 
-        class <CLASS_NAME> 
+        final class <CLASS_NAME> 
         {
         <FUNCTIONS>
         }
diff --git a/src/EBNFResultGenerator.php b/src/EBNFResultGenerator.php
index e20dcd4..c321a47 100644
--- a/src/EBNFResultGenerator.php
+++ b/src/EBNFResultGenerator.php
@@ -4,7 +4,7 @@ namespace Graphit\Parser;
 
 use Graphit\Parser\ParserType;
 
-class EBNFResultGenerator
+final class EBNFResultGenerator
 {
   /**
    * @param array<string, ParserType> $transformResults 
@@ -40,7 +40,8 @@ class EBNFResultGenerator
   private static function classTemplate(string $className, string $phpType, ?string $psalmType = null): string
   {
     $template = <<<TEMPLATE
-        class <CLASS_NAME> 
+        /** @psalm-suppress PossiblyUnusedProperty */
+        final class <CLASS_NAME> 
         {<PSALM_TYPE>
           public function __construct(
             public readonly <PHP_TYPE> \$result,
@@ -56,7 +57,7 @@ class EBNFResultGenerator
            */ 
         PSALM;
 
-    if ($psalmType) {
+    if ($psalmType !== null) {
       $psalmTemplate = strtr($psalmTemplate, [
         '<PSALM_TYPE>' => $psalmType
       ]);
@@ -86,4 +87,3 @@ class EBNFResultGenerator
     }
   }
 }
-
diff --git a/src/EBNFTransform.php b/src/EBNFTransform.php
index d94d1bc..5ecdf2e 100644
--- a/src/EBNFTransform.php
+++ b/src/EBNFTransform.php
@@ -31,19 +31,22 @@ abstract class ParserType {
   public abstract function needsDocType(): bool;
 }
 
-class RuleType extends ParserType {
+final class RuleType extends ParserType {
   private function __construct(
     public readonly string $name
   ) {}
 
+  #[\Override]
   public function asPHPType(): string {
     return ucfirst($this->name).'Result';
   }
 
+  #[\Override]
   public function asDocType(): string {
     return $this->asPHPType();
   }
 
+  #[\Override]
   public function needsDocType(): bool {
     return false;
   }
@@ -53,19 +56,22 @@ class RuleType extends ParserType {
   }
 }
 
-class AnonType extends ParserType {
+final class AnonType extends ParserType {
   private function __construct(
     public readonly string $name
   ) {}
 
+  #[\Override]
   public function asPHPType(): string {
     return ucfirst($this->name).'Result';
   }
 
+  #[\Override]
   public function asDocType(): string {
     return $this->asPHPType();
   }
 
+  #[\Override]
   public function needsDocType(): bool {
     return false;
   }
@@ -75,19 +81,22 @@ class AnonType extends ParserType {
   }
 }
 
-class StringType extends ParserType {
+final class StringType extends ParserType {
   private function __construct(
     public readonly string $string
   ) {}
 
+  #[\Override]
   public function asPHPType(): string {
     return 'string';
   }
 
+  #[\Override]
   public function asDocType(): string {
     return var_export($this->string, true);
   }
 
+  #[\Override]
   public function needsDocType(): bool {
     return true;
   }
@@ -98,19 +107,22 @@ class StringType extends ParserType {
   }
 }
 
-class RegexpType extends ParserType {
+final class RegexpType extends ParserType {
   private function __construct(
     public readonly string $regexp
   ) {}
 
+  #[\Override]
   public function asPHPType(): string {
     return 'string';
   }
 
+  #[\Override]
   public function asDocType(): string {
     return $this->asPHPType();
   }
 
+  #[\Override]
   public function needsDocType(): bool {
     return false;
   }
@@ -120,17 +132,19 @@ class RegexpType extends ParserType {
   }
 }
 
-class ConcType extends ParserType {
+final class ConcType extends ParserType {
 
   /** @param non-empty-list<ParserType> $types */
   private function __construct(
     public readonly array $types
   ) { }
 
+  #[\Override]
   public function asPHPType(): string {
     return 'array';
   }
 
+  #[\Override]
   public function asDocType(): string {
     $types = [];
     foreach($this->types as $type) {
@@ -139,6 +153,7 @@ class ConcType extends ParserType {
     return 'list{'.implode(', ', $types).'}';
   }
 
+  #[\Override]
   public function needsDocType(): bool {
     return true;
   }
@@ -158,13 +173,14 @@ class ConcType extends ParserType {
   }
 }
 
-class UnionType extends ParserType {
+final class UnionType extends ParserType {
 
   /** @param non-empty-array<string, ParserType> $types */
   private function __construct(
     public readonly array $types
   ) {}
 
+  #[\Override]
   public function asPHPType(): string {
     if ($this->needsDocType()) {
       return 'mixed';
@@ -172,6 +188,7 @@ class UnionType extends ParserType {
     return $this->asDocType();
   }
 
+  #[\Override]
   public function asDocType(): string {
     $types = [];
     foreach($this->types as $type) {
@@ -180,6 +197,7 @@ class UnionType extends ParserType {
     return implode('|', $types);
   }
 
+  #[\Override]
   public function needsDocType(): bool {
     foreach($this->types as $type) {
       if ($type->needsDocType()) return true;
@@ -230,11 +248,12 @@ class UnionType extends ParserType {
   }
 }
 
-class OptionalType extends ParserType {
+final class OptionalType extends ParserType {
   private function __construct(
     public readonly ParserType $type
   ) {}
 
+  #[\Override]
   public function asPHPType(): string {
     if ($this->needsDocType()) {
       return 'mixed';
@@ -242,10 +261,12 @@ class OptionalType extends ParserType {
     return $this->asDocType();
   }
 
+  #[\Override]
   public function asDocType(): string {
     return '?'.$this->type->asDocType();
   }
 
+  #[\Override]
   public function needsDocType(): bool {
     return $this->type->needsDocType();
   }
@@ -256,19 +277,22 @@ class OptionalType extends ParserType {
   }
 }
 
-class RepetitionType extends ParserType {
+final class RepetitionType extends ParserType {
   private function __construct(
     public readonly ParserType $type
   ) {}
 
+  #[\Override]
   public function asPHPType(): string {
     return 'array';
   }
 
+  #[\Override]
   public function asDocType(): string {
     return 'list<'.$this->type->asDocType().'>';
   }
 
+  #[\Override]
   public function needsDocType(): bool {
     return true;
   }
@@ -279,7 +303,7 @@ class RepetitionType extends ParserType {
   }
 }
 
-class TypeInfos {
+final class TypeInfos {
 
   /** @param array<string, ParserType> $named */
   private function __construct(
@@ -349,7 +373,7 @@ class TypeInfos {
   }
 }
 
-class EBNFTransform
+final class EBNFTransform
 {
   public static function toRuleName(BarewordResult $result): string {
     return $result->result[0]->result;
@@ -488,8 +512,3 @@ class EBNFTransform
     return static::transformAlt($result->result[2])->repetition();
   }
 }
-
-
-
-
-