Change the Issue type

vimeo · May 3, 2023 · 1850796 · 1850796
1 parent 9cbfe19
commit 1850796
Show file tree

Hide file tree

Showing 4 changed files with 33 additions and 6 deletions.
diff --git a/docs/running_psalm/issues/InheritorViolation.md b/docs/running_psalm/issues/InheritorViolation.md
@@ -0,0 +1,19 @@
+# InheritorViolation
+
+Emitted when a class/interface using `@psalm-inheritors` is extended/implemented
+by a class that does not fulfil it's requirements.
+
+```php
+<?php
+
+/**
+ * @psalm-inheritors FooClass|BarClass
+ */
+class BaseClass {}
+class BazClass extends BaseClass {}
+// InheritorViolation is emitted, as BaseClass can only be extended
+// by FooClass|BarClass, which is not the case
+$a = new BazClass();
+
+}
+```
diff --git a/src/Psalm/Internal/Analyzer/ClassLikeAnalyzer.php b/src/Psalm/Internal/Analyzer/ClassLikeAnalyzer.php
@@ -14,8 +14,8 @@
 use Psalm\Internal\Type\TemplateResult;
 use Psalm\Internal\Type\TemplateStandinTypeReplacer;
 use Psalm\Issue\InaccessibleProperty;
+use Psalm\Issue\InheritorViolation;
 use Psalm\Issue\InvalidClass;
-use Psalm\Issue\InvalidExtendClass;
 use Psalm\Issue\InvalidTemplateParam;
 use Psalm\Issue\MissingDependency;
 use Psalm\Issue\MissingTemplateParam;
@@ -340,10 +340,9 @@ public static function checkFullyQualifiedClassLikeName(
             if ($parent_storage && $parent_storage->inheritors) {
                 if (!UnionTypeComparator::isContainedBy($codebase, $classUnion, $parent_storage->inheritors)) {
                     IssueBuffer::maybeAdd(
-                        new InvalidExtendClass(
+                        new InheritorViolation(
                             'Class ' . $fq_class_name . ' in not an allowed inheritor of parent class ' . $parent_class,
                             $code_location,
-                            $fq_class_name,
                         ),
                         $suppressed_issues,
                     );

diff --git a/src/Psalm/Issue/InheritorViolation.php b/src/Psalm/Issue/InheritorViolation.php
@@ -0,0 +1,9 @@
+<?php
+
+namespace Psalm\Issue;
+
+final class InheritorViolation extends CodeIssue
+{
+    public const ERROR_LEVEL = 4;
+    public const SHORTCODE = 283;
+}
diff --git a/tests/ClassTest.php b/tests/ClassTest.php
@@ -1393,7 +1393,7 @@ class BaseClass {}
                     class BazClass extends BaseClass {} // this is an error
                     $a = new BazClass();
                     PHP,
-                'error_message' => 'InvalidExtendClass',
+                'error_message' => 'InheritorViolation',
                 'ignored_issues' => [],
             ],
             'classCannotImplementIfNotInInheritors' => [
@@ -1406,7 +1406,7 @@ interface BaseInterface {}
                     class BazClass implements BaseInterface {}
                     $a = new BazClass();
                     PHP,
-                'error_message' => 'InvalidExtendClass',
+                'error_message' => 'InheritorViolation',
                 'ignored_issues' => [],
             ],
             'UnfulfilledInterfaceInheritors' => [
@@ -1423,7 +1423,7 @@ interface InterfaceB {}
                     class BazClass implements InterFaceA, InterFaceB {}
                     $a = new BazClass();
                     PHP,
-                'error_message' => 'InvalidExtendClass',
+                'error_message' => 'InheritorViolation',
                 'ignored_issues' => [],
             ],
         ];