PHPUnit attributes

build/PHPStan/Build/AttributeNamedArgumentsRule.php

@@ -39,6 +39,10 @@ public function processNode(Node $node, Scope $scope): array
 			return [];
 		}
 		$constructor = $attributeReflection->getConstructor();
+		if (!$constructor->acceptsNamedArguments()->yes()) {
+			return [];
+		}
+
 		$variants = $constructor->getVariants();
 		if (count($variants) !== 1) {
 			return [];

build/PHPStan/Build/SkipTestsWithRequiresPhpAttributeRule.php

@@ -0,0 +1,130 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Build;
+
+use PhpParser\Node;
+use PhpParser\Node\Attribute;
+use PHPStan\Analyser\Scope;
+use PHPStan\Node\InClassMethodNode;
+use PHPStan\Php\PhpVersion;
+use PHPStan\Rules\Rule;
+use PHPStan\Rules\RuleErrorBuilder;
+use PHPStan\ShouldNotHappenException;
+use PHPUnit\Framework\TestCase;
+use function array_values;
+use function count;
+use function get_class;
+use function sprintf;
+
+/**
+ * @implements Rule<InClassMethodNode>
+ */
+final class SkipTestsWithRequiresPhpAttributeRule implements Rule
+{
+
+	public function getNodeType(): string
+	{
+		return InClassMethodNode::class;
+	}
+
+	public function processNode(Node $node, Scope $scope): array
+	{
+		$methodReflection = $node->getMethodReflection();
+		if (!$methodReflection->getDeclaringClass()->is(TestCase::class)) {
+			return [];
+		}
+
+		$originalNode = $node->getOriginalNode();
+		if ($originalNode->stmts === null) {
+			return [];
+		}
+
+		if (count($originalNode->stmts) === 0) {
+			return [];
+		}
+
+		$firstStmt = $originalNode->stmts[0];
+		if (!$firstStmt instanceof Node\Stmt\If_) {
+			return [];
+		}
+
+		if (!$firstStmt->cond instanceof Node\Expr\BinaryOp) {
+			return [];
+		}
+
+		switch (get_class($firstStmt->cond)) {
+			case Node\Expr\BinaryOp\SmallerOrEqual::class:
+				$inverseBinaryOpSigil = '>';
+				break;
+			case Node\Expr\BinaryOp\Smaller::class:
+				$inverseBinaryOpSigil = '>=';
+				break;
+			case Node\Expr\BinaryOp\GreaterOrEqual::class:
+				$inverseBinaryOpSigil = '<';
+				break;
+			case Node\Expr\BinaryOp\Greater::class:
+				$inverseBinaryOpSigil = '<=';
+				break;
+			case Node\Expr\BinaryOp\Identical::class:
+				$inverseBinaryOpSigil = '!==';
+				break;
+			case Node\Expr\BinaryOp\NotIdentical::class:
+				$inverseBinaryOpSigil = '===';
+				break;
+			default:
+				throw new ShouldNotHappenException('No inverse comparison specified for ' . get_class($firstStmt->cond));
+		}
+
+		if (!$firstStmt->cond->left instanceof Node\Expr\ConstFetch || $firstStmt->cond->left->name->toString() !== 'PHP_VERSION_ID') {
+			return [];
+		}
+
+		if (!$firstStmt->cond->right instanceof Node\Scalar\Int_) {
+			return [];
+		}
+
+		if (count($firstStmt->stmts) !== 1) {
+			return [];
+		}
+
+		$ifStmt = $firstStmt->stmts[0];
+		if (!$ifStmt instanceof Node\Stmt\Expression) {
+			return [];
+		}
+
+		if (!$ifStmt->expr instanceof Node\Expr\StaticCall && !$ifStmt->expr instanceof Node\Expr\MethodCall) {
+			return [];
+		}
+
+		if (!$ifStmt->expr->name instanceof Node\Identifier || $ifStmt->expr->name->toLowerString() !== 'marktestskipped') {
+			return [];
+		}
+
+		$phpVersion = new PhpVersion($firstStmt->cond->right->value);
+
+		return [
+			RuleErrorBuilder::message('Skip tests with #[RequiresPhp] attribute intead.')
+				->identifier('phpstan.skipTestsRequiresPhp')
+				->line($firstStmt->getStartLine())
+				->fixNode($originalNode, static function (Node\Stmt\ClassMethod $node) use ($phpVersion, $inverseBinaryOpSigil) {
+					$stmts = $node->stmts;
+					if ($stmts === null) {
+						return $node;
+					}
+
+					unset($stmts[0]);
+					$node->stmts = array_values($stmts);
+					$node->attrGroups[] = new Node\AttributeGroup([
+						new Attribute(new Node\Name\FullyQualified('PHPUnit\\Framework\\Attributes\\RequiresPhp'), [
+							new Node\Arg(new Node\Scalar\String_(sprintf('%s %s', $inverseBinaryOpSigil, $phpVersion->getVersionString()))),
+						]),
+					]);
+
+					return $node;
+				})
+				->build(),
+		];
+	}
+
+
+}

build/phpstan.neon

@@ -122,6 +122,7 @@ rules:
 	- PHPStan\Build\AttributeNamedArgumentsRule
 	- PHPStan\Build\NamedArgumentsRule
 	- PHPStan\Build\OverrideAttributeThirdPartyMethodRule
+	- PHPStan\Build\SkipTestsWithRequiresPhpAttributeRule
 
 services:
 	-

compiler/composer.json

@@ -6,7 +6,7 @@
     "require": {
         "php": "^8.0",
         "nette/neon": "^3.0.0",
-        "ondrejmirtes/simple-downgrader": "^2.1.7",
+        "ondrejmirtes/simple-downgrader": "^2.1.8",
         "seld/phar-utils": "^1.2",
         "symfony/console": "^5.4.43",
         "symfony/filesystem": "^5.4.43",