Promoted property can be readonly.

Author: donquixote

src/ClassFilesIA/ClassFilesIA_Concat.php

@@ -8,7 +8,7 @@ class ClassFilesIA_Concat implements ClassFilesIAInterface {
    * @param \Ock\ClassFilesIterator\ClassFilesIA\ClassFilesIAInterface[] $classFilesIAs
    */
   public function __construct(
-    private array $classFilesIAs,
+    private readonly array $classFilesIAs,
   ) {}
 
   /**

src/ClassFilesIA/ClassFilesIA_NamespaceDirectoryPsr4.php

@@ -53,7 +53,7 @@ public static function createFromNsdirObject(NamespaceDirectory $nsdir): ClassFi
    * @param string $terminatedNamespace
    */
   public function __construct(
-    private string $directory,
+    private readonly string $directory,
     private readonly string $terminatedNamespace,
   ) {}
 

src/NamespaceDirectory.php

@@ -93,7 +93,7 @@ public static function fromReflectionClass(\ReflectionClass $reflection_class):
    *   Namespace ending with separator, or '' for the root namespace.
    */
   private function __construct(
-    private string $directory,
+    private readonly string $directory,
     private readonly string $terminatedNamespace,
   ) {}