PHP version for analysis in PHPStanDiagnoseExtension

Author: ondrejmirtes

src/Diagnose/PHPStanDiagnoseExtension.php

@@ -11,13 +11,22 @@
 class PHPStanDiagnoseExtension implements DiagnoseExtension
 {
 
+	public function __construct(private PhpVersion $phpVersion)
+	{
+	}
+
 	public function print(Output $errorOutput): void
 	{
 		$phpRuntimeVersion = new PhpVersion(PHP_VERSION_ID);
 		$errorOutput->writeLineFormatted(sprintf(
 			'<info>PHP runtime version:</info> %s',
 			$phpRuntimeVersion->getVersionString(),
 		));
+		$errorOutput->writeLineFormatted(sprintf(
+			'<info>PHP version for analysis:</info> %s (from %s)',
+			$this->phpVersion->getVersionString(),
+			$this->phpVersion->getSourceLabel(),
+		));
 		$errorOutput->writeLineFormatted(sprintf(
 			'<info>PHPStan version:</info> %s',
 			ComposerHelper::getPhpStanVersion(),

src/Php/PhpVersion.php

@@ -8,10 +8,32 @@
 class PhpVersion
 {
 
-	public function __construct(private int $versionId)
+	public const SOURCE_RUNTIME = 1;
+	public const SOURCE_CONFIG = 2;
+	public const SOURCE_COMPOSER_PLATFORM_PHP = 3;
+	public const SOURCE_UNKNOWN = 4;
+
+	/**
+	 * @param self::SOURCE_* $source
+	 */
+	public function __construct(private int $versionId, private int $source = self::SOURCE_UNKNOWN)
 	{
 	}
 
+	public function getSourceLabel(): string
+	{
+		switch ($this->source) {
+			case self::SOURCE_RUNTIME:
+				return 'runtime';
+			case self::SOURCE_CONFIG:
+				return 'config';
+			case self::SOURCE_COMPOSER_PLATFORM_PHP:
+				return 'config.platform.php in composer.json';
+		}
+
+		return 'unknown';
+	}
+
 	public function getVersionId(): int
 	{
 		return $this->versionId;

src/Php/PhpVersionFactory.php

@@ -20,18 +20,20 @@ public function __construct(
 	public function create(): PhpVersion
 	{
 		$versionId = $this->versionId;
-		if ($versionId === null && $this->composerPhpVersion !== null) {
+		if ($versionId !== null) {
+			$source = PhpVersion::SOURCE_CONFIG;
+		} elseif ($this->composerPhpVersion !== null) {
 			$parts = explode('.', $this->composerPhpVersion);
 			$tmp = (int) $parts[0] * 10000 + (int) ($parts[1] ?? 0) * 100 + (int) ($parts[2] ?? 0);
 			$tmp = max($tmp, 70100);
 			$versionId = min($tmp, 80399);
-		}
-
-		if ($versionId === null) {
+			$source = PhpVersion::SOURCE_COMPOSER_PLATFORM_PHP;
+		} else {
 			$versionId = PHP_VERSION_ID;
+			$source = PhpVersion::SOURCE_RUNTIME;
 		}
 
-		return new PhpVersion($versionId);
+		return new PhpVersion($versionId, $source);
 	}
 
 }