Add Immutable attribute

Author: carlos-granados

README.md

@@ -97,6 +97,7 @@ These are the available attributes and their corresponding PHPDoc annotations:
 | Attribute                                                                                                         | PHPDoc Annotations                   |
 |-------------------------------------------------------------------------------------------------------------------|--------------------------------------|
 | [Deprecated](https://github.com/php-static-analysis/attributes/blob/main/doc/Deprecated.md)                       | `@deprecated`                        |
+| [Immmutable](https://github.com/php-static-analysis/attributes/blob/main/doc/Immmutable.md)                       | `@immmutable`                        |
 | [Impure](https://github.com/php-static-analysis/attributes/blob/main/doc/Impure.md)                               | `@impure`                            |
 | [Internal](https://github.com/php-static-analysis/attributes/blob/main/doc/Internal.md)                           | `@internal`                          |
 | [IsReadOnly](https://github.com/php-static-analysis/attributes/blob/main/doc/IsReadOnly.md)                       | `@readonly`                          |

composer.json

@@ -24,8 +24,8 @@
     "prefer-stable": true,
     "require": {
         "php": ">=8.0",
-        "php-static-analysis/attributes": "^0.1.16 || dev-main",
-        "php-static-analysis/node-visitor": "^0.1.16 || dev-main",
+        "php-static-analysis/attributes": "^0.1.17 || dev-main",
+        "php-static-analysis/node-visitor": "^0.1.17 || dev-main",
         "phpstan/phpstan": "^1.8"
     },
     "require-dev": {

tests/ImmutableAttributeTest.php

@@ -0,0 +1,40 @@
+<?php
+
+
+use test\PhpStaticAnalysis\PHPStanExtension\BaseAttributeTestCase;
+
+class ImmutableAttributeTest extends BaseAttributeTestCase
+{
+    public function testClassImmutableAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/Immutable/ClassImmutableAttribute.php');
+        $expectedErrors = [
+        ];
+
+        $this->checkExpectedErrors($errors, $expectedErrors);
+    }
+
+    public function testTraitImmutableAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/Immutable/TraitImmutableAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testInterfaceImmutableAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/Immutable/InterfaceImmutableAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testInvalidClassImmutableAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/Immutable/InvalidClassImmutableAttribute.php');
+
+        $expectedErrors = [
+            'Attribute class PhpStaticAnalysis\Attributes\Immutable is not repeatable but is already present above the class.' => 10,
+            'Attribute class PhpStaticAnalysis\Attributes\Immutable does not have the property target.' => 13,
+        ];
+
+        $this->checkExpectedErrors($errors, $expectedErrors);
+    }
+}

tests/data/Immutable/ClassImmutableAttribute.php

@@ -0,0 +1,14 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data\Immutable;
+
+use PhpStaticAnalysis\Attributes\Immutable;
+
+#[Immutable] // All properties are read only
+class ClassImmutableAttribute
+{
+    public string $name = '';
+}
+
+$class = new ClassImmutableAttribute();
+$class->name = 'John';

tests/data/Immutable/InterfaceImmutableAttribute.php

@@ -0,0 +1,10 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data\Immutable;
+
+use PhpStaticAnalysis\Attributes\Immutable;
+
+#[Immutable]
+interface InterfaceImmutableAttribute
+{
+}

tests/data/Immutable/InvalidClassImmutableAttribute.php

@@ -0,0 +1,15 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data\Immutable;
+
+use PhpStaticAnalysis\Attributes\Immutable;
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+
+#[Immutable]
+#[Immutable]
+class InvalidClassImmutableAttribute
+{
+    #[Immutable]
+    public string $name = '';
+}

tests/data/Immutable/TraitImmutableAttribute.php

@@ -0,0 +1,10 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data\Immutable;
+
+use PhpStaticAnalysis\Attributes\Immutable;
+
+#[Immutable]
+trait TraitImmutableAttribute
+{
+}