ADD InjectableVersion Attribute

Author: DaveLiddament

README.md

@@ -5,6 +5,7 @@ The intention, at least initially, is that these extra language features are enf
 
 **Language feature added:**
 - [Friend](#friend)
+- [InjectableVersion](#injectableVersion)
 - [Package](#package) 
 - [Sealed](#sealed)
 - [TestTag](#testtag)
@@ -16,8 +17,9 @@ The intention, at least initially, is that these extra language features are enf
   - [PHPStan](#phpstan)
   - [Psalm](#psalm)
 - [New Language Features](#new-language-features)
-  - [Package](#package)
   - [Friend](#friend)
+  - [InjectableVersion](#injectableVersion)
+  - [Package](#package)
   - [Sealed](#sealed)
   - [TestTag](#testtag)
 - [Further examples](#further-examples)
@@ -271,6 +273,75 @@ NOTES:
   - Assume all classes within a namespace is test code. See [namespace config option](https://github.com/DaveLiddament/phpstan-php-language-extensions#exclude-checks-based-on-test-namespace).
 
 
+
+## InjectableVersion
+
+The `#[InjectableVersion]` is used in conjunction with dependency injection.
+`#[InjectableVersion]` is applied to a class or interface. 
+It denotes that it is this version and not any classes that implement/extend that should be used in the codebase.
+
+E.g.
+
+```php
+
+#[InjectableVersion]
+class PersonRepository {...} // This is the version that should be type hinted in constructors.
+
+class DoctrinePersonRepository extends PersonRepository {...}
+
+class PersonCreator {
+    public function __construct(
+        private PersonRepository $personRepository, // OK - using the injectable version
+    )
+}
+class PersonUpdater {
+    public function __construct(
+        private DoctrinePersonRepository $personRepository, // ERROR - not using the InjectableVersion
+    )
+}
+```
+
+This also works for collections:
+
+```php
+
+#[InjectableVersion]
+interface Validator {...} // This is the version that should be type hinted in constructors.
+
+class NameValidator implements Validator {...}
+class AddressValidator implements Validator {...}
+
+class PersonValidator {
+    /** @param Validator[] $validators */
+    public function __construct(
+        private array $validators, // OK - using the injectable version
+    )
+}
+```
+
+By default, only constructor arguments are checked. Most DI should be done via constructor injection. 
+
+In cases where dependencies are injected by methods that aren't constructors, the method must be marked with a `#[CheckInjectableVersion]`:
+
+```php
+
+#[InjectableVersion]
+interface Logger {...}
+
+class FileLogger implements Logger {...}
+
+class MyService 
+{
+    #[CheckInjectableVersion]
+    public function setLogger(Logger $logger): void {} // OK - Injectable Version injected
+    
+    public function addLogger(FileLogger $logger): void {} // No issue raised because addLogger doesn't have the #[CheckInjectableVersion] attribute.
+}
+
+```
+
+
+
 ## Further examples
 
 More detailed examples of how to use attributes is found in [examples](examples/).

examples/injectableVersion/InjectableVersionCheckOnMethod.php

@@ -0,0 +1,39 @@
+<?php
+
+declare(strict_types=1);
+
+namespace InjectableVersionCheckOnMethod;
+
+use DaveLiddament\PhpLanguageExtensions\CheckInjectableVersion;
+use DaveLiddament\PhpLanguageExtensions\InjectableVersion;
+
+#[InjectableVersion]
+abstract class Repository
+{
+}
+
+class DoctrineRepository extends Repository
+{
+}
+
+class InjectingCorrectVersion
+{
+    public Repository $repository;
+
+    #[CheckInjectableVersion]
+    public function setRepository(Repository $repository): void // OK
+    {
+        $this->repository = $repository;
+    }
+}
+
+class InjectingWrongVersion
+{
+    public Repository $repository;
+
+    #[CheckInjectableVersion]
+    public function setRepository(DoctrineRepository $repository): void // ERROR
+    {
+        $this->repository = $repository;
+    }
+}

examples/injectableVersion/InjectableVersionOnClass.php

@@ -0,0 +1,35 @@
+<?php
+
+declare(strict_types=1);
+
+namespace InjectableVersionOnClass;
+
+use DaveLiddament\PhpLanguageExtensions\InjectableVersion;
+
+#[InjectableVersion]
+abstract class Repository
+{
+}
+
+class DoctrineRepository extends Repository
+{
+}
+
+
+class InjectingCorrectVersion
+{
+    public function __construct(
+        public Repository $repository,
+        public int $int
+    ) {} // OK
+}
+
+class InjectingWrongVersion
+{
+    /** @param mixed $unknownType */
+    public function __construct(
+        public string $string,
+        public $unknownType,
+        public DoctrineRepository $repository
+    ) {} // ERROR
+}

examples/injectableVersion/InjectableVersionOnExtendsThenImplements.php

@@ -0,0 +1,31 @@
+<?php
+
+declare(strict_types=1);
+
+namespace InjectableVersionOnExtendsThenImplements;
+
+use DaveLiddament\PhpLanguageExtensions\InjectableVersion;
+
+#[InjectableVersion]
+interface Repository
+{
+}
+
+class AbstractDoctrineRepository implements Repository
+{
+}
+
+
+class DoctrineRepository extends AbstractDoctrineRepository
+{
+}
+
+class InjectingWrongVersion1
+{
+    public function __construct(public AbstractDoctrineRepository $repository) {} // ERROR
+}
+
+class InjectingWrongVersion2
+{
+    public function __construct(public DoctrineRepository $repository) {} // ERROR
+}

examples/injectableVersion/InjectableVersionOnInterface.php

@@ -0,0 +1,27 @@
+<?php
+
+declare(strict_types=1);
+
+namespace InjectableVersionOnInterface;
+
+use DaveLiddament\PhpLanguageExtensions\InjectableVersion;
+
+#[InjectableVersion]
+interface Repository
+{
+}
+
+interface DoctrineRepository extends Repository
+{
+}
+
+
+class InjectingCorrectVersion
+{
+    public function __construct(public Repository $repository) {}
+}
+
+class InjectingWrongVersion
+{
+    public function __construct(public DoctrineRepository $repository) {}
+}

examples/injectableVersion/InjectableVersionRulesIgnoredForTestNamespace.php

@@ -0,0 +1,31 @@
+<?php
+
+declare(strict_types=1);
+
+namespace InjectableVersionRulesIgnoredForTestNamespace {
+
+    use DaveLiddament\PhpLanguageExtensions\InjectableVersion;
+
+    #[InjectableVersion]
+    interface Repository
+    {
+    }
+}
+
+
+namespace InjectableVersionRulesIgnoredForTestNamespace\Test {
+
+    use InjectableVersionRulesIgnoredForTestNamespace\Repository;
+
+    class RepositoryDouble implements Repository
+    {
+    }
+
+    class ServiceDouble
+    {
+        public function __construct(public RepositoryDouble $repository) // OK as in test namespace and this excluded from checks
+        {
+        }
+    }
+
+}

examples/injectableVersion/IterableInjectableVersion.php

@@ -0,0 +1,35 @@
+<?php
+
+declare(strict_types=1);
+
+namespace IterableInjectableVersion;
+
+use DaveLiddament\PhpLanguageExtensions\InjectableVersion;
+
+#[InjectableVersion]
+abstract class Repository
+{
+}
+
+class DoctrineRepository extends Repository
+{
+}
+
+
+class InjectingCorrectVersion
+{
+    /** @param Repository[] $repositories */
+    public function __construct(public array $repositories) {} // OK
+}
+
+class InjectingWrongVersion
+{
+    /** @param DoctrineRepository[] $repositories */
+    public function __construct(public iterable $repositories) {} // ERROR
+}
+
+class InjectingWrongVersion2
+{
+    /** @param DoctrineRepository[] $repositories */
+    public function __construct($repositories) {var_export($repositories);} // ERROR
+}

examples/injectableVersion/MultipleLevelsOfInheritanceInjectableVersionOnInterface.php

@@ -0,0 +1,37 @@
+<?php
+
+declare(strict_types=1);
+
+namespace MultipleLevelsOfInheritanceOnInjectableVersionOnInterface;
+
+use DaveLiddament\PhpLanguageExtensions\InjectableVersion;
+
+#[InjectableVersion]
+interface CorrectVersion
+{
+}
+
+interface FirstLevelOfInheritance extends CorrectVersion
+{
+}
+
+
+class SecondLevelOfInheritance implements FirstLevelOfInheritance
+{
+}
+
+
+class InjectingCorrectVersion
+{
+    public function __construct(public CorrectVersion $repository) {} // OK
+}
+
+class InjectingWrongVersion1
+{
+    public function __construct(public FirstLevelOfInheritance $repository) {} // ERROR
+}
+
+class InjectingWrongVersion2
+{
+    public function __construct(public SecondLevelOfInheritance $repository) {} // ERROR
+}

examples/injectableVersion/MultipleLevelsOfInheritanceNoInjectableVersionOnClass.php

@@ -0,0 +1,35 @@
+<?php
+
+declare(strict_types=1);
+
+namespace MultipleLevelsOfInheritanceNoInjectableVersionOnClass;
+
+
+class CorrectVersion
+{
+}
+
+class FirstLevelOfInheritance extends CorrectVersion
+{
+}
+
+
+class SecondLevelOfInheritance extends FirstLevelOfInheritance
+{
+}
+
+
+class InjectingCorrectVersion
+{
+    public function __construct(public CorrectVersion $repository) {} // OK
+}
+
+class InjectingWrongVersion1
+{
+    public function __construct(public FirstLevelOfInheritance $repository) {} // OK
+}
+
+class InjectingWrongVersion2
+{
+    public function __construct(public SecondLevelOfInheritance $repository) {} // OK
+}