Test that simple required files throw an error

Author: Bellangelo

composer.json

@@ -9,7 +9,8 @@
     },
     "require": {
         "php": ">=7.4",
-        "phpstan/phpstan": "^1.11"
+        "phpstan/phpstan": "^1.11",
+        "ext-json": "*"
     },
     "license": "Apache-2.0",
     "autoload": {

tests/MainTest.php

@@ -10,6 +10,49 @@ class MainTest extends TestCase
 {
     public function testHappyPath(): void
     {
-        $this->assertTrue(true);
+        $expectedTotalErrors = 4;
+        $expectedErrorsPerFile = [
+            'included_file_does_not_exist.php' => [
+                'errors' => 4,
+                'messages' => [
+                    [
+                        'message' => 'Included or required file "a_file_that_does_not_exist.php" does not exist.',
+                        'line' => 5,
+                        'ignorable' => true
+                    ],
+                    [
+                        'message' => 'Included or required file "a_file_that_does_not_exist_once.php" does not exist.',
+                        'line' => 6,
+                        'ignorable' => true
+                    ],
+                    [
+                        'message' => 'Included or required file "a_file_that_does_not_exist.php" does not exist.',
+                        'line' => 7,
+                        'ignorable' => true
+                    ],
+                    [
+                        'message' => 'Included or required file "a_file_that_does_not_exist_once.php" does not exist.',
+                        'line' => 8,
+                        'ignorable' => true
+                    ],
+                ]
+            ],
+        ];
+
+        $output = [];
+        exec('php vendor/bin/phpstan analyse -c tests/phpstan-testing.neon --error-format=json', $output);
+
+        $jsonOutput = json_decode(implode(' ', $output), true, 10, JSON_THROW_ON_ERROR);
+
+        $this->assertSame($expectedTotalErrors, $jsonOutput['totals']['file_errors']);
+        $this->assertCount(count($expectedErrorsPerFile), $jsonOutput['files']);
+
+        foreach ($jsonOutput['files'] as $filename => $errors) {
+            $basename = basename($filename);
+
+            $this->assertArrayHasKey($basename, $expectedErrorsPerFile);
+            $this->assertSame($expectedErrorsPerFile[$basename]['errors'], $errors['errors']);
+            $this->assertSame($expectedErrorsPerFile[$basename]['messages'], $errors['messages']);
+        }
     }
 }

tests/files/included_file_does_not_exist.php

@@ -0,0 +1,8 @@
+<?php
+
+declare(strict_types=1);
+
+include 'a_file_that_does_not_exist.php';
+include_once 'a_file_that_does_not_exist_once.php';
+require 'a_file_that_does_not_exist.php';
+require_once 'a_file_that_does_not_exist_once.php';

tests/phpstan-testing.neon

@@ -0,0 +1,12 @@
+services:
+    -
+        class: Bellangelo\PHPStanRequireFileExists\RequireFileExistsRule
+        arguments:
+           - @reflectionProvider
+        tags: [phpstan.rules.rule]
+
+parameters:
+    phpVersion: 70400
+    level: 9
+    paths:
+        - files