TraitAttributesRuleTest.php

<?php declare(strict_types = 1);

namespace PHPStan\Rules\Traits;

use PHPStan\Php\PhpVersion;
use PHPStan\Rules\AttributesCheck;
use PHPStan\Rules\ClassCaseSensitivityCheck;
use PHPStan\Rules\ClassForbiddenNameCheck;
use PHPStan\Rules\ClassNameCheck;
use PHPStan\Rules\FunctionCallParametersCheck;
use PHPStan\Rules\NullsafeCheck;
use PHPStan\Rules\PhpDoc\UnresolvableTypeHelper;
use PHPStan\Rules\Properties\PropertyReflectionFinder;
use PHPStan\Rules\Rule;
use PHPStan\Rules\RuleLevelHelper;
use PHPStan\Testing\RuleTestCase;
use PHPUnit\Framework\Attributes\RequiresPhp;
use const PHP_VERSION_ID;

/**
 * @extends RuleTestCase<TraitAttributesRule>
 */
class TraitAttributesRuleTest extends RuleTestCase
{

	private bool $checkExplicitMixed = false;

	private bool $checkImplicitMixed = false;

	protected function getRule(): Rule
	{
		$reflectionProvider = self::createReflectionProvider();
		$container = self::getContainer();
		return new TraitAttributesRule(
			new AttributesCheck(
				$reflectionProvider,
				new FunctionCallParametersCheck(
					new RuleLevelHelper($reflectionProvider, true, false, true, $this->checkExplicitMixed, $this->checkImplicitMixed, false, true),
					new NullsafeCheck(),
					new UnresolvableTypeHelper(),
					new PropertyReflectionFinder(),
					$reflectionProvider,
					true,
					true,
					true,
					true,
				),
				new ClassNameCheck(
					new ClassCaseSensitivityCheck($reflectionProvider, false),
					new ClassForbiddenNameCheck($container),
					$reflectionProvider,
					$container,
				),
				true,
			),
			new PhpVersion(PHP_VERSION_ID),
		);
	}

	#[\PHPUnit\Framework\Attributes\RequiresPhp('>= 8.0')]
	public function testRule(): void
	{
		$this->analyse([__DIR__ . '/data/trait-attributes.php'], [
			[
				'Attribute class TraitAttributes\AbstractAttribute is abstract.',
				8,
			],
			[
				'Attribute class TraitAttributes\MyTargettedAttribute does not have the class target.',
				20,
			],
		]);
	}

	#[\PHPUnit\Framework\Attributes\RequiresPhp('>= 8.3')]
	public function testBug12011(): void
	{
		$this->checkExplicitMixed = true;
		$this->checkImplicitMixed = true;

		$this->analyse([__DIR__ . '/data/bug-12011.php'], [
			[
				'Parameter #1 $name of attribute class Bug12011Trait\Table constructor expects string|null, int given.',
				8,
			],
		]);
	}

	#[\PHPUnit\Framework\Attributes\RequiresPhp('>= 8.1')]
	public function testBug12281(): void
	{
		$this->analyse([__DIR__ . '/data/bug-12281.php'], [
			[
				'Attribute class AllowDynamicProperties cannot be used with trait.',
				11,
			],
		]);
	}

	#[RequiresPhp('>= 8.5')]
	public function testBugDeprecatedAttributeAllowed(): void
	{
		$this->analyse([__DIR__ . '/data/deprecated-attr-on-trait.php'], []);
	}

	#[RequiresPhp('< 8.5')]
	public function testBugDeprecatedAttributeNotAllowed(): void
	{
		$this->analyse([__DIR__ . '/data/deprecated-attr-on-trait.php'], [
			[
				'Attribute class Deprecated can be used with traits only on PHP 8.5 and later.',
				5,
			],
		]);
	}

}