Narrow types

sebastianbergmann · Jan 18, 2024 · 3d0024b · 3d0024b
1 parent 5dbc551
commit 3d0024b
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/src/Util/Xml/SchemaDetectionResult.php b/src/Util/Xml/SchemaDetectionResult.php
@@ -16,6 +16,9 @@
  */
 abstract class SchemaDetectionResult
 {
+    /**
+     * @psalm-assert-if-true SuccessfulSchemaDetectionResult $this
+     */
     public function detected(): bool
     {
         return false;

diff --git a/src/Util/Xml/SuccessfulSchemaDetectionResult.php b/src/Util/Xml/SuccessfulSchemaDetectionResult.php
@@ -17,20 +17,29 @@
 final class SuccessfulSchemaDetectionResult extends SchemaDetectionResult
 {
     /**
-     * @var string
+     * @psalm-var non-empty-string
      */
     private $version;
 
+    /**
+     * @psalm-param non-empty-string $version
+     */
     public function __construct(string $version)
     {
         $this->version = $version;
     }
 
+    /**
+     * @psalm-assert-if-true SuccessfulSchemaDetectionResult $this
+     */
     public function detected(): bool
     {
         return true;
     }
 
+    /**
+     * @psalm-return non-empty-string
+     */
     public function version(): string
     {
         return $this->version;