feat: Enhance PHPStan analysis with comprehensive type inference tests for Yii Console Application properties.

Author: terabytesoftw

tests/console/config/config.php

@@ -2,10 +2,16 @@
 
 declare(strict_types=1);
 
+use yii\base\View;
 use yii\console\Application;
 
 return [
     'phpstan' => [
         'application_type' => Application::class,
     ],
+    'components' => [
+        'view' => [
+            'class' => View::class,
+        ],
+    ],
 ];

tests/console/data/property/ApplicationPropertiesClassReflectionType.php

@@ -5,14 +5,175 @@
 namespace yii2\extensions\phpstan\tests\console\data\property;
 
 use Yii;
-use yii\console\Application;
+use yii\base\{Security, View};
+use yii\console\{Application, Controller, ErrorHandler, Request, Response};
+use yii\db\Connection;
+use yii\i18n\{Formatter, I18N};
+use yii\log\Dispatcher;
+use yii\mail\MailerInterface;
+use yii\web\{AssetManager, UrlManager};
 
 use function PHPStan\Testing\assertType;
 
+/**
+ * Data provider for property reflection of Yii Console Application properties in PHPStan analysis.
+ *
+ * Validates type inference and return types for core properties and components of {@see Application} via `Yii::$app`,
+ * ensuring that PHPStan correctly recognizes and infers types for all supported application-level properties as if they
+ * were natively declared on the application class.
+ *
+ * These tests cover scenarios including direct property access, component-based properties, nullable and interface
+ * typed properties, and type assertions for both native and dynamic attached components, verifying that type assertions
+ * match the expected return types for each case.
+ *
+ * Key features.
+ * - Coverage for all documented core console application properties and components.
+ * - Ensures compatibility with PHPStan property reflection for Yii console application context.
+ * - Type assertion for native, interface, and nullable properties.
+ * - Validates correct type inference for all supported property types, including interfaces and union types.
+ *
+ * @copyright Copyright (C) 2023 Terabytesoftw.
+ * @license https://opensource.org/license/bsd-3-clause BSD 3-Clause License.
+ */
 final class ApplicationPropertiesClassReflectionType
 {
     public function testReturnApplicationInstanceFromYiiApp(): void
     {
         assertType(Application::class, Yii::$app);
     }
+
+    public function testReturnAssetManagerFromComponent(): void
+    {
+        assertType(AssetManager::class, Yii::$app->assetManager);
+    }
+
+    public function testReturnAuthManagerFromComponent(): void
+    {
+        assertType('yii\rbac\ManagerInterface|null', Yii::$app->authManager);
+    }
+
+    public function testReturnStringFromBasePathProperty(): void
+    {
+        assertType('string', Yii::$app->basePath);
+    }
+
+    public function testReturnCacheFromComponent(): void
+    {
+        assertType('yii\caching\CacheInterface|null', Yii::$app->cache);
+    }
+
+    public function testReturnStringFromCharsetProperty(): void
+    {
+        assertType('string', Yii::$app->charset);
+    }
+
+    public function testReturnControllerFromProperty(): void
+    {
+        assertType(Controller::class, Yii::$app->controller);
+    }
+
+    public function testReturnStringFromControllerNamespaceProperty(): void
+    {
+        assertType('string', Yii::$app->controllerNamespace);
+    }
+
+    public function testReturnDbFromComponent(): void
+    {
+        assertType(Connection::class, Yii::$app->db);
+    }
+
+    public function testReturnStringFromDefaultRouteProperty(): void
+    {
+        assertType('string', Yii::$app->defaultRoute);
+    }
+
+    public function testReturnBoolFromEnableCoreCommandsProperty(): void
+    {
+        assertType('bool', Yii::$app->enableCoreCommands);
+    }
+
+    public function testReturnErrorHandlerFromComponent(): void
+    {
+        assertType(ErrorHandler::class, Yii::$app->errorHandler);
+    }
+
+    public function testReturnFormatterFromComponent(): void
+    {
+        assertType(Formatter::class, Yii::$app->formatter);
+    }
+
+    public function testReturnI18nFromComponent(): void
+    {
+        assertType(I18N::class, Yii::$app->i18n);
+    }
+
+    public function testReturnStringFromLanguageProperty(): void
+    {
+        assertType('string', Yii::$app->language);
+    }
+
+    public function testReturnLogFromComponent(): void
+    {
+        assertType(Dispatcher::class, Yii::$app->log);
+    }
+
+    public function testReturnMailerFromComponent(): void
+    {
+        assertType(MailerInterface::class, Yii::$app->mailer);
+    }
+
+    public function testReturnStringFromNameProperty(): void
+    {
+        assertType('string', Yii::$app->name);
+    }
+
+    public function testReturnRequestFromComponent(): void
+    {
+        assertType(Request::class, Yii::$app->request);
+    }
+
+    public function testReturnResponseFromComponent(): void
+    {
+        assertType(Response::class, Yii::$app->response);
+    }
+
+    public function testReturnStringFromRuntimePathProperty(): void
+    {
+        assertType('string', Yii::$app->runtimePath);
+    }
+
+    public function testReturnSecurityFromComponent(): void
+    {
+        assertType(Security::class, Yii::$app->security);
+    }
+
+    public function testReturnStringFromSourceLanguageProperty(): void
+    {
+        assertType('string', Yii::$app->sourceLanguage);
+    }
+
+    public function testReturnStringFromTimeZoneProperty(): void
+    {
+        assertType('string', Yii::$app->timeZone);
+    }
+
+    public function testReturnStringFromUniqueIdProperty(): void
+    {
+        assertType('string', Yii::$app->uniqueId);
+    }
+
+    public function testReturnUrlManagerFromComponent(): void
+    {
+        assertType(UrlManager::class, Yii::$app->urlManager);
+    }
+
+    public function testReturnStringFromVendorPathProperty(): void
+    {
+        assertType('string', Yii::$app->vendorPath);
+    }
+
+    public function testReturnViewFromComponent(): void
+    {
+        assertType(View::class, Yii::$app->view);
+    }
 }

tests/console/property/ApplicationPropertiesClassReflectionExtensionTest.php

@@ -7,6 +7,25 @@
 use PHPStan\Testing\TypeInferenceTestCase;
 use PHPUnit\Framework\Attributes\DataProvider;
 
+/**
+ * Test suite for type inference of property reflection in Yii Console Application for PHPStan analysis.
+ *
+ * Validates that PHPStan correctly infers types for properties provided by the Yii Console Application, using
+ * fixture-based assertions for direct property access, parameterized properties, and shared property resolution.
+ *
+ * The test class loads type assertions from a fixture file and delegates checks to the parent
+ * {@see TypeInferenceTestCase}, ensuring that extension logic for {@see ApplicationPropertiesClassReflectionExtension}
+ * is robust and consistent with expected behavior in the console context.
+ *
+ * Key features.
+ * - Ensures compatibility with PHPStan extension configuration for console applications.
+ * - Loads and executes type assertions from a dedicated fixture file.
+ * - Uses PHPUnit DataProvider for parameterized test execution.
+ * - Validates type inference for native and application-provided properties.
+ *
+ * @copyright Copyright (C) 2023 Terabytesoftw.
+ * @license https://opensource.org/license/bsd-3-clause BSD 3-Clause License.
+ */
 final class ApplicationPropertiesClassReflectionExtensionTest extends TypeInferenceTestCase
 {
     /**