feat: implement NoDownMethodRule for Laravel and Phinx

README.md

@@ -65,3 +65,17 @@ Ensures each migration creates at most one table.
 |---|---|
 | [Phinx](./src/Rules/Phinx/ForbidMultipleTableCreationsRule.php) | Multiple calls to `create()` on table instances |
 | [Laravel](./src/Rules/Laravel/ForbidMultipleTableCreationsRule.php) | Multiple `Schema::create()` calls in the same migration |
+
+---
+
+### Rule: `NoDownMethodRule`
+Forbids the usage of the `down` method in migrations.
+> Useful for teams that prefer forward-only migrations or rely solely on the `change` method for extensive rollback support where possible.
+
+#### Support
+
+| Framework | Forbidden usage |
+|---|---|
+| [Phinx](./src/Rules/Phinx/NoDownMethodRule.php) | `public function down(): void` |
+| [Laravel](./src/Rules/Laravel/NoDownMethodRule.php) | `public function down(): void` |
+

extension.neon

@@ -39,5 +39,15 @@ services:
 
     -
         class: PhpStanMigrationRules\Rules\Laravel\ForbidMultipleTableCreationsRule
+        tags:
+            - phpstan.rules.rule
+
+    -
+        class: PhpStanMigrationRules\Rules\Laravel\NoDownMethodRule
+        tags:
+            - phpstan.rules.rule
+
+    -
+        class: PhpStanMigrationRules\Rules\Phinx\NoDownMethodRule
         tags:
             - phpstan.rules.rule

src/Rules/Laravel/NoDownMethodRule.php

@@ -0,0 +1,47 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Rules\Laravel;
+
+use PhpParser\Node;
+use PhpParser\Node\Stmt\ClassMethod;
+use PHPStan\Analyser\Scope;
+use PHPStan\Rules\RuleErrorBuilder;
+
+/**
+ * @extends LaravelRule<ClassMethod>
+ */
+final class NoDownMethodRule extends LaravelRule
+{
+    private const string RULE_IDENTIFIER = 'laravel.schema.noDownMethod';
+
+    private const string MESSAGE = 'Forbidden: "down" method. Use "change" method for reversible migrations, or forward-only migrations.';
+
+    public function getNodeType(): string
+    {
+        return ClassMethod::class;
+    }
+
+    public function processNode(Node $node, Scope $scope): array
+    {
+        if (!$this->isLaravelMigration($scope)) {
+            return [];
+        }
+
+        if ($node->name->toString() !== 'down') {
+            return [];
+        }
+
+        if (!$node->isPublic()) {
+            return [];
+        }
+
+        return [
+            RuleErrorBuilder::message(self::MESSAGE)
+                ->identifier(self::RULE_IDENTIFIER)
+                ->tip('If you must rollback, consider creating a new migration that reverses these changes.')
+                ->build(),
+        ];
+    }
+}

src/Rules/Phinx/NoDownMethodRule.php

@@ -0,0 +1,47 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Rules\Phinx;
+
+use PhpParser\Node;
+use PhpParser\Node\Stmt\ClassMethod;
+use PHPStan\Analyser\Scope;
+use PHPStan\Rules\RuleErrorBuilder;
+
+/**
+ * @extends PhinxRule<ClassMethod>
+ */
+final class NoDownMethodRule extends PhinxRule
+{
+    private const string RULE_IDENTIFIER = 'phinx.schema.noDownMethod';
+
+    private const string MESSAGE = 'Forbidden: "down" method. Use "change" method for reversible migrations, or forward-only migrations.';
+
+    public function getNodeType(): string
+    {
+        return ClassMethod::class;
+    }
+
+    public function processNode(Node $node, Scope $scope): array
+    {
+        if (!$this->isPhinxMigration($scope)) {
+            return [];
+        }
+
+        if ($node->name->toString() !== 'down') {
+            return [];
+        }
+
+        if (!$node->isPublic()) {
+            return [];
+        }
+
+        return [
+            RuleErrorBuilder::message(self::MESSAGE)
+                ->identifier(self::RULE_IDENTIFIER)
+                ->tip('If you must rollback, consider creating a new migration that reverses these changes.')
+                ->build(),
+        ];
+    }
+}

tests/Rules/Laravel/NoDownMethodRuleTest.php

@@ -0,0 +1,56 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Tests\Rules\Laravel;
+
+use PhpStanMigrationRules\Rules\Laravel\NoDownMethodRule;
+use PHPStan\Rules\Rule;
+use PHPStan\Testing\RuleTestCase;
+
+/**
+ * @extends RuleTestCase<NoDownMethodRule>
+ */
+final class NoDownMethodRuleTest extends RuleTestCase
+{
+    protected function getRule(): Rule
+    {
+        return new NoDownMethodRule();
+    }
+
+    public function testReportsDownMethod(): void
+    {
+        $this->analyse(
+            [__DIR__ . '/fixtures/NoDownMethod.php'],
+            [
+                [
+                    'Forbidden: "down" method. Use "change" method for reversible migrations, or forward-only migrations.',
+                    11,
+                    'If you must rollback, consider creating a new migration that reverses these changes.',
+                ],
+            ]
+        );
+    }
+
+    public function testReportsDownMethodInAnonymousClass(): void
+    {
+        $this->analyse(
+            [__DIR__ . '/fixtures/NoDownMethodAnonymous.php'],
+            [
+                [
+                    'Forbidden: "down" method. Use "change" method for reversible migrations, or forward-only migrations.',
+                    11,
+                    'If you must rollback, consider creating a new migration that reverses these changes.',
+                ],
+            ]
+        );
+    }
+
+    public function testDoesNotReportChangeMethod(): void
+    {
+        $this->analyse(
+            [__DIR__ . '/fixtures/WithChangeMethod.php'],
+            []
+        );
+    }
+}

tests/Rules/Laravel/fixtures/NoDownMethod.php

@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Tests\Rules\Laravel\fixtures;
+
+use Illuminate\Database\Migrations\Migration;
+
+class NoDownMethod extends Migration
+{
+    public function down(): void
+    {
+        // ...
+    }
+}

tests/Rules/Laravel/fixtures/NoDownMethodAnonymous.php

@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Tests\Rules\Laravel\fixtures;
+
+use Illuminate\Database\Migrations\Migration;
+
+return new class extends Migration
+{
+    public function down(): void
+    {
+        // ...
+    }
+};

tests/Rules/Laravel/fixtures/WithChangeMethod.php

@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Tests\Rules\Laravel\fixtures;
+
+use Illuminate\Database\Migrations\Migration;
+
+class WithChangeMethod extends Migration
+{
+    public function change(): void
+    {
+        // ...
+    }
+}

tests/Rules/Phinx/NoDownMethodRuleTest.php

@@ -0,0 +1,42 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Tests\Rules\Phinx;
+
+use PhpStanMigrationRules\Rules\Phinx\NoDownMethodRule;
+use PHPStan\Rules\Rule;
+use PHPStan\Testing\RuleTestCase;
+
+/**
+ * @extends RuleTestCase<NoDownMethodRule>
+ */
+final class NoDownMethodRuleTest extends RuleTestCase
+{
+    protected function getRule(): Rule
+    {
+        return new NoDownMethodRule();
+    }
+
+    public function testReportsDownMethod(): void
+    {
+        $this->analyse(
+            [__DIR__ . '/fixtures/NoDownMethod.php'],
+            [
+                [
+                    'Forbidden: "down" method. Use "change" method for reversible migrations, or forward-only migrations.',
+                    11,
+                    'If you must rollback, consider creating a new migration that reverses these changes.',
+                ],
+            ]
+        );
+    }
+
+    public function testDoesNotReportChangeMethod(): void
+    {
+        $this->analyse(
+            [__DIR__ . '/fixtures/WithChangeMethod.php'],
+            []
+        );
+    }
+}

tests/Rules/Phinx/fixtures/NoDownMethod.php

@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Tests\Rules\Phinx\fixtures;
+
+use Phinx\Migration\AbstractMigration;
+
+class NoDownMethod extends AbstractMigration
+{
+    public function down(): void
+    {
+        // ...
+    }
+}

tests/Rules/Phinx/fixtures/WithChangeMethod.php

@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStanMigrationRules\Tests\Rules\Phinx\fixtures;
+
+use Phinx\Migration\AbstractMigration;
+
+class WithChangeMethod extends AbstractMigration
+{
+    public function change(): void
+    {
+        // ...
+    }
+}