phpstan max level

Author: AydinHassan

composer.json

@@ -36,7 +36,9 @@
         "squizlabs/php_codesniffer": "^3.4",
         "symfony/phpunit-bridge": "^5.1",
         "phpstan/phpstan": "^0.12.50",
-        "timeweb/phpstan-enum": "^2.2"
+        "timeweb/phpstan-enum": "^2.2",
+        "phpstan/extension-installer": "^1.0",
+        "phpstan/phpstan-symfony": "^0.12.8"
     },
     "autoload" : {
         "psr-4" : {
@@ -57,6 +59,6 @@
             "phpcs src --standard=PSR12 --encoding=UTF-8",
             "phpcs test --standard=PSR12 --encoding=UTF-8"
         ],
-        "static": "phpstan --ansi analyse --level 6 src"
+        "static": "phpstan --ansi analyse --level max src"
     }
 }

composer.lock

@@ -1,3 +1,9 @@
 parameters:
     treatPhpDocTypesAsCertain: false
-
+    ignoreErrors:
+        -
+            message: '#PhpSchool\\PhpWorkshop\\ExerciseRunner\\CliRunner\:\:preserveOldArgFormat\(\) should return#'
+            path: src/ExerciseRunner/CliRunner.php
+        -
+            message: '#Call to an undefined method PhpParser\\Node\\Expr\|PhpParser\\Node\\Name\:\:__toString\(\)#'
+            path: src/Check/FunctionRequirementsCheck.php

phpstan.neon

@@ -22,17 +22,17 @@ final class Application
     private $workshopTitle;
 
     /**
-     * @var array
+     * @var array<class-string>
      */
     private $checks = [];
 
     /**
-     * @var class-string[]
+     * @var array<class-string>
      */
     private $exercises = [];
 
     /**
-     * @var array
+     * @var array<array{resultClass: class-string, resultRendererClass: class-string}>
      */
     private $results = [];
 
@@ -68,7 +68,7 @@ final class Application
      * @param string $workshopTitle The workshop title - this is used throughout the application
      * @param string $diConfigFile The absolute path to the DI configuration file
      */
-    public function __construct($workshopTitle, $diConfigFile)
+    public function __construct(string $workshopTitle, string $diConfigFile)
     {
         Assertion::string($workshopTitle);
         Assertion::file($diConfigFile);
@@ -81,9 +81,9 @@ public function __construct($workshopTitle, $diConfigFile)
      * Register a custom check with the application. Exercises will only be able to use the check
      * if it has been registered here.
      *
-     * @param string $check The FQCN of the check
+     * @param class-string $check The FQCN of the check
      */
-    public function addCheck($check)
+    public function addCheck(string $check): void
     {
         $this->checks[] = $check;
     }
@@ -94,16 +94,16 @@ public function addCheck($check)
      *
      * @param class-string $exercise The FQCN of the check
      */
-    public function addExercise($exercise)
+    public function addExercise(string $exercise): void
     {
         $this->exercises[] = $exercise;
     }
 
     /**
-     * @param string $resultClass
-     * @param string $resultRendererClass
+     * @param class-string $resultClass
+     * @param class-string $resultRendererClass
      */
-    public function addResult($resultClass, $resultRendererClass)
+    public function addResult(string $resultClass, string $resultRendererClass): void
     {
         Assertion::classExists($resultClass);
         Assertion::classExists($resultRendererClass);
@@ -120,7 +120,7 @@ public function addResult($resultClass, $resultRendererClass)
      *
      * @param string $logo The logo
      */
-    public function setLogo($logo)
+    public function setLogo(string $logo): void
     {
         Assertion::string($logo);
         $this->logo = $logo;
@@ -132,7 +132,7 @@ public function setLogo($logo)
      *
      * @param string $colour The colour
      */
-    public function setFgColour($colour)
+    public function setFgColour(string $colour): void
     {
         Assertion::string($colour);
         $this->fgColour = $colour;
@@ -144,7 +144,7 @@ public function setFgColour($colour)
      *
      * @param string $colour The colour
      */
-    public function setBgColour($colour)
+    public function setBgColour(string $colour): void
     {
         Assertion::string($colour);
         $this->bgColour = $colour;
@@ -156,7 +156,7 @@ public function setBgColour($colour)
      *
      * @return int The exit code
      */
-    public function run()
+    public function run(): int
     {
         $container = $this->getContainer();
 
@@ -218,7 +218,7 @@ public function run()
     /**
      * @return \DI\Container
      */
-    private function getContainer()
+    private function getContainer(): \DI\Container
     {
         $containerBuilder = new ContainerBuilder();
         $containerBuilder->addDefinitions(

src/Application.php

@@ -11,12 +11,12 @@
 class CheckRepository
 {
     /**
-     * @var CheckInterface[]
+     * @var array<CheckInterface>
      */
     private $checks = [];
 
     /**
-     * @param CheckInterface[] $checks An array of checks available to the workshop framework.
+     * @param array<CheckInterface> $checks An array of checks available to the workshop framework.
      */
     public function __construct(array $checks = [])
     {
@@ -27,6 +27,7 @@ public function __construct(array $checks = [])
 
     /**
      * Add a new check to the repository.
+     * @param CheckInterface $check
      */
     public function registerCheck(CheckInterface $check): void
     {
@@ -36,7 +37,7 @@ public function registerCheck(CheckInterface $check): void
     /**
      * Get all of the checks in the repository.
      *
-     * @return array
+     * @return array<CheckInterface>
      */
     public function getAll(): array
     {
@@ -61,6 +62,9 @@ public function getByClass(string $class): CheckInterface
 
     /**
      * Query whether a check instance exists in this repository via its class name.
+     *
+     * @param string $class
+     * @return bool
      */
     public function has(string $class): bool
     {

src/Check/CheckRepository.php

@@ -51,13 +51,12 @@ public function getName(): string
      */
     public function check(ExerciseInterface $exercise, Input $input): ResultInterface
     {
-        
-        $code = file_get_contents($input->getArgument('program'));
+        $code = (string) file_get_contents($input->getRequiredArgument('program'));
 
         try {
             $this->parser->parse($code);
         } catch (Error $e) {
-            return Failure::fromCheckAndCodeParseFailure($this, $e, $input->getArgument('program'));
+            return Failure::fromCheckAndCodeParseFailure($this, $e, $input->getRequiredArgument('program'));
         }
 
         return Success::fromCheck($this);

src/Check/CodeParseCheck.php

@@ -41,19 +41,19 @@ public function check(ExerciseInterface $exercise, Input $input): ResultInterfac
             throw new \InvalidArgumentException();
         }
 
-        if (!file_exists(sprintf('%s/composer.json', dirname($input->getArgument('program'))))) {
+        if (!file_exists(sprintf('%s/composer.json', dirname($input->getRequiredArgument('program'))))) {
             return new Failure($this->getName(), 'No composer.json file found');
         }
 
-        if (!file_exists(sprintf('%s/composer.lock', dirname($input->getArgument('program'))))) {
+        if (!file_exists(sprintf('%s/composer.lock', dirname($input->getRequiredArgument('program'))))) {
             return new Failure($this->getName(), 'No composer.lock file found');
         }
 
-        if (!file_exists(sprintf('%s/vendor', dirname($input->getArgument('program'))))) {
+        if (!file_exists(sprintf('%s/vendor', dirname($input->getRequiredArgument('program'))))) {
             return new Failure($this->getName(), 'No vendor folder found');
         }
 
-        $lockFile = new LockFileParser(sprintf('%s/composer.lock', dirname($input->getArgument('program'))));
+        $lockFile = new LockFileParser(sprintf('%s/composer.lock', dirname($input->getRequiredArgument('program'))));
         $missingPackages = array_filter($exercise->getRequiredPackages(), function ($package) use ($lockFile) {
             return !$lockFile->hasInstalledPackage($package);
         });

src/Check/ComposerCheck.php

@@ -31,11 +31,14 @@ public function getName(): string
      */
     public function check(ExerciseInterface $exercise, Input $input): ResultInterface
     {
-        if (file_exists($input->getArgument('program'))) {
+        if (file_exists($input->getRequiredArgument('program'))) {
             return Success::fromCheck($this);
         }
 
-        return Failure::fromCheckAndReason($this, sprintf('File: "%s" does not exist', $input->getArgument('program')));
+        return Failure::fromCheckAndReason(
+            $this,
+            sprintf('File: "%s" does not exist', $input->getRequiredArgument('program'))
+        );
     }
 
     /**