Error identifiers

ondrejmirtes · ondrejmirtes · commit 477f53a56082 · 2023-06-09T17:48:52.000+02:00
diff --git a/src/Rules/BooleansInConditions/BooleanInBooleanAndRule.php b/src/Rules/BooleansInConditions/BooleanInBooleanAndRule.php
@@ -38,7 +38,7 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only booleans are allowed in &&, %s given on the left side.',
 				$leftType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('booleanAnd.leftNotBoolean')->build();
 		}
 
 		$rightScope = $node->getRightScope();
@@ -47,7 +47,7 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only booleans are allowed in &&, %s given on the right side.',
 				$rightType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('booleanAnd.rightNotBoolean')->build();
 		}
 
 		return $messages;
diff --git a/src/Rules/BooleansInConditions/BooleanInBooleanNotRule.php b/src/Rules/BooleansInConditions/BooleanInBooleanNotRule.php
@@ -41,7 +41,7 @@ public function processNode(Node $node, Scope $scope): array
 			RuleErrorBuilder::message(sprintf(
 				'Only booleans are allowed in a negated boolean, %s given.',
 				$expressionType->describe(VerbosityLevel::typeOnly())
-			))->build(),
+			))->identifier('booleanNot.exprNotBoolean')->build(),
 		];
 	}
 
diff --git a/src/Rules/BooleansInConditions/BooleanInBooleanOrRule.php b/src/Rules/BooleansInConditions/BooleanInBooleanOrRule.php
@@ -38,7 +38,7 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only booleans are allowed in ||, %s given on the left side.',
 				$leftType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('booleanOr.leftNotBoolean')->build();
 		}
 
 		$rightScope = $node->getRightScope();
@@ -47,7 +47,7 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only booleans are allowed in ||, %s given on the right side.',
 				$rightType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('booleanOr.rightNotBoolean')->build();
 		}
 
 		return $messages;
diff --git a/src/Rules/BooleansInConditions/BooleanInElseIfConditionRule.php b/src/Rules/BooleansInConditions/BooleanInElseIfConditionRule.php
@@ -41,7 +41,7 @@ public function processNode(Node $node, Scope $scope): array
 			RuleErrorBuilder::message(sprintf(
 				'Only booleans are allowed in an elseif condition, %s given.',
 				$conditionExpressionType->describe(VerbosityLevel::typeOnly())
-			))->build(),
+			))->identifier('elseif.condNotBoolean')->build(),
 		];
 	}
 
diff --git a/src/Rules/BooleansInConditions/BooleanInIfConditionRule.php b/src/Rules/BooleansInConditions/BooleanInIfConditionRule.php
@@ -41,7 +41,7 @@ public function processNode(Node $node, Scope $scope): array
 			RuleErrorBuilder::message(sprintf(
 				'Only booleans are allowed in an if condition, %s given.',
 				$conditionExpressionType->describe(VerbosityLevel::typeOnly())
-			))->build(),
+			))->identifier('if.condNotBoolean')->build(),
 		];
 	}
 
diff --git a/src/Rules/BooleansInConditions/BooleanInTernaryOperatorRule.php b/src/Rules/BooleansInConditions/BooleanInTernaryOperatorRule.php
@@ -45,7 +45,7 @@ public function processNode(Node $node, Scope $scope): array
 			RuleErrorBuilder::message(sprintf(
 				'Only booleans are allowed in a ternary operator condition, %s given.',
 				$conditionExpressionType->describe(VerbosityLevel::typeOnly())
-			))->build(),
+			))->identifier('ternary.condNotBoolean')->build(),
 		];
 	}
 
diff --git a/src/Rules/Cast/UselessCastRule.php b/src/Rules/Cast/UselessCastRule.php
@@ -62,7 +62,7 @@ public function processNode(Node $node, Scope $scope): array
 					'Casting to %s something that\'s already %s.',
 					$castType->describe(VerbosityLevel::typeOnly()),
 					$expressionType->describe(VerbosityLevel::typeOnly())
-				)))->build(),
+				)))->identifier('cast.useless')->build(),
 			];
 		}
 
diff --git a/src/Rules/Classes/RequireParentConstructCallRule.php b/src/Rules/Classes/RequireParentConstructCallRule.php
@@ -60,7 +60,7 @@ public function processNode(Node $node, Scope $scope): array
 					'%s::__construct() does not call parent constructor from %s.',
 					$classReflection->getName(),
 					$parentClass->getName()
-				))->build(),
+				))->identifier('constructor.missingParentCall')->build(),
 			];
 		}
 
diff --git a/src/Rules/DisallowedConstructs/DisallowedBacktickRule.php b/src/Rules/DisallowedConstructs/DisallowedBacktickRule.php
@@ -23,6 +23,7 @@ public function processNode(Node $node, Scope $scope): array
 	{
 		return [
 			RuleErrorBuilder::message('Backtick operator is not allowed. Use shell_exec() instead.')
+				->identifier('backtick.notAllowed')
 				->build(),
 		];
 	}
diff --git a/src/Rules/DisallowedConstructs/DisallowedEmptyRule.php b/src/Rules/DisallowedConstructs/DisallowedEmptyRule.php
@@ -23,6 +23,7 @@ public function processNode(Node $node, Scope $scope): array
 	{
 		return [
 			RuleErrorBuilder::message('Construct empty() is not allowed. Use more strict comparison.')
+				->identifier('empty.notAllowed')
 				->build(),
 		];
 	}
diff --git a/src/Rules/DisallowedConstructs/DisallowedImplicitArrayCreationRule.php b/src/Rules/DisallowedConstructs/DisallowedImplicitArrayCreationRule.php
@@ -46,13 +46,15 @@ public function processNode(Node $node, Scope $scope): array
 		if ($certainty->no()) {
 			return [
 				RuleErrorBuilder::message(sprintf('Implicit array creation is not allowed - variable $%s does not exist.', $node->name))
+					->identifier('variable.implicitArray')
 					->build(),
 			];
 		}
 
 		if ($certainty->maybe()) {
 			return [
 				RuleErrorBuilder::message(sprintf('Implicit array creation is not allowed - variable $%s might not exist.', $node->name))
+					->identifier('variable.implicitArray')
 					->build(),
 			];
 		}
diff --git a/src/Rules/DisallowedConstructs/DisallowedLooseComparisonRule.php b/src/Rules/DisallowedConstructs/DisallowedLooseComparisonRule.php
@@ -27,14 +27,18 @@ public function processNode(Node $node, Scope $scope): array
 			return [
 				RuleErrorBuilder::message(
 					'Loose comparison via "==" is not allowed.'
-				)->tip('Use strict comparison via "===" instead.')->build(),
+				)->tip('Use strict comparison via "===" instead.')
+					->identifier('equal.notAllowed')
+					->build(),
 			];
 		}
 		if ($node instanceof NotEqual) {
 			return [
 				RuleErrorBuilder::message(
 					'Loose comparison via "!=" is not allowed.'
-				)->tip('Use strict comparison via "!==" instead.')->build(),
+				)->tip('Use strict comparison via "!==" instead.')
+					->identifier('notEqual.notAllowed')
+					->build(),
 			];
 		}
 
diff --git a/src/Rules/DisallowedConstructs/DisallowedShortTernaryRule.php b/src/Rules/DisallowedConstructs/DisallowedShortTernaryRule.php
@@ -27,6 +27,7 @@ public function processNode(Node $node, Scope $scope): array
 
 		return [
 			RuleErrorBuilder::message('Short ternary operator is not allowed. Use null coalesce operator if applicable or consider using long ternary.')
+				->identifier('ternary.shortNotAllowed')
 				->build(),
 		];
 	}
diff --git a/src/Rules/ForLoop/OverwriteVariablesWithForLoopInitRule.php b/src/Rules/ForLoop/OverwriteVariablesWithForLoopInitRule.php
@@ -7,8 +7,8 @@
 use PhpParser\Node\Expr\Assign;
 use PhpParser\Node\Stmt\For_;
 use PHPStan\Analyser\Scope;
+use PHPStan\Rules\IdentifierRuleError;
 use PHPStan\Rules\Rule;
-use PHPStan\Rules\RuleError;
 use PHPStan\Rules\RuleErrorBuilder;
 use function is_string;
 use function sprintf;
@@ -41,7 +41,7 @@ public function processNode(Node $node, Scope $scope): array
 	}
 
 	/**
-	 * @return list<RuleError>
+	 * @return list<IdentifierRuleError>
 	 */
 	private function checkValueVar(Scope $scope, Expr $expr): array
 	{
@@ -52,6 +52,7 @@ private function checkValueVar(Scope $scope, Expr $expr): array
 			&& $scope->hasVariableType($expr->name)->yes()
 		) {
 			$errors[] = RuleErrorBuilder::message(sprintf('For loop initial assignment overwrites variable $%s.', $expr->name))
+				->identifier('for.variableOverwrite')
 				->build();
 		}
 
diff --git a/src/Rules/ForeachLoop/OverwriteVariablesWithForeachRule.php b/src/Rules/ForeachLoop/OverwriteVariablesWithForeachRule.php
@@ -6,6 +6,7 @@
 use PhpParser\Node\Expr;
 use PhpParser\Node\Stmt\Foreach_;
 use PHPStan\Analyser\Scope;
+use PHPStan\Rules\IdentifierRuleError;
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
 use function is_string;
@@ -31,6 +32,7 @@ public function processNode(Node $node, Scope $scope): array
 			&& $scope->hasVariableType($node->keyVar->name)->yes()
 		) {
 			$errors[] = RuleErrorBuilder::message(sprintf('Foreach overwrites $%s with its key variable.', $node->keyVar->name))
+				->identifier('foreach.keyOverwrite')
 				->build();
 		}
 
@@ -42,7 +44,7 @@ public function processNode(Node $node, Scope $scope): array
 	}
 
 	/**
-	 * @return string[]
+	 * @return list<IdentifierRuleError>
 	 */
 	private function checkValueVar(Scope $scope, Expr $expr): array
 	{
@@ -53,6 +55,7 @@ private function checkValueVar(Scope $scope, Expr $expr): array
 			&& $scope->hasVariableType($expr->name)->yes()
 		) {
 			$errors[] = RuleErrorBuilder::message(sprintf('Foreach overwrites $%s with its value variable.', $expr->name))
+				->identifier('foreach.valueOverwrite')
 				->build();
 		}
 
diff --git a/src/Rules/Functions/ClosureUsesThisRule.php b/src/Rules/Functions/ClosureUsesThisRule.php
@@ -43,6 +43,7 @@ public function processNode(Node $node, Scope $scope): array
 
 			$messages[] = RuleErrorBuilder::message(sprintf('Anonymous function uses $this assigned to variable $%s. Use $this directly in the function body.', $closureUse->var->name))
 				->line($closureUse->getLine())
+				->identifier('closure.useThis')
 				->build();
 		}
 		return $messages;
diff --git a/src/Rules/Methods/WrongCaseOfInheritedMethodRule.php b/src/Rules/Methods/WrongCaseOfInheritedMethodRule.php
@@ -6,8 +6,8 @@
 use PHPStan\Analyser\Scope;
 use PHPStan\Node\InClassMethodNode;
 use PHPStan\Reflection\ClassReflection;
+use PHPStan\Rules\IdentifierRuleError;
 use PHPStan\Rules\Rule;
-use PHPStan\Rules\RuleError;
 use PHPStan\Rules\RuleErrorBuilder;
 use function sprintf;
 
@@ -62,7 +62,7 @@ private function findMethod(
 		ClassReflection $declaringClass,
 		ClassReflection $classReflection,
 		string $methodName
-	): ?RuleError
+	): ?IdentifierRuleError
 	{
 		if (!$classReflection->hasNativeMethod($methodName)) {
 			return null;
@@ -80,7 +80,7 @@ private function findMethod(
 			$classReflection->isInterface() ? 'interface' : 'parent',
 			$classReflection->getDisplayName(),
 			$parentMethod->getName()
-		))->build();
+		))->identifier('method.nameCase')->build();
 	}
 
 }
diff --git a/src/Rules/Operators/OperandInArithmeticIncrementOrDecrementRule.php b/src/Rules/Operators/OperandInArithmeticIncrementOrDecrementRule.php
@@ -46,12 +46,17 @@ public function processNode(Node $node, Scope $scope): array
 				'Only numeric types are allowed in %s, %s given.',
 				$this->describeOperation(),
 				$varType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier(sprintf('%s.nonNumeric', $this->getIdentifier()))->build();
 		}
 
 		return $messages;
 	}
 
 	abstract protected function describeOperation(): string;
 
+	/**
+	 * @return 'preInc'|'postInc'|'preDec'|'postDec'
+	 */
+	abstract protected function getIdentifier(): string;
+
 }
diff --git a/src/Rules/Operators/OperandInArithmeticPostDecrementRule.php b/src/Rules/Operators/OperandInArithmeticPostDecrementRule.php
@@ -20,4 +20,9 @@ protected function describeOperation(): string
 		return 'post-decrement';
 	}
 
+	protected function getIdentifier(): string
+	{
+		return 'postDec';
+	}
+
 }
diff --git a/src/Rules/Operators/OperandInArithmeticPostIncrementRule.php b/src/Rules/Operators/OperandInArithmeticPostIncrementRule.php
@@ -20,4 +20,9 @@ protected function describeOperation(): string
 		return 'post-increment';
 	}
 
+	protected function getIdentifier(): string
+	{
+		return 'postInc';
+	}
+
 }
diff --git a/src/Rules/Operators/OperandInArithmeticPreDecrementRule.php b/src/Rules/Operators/OperandInArithmeticPreDecrementRule.php
@@ -20,4 +20,9 @@ protected function describeOperation(): string
 		return 'pre-decrement';
 	}
 
+	protected function getIdentifier(): string
+	{
+		return 'preDec';
+	}
+
 }
diff --git a/src/Rules/Operators/OperandInArithmeticPreIncrementRule.php b/src/Rules/Operators/OperandInArithmeticPreIncrementRule.php
@@ -20,4 +20,9 @@ protected function describeOperation(): string
 		return 'pre-increment';
 	}
 
+	protected function getIdentifier(): string
+	{
+		return 'preInc';
+	}
+
 }
diff --git a/src/Rules/Operators/OperandsInArithmeticAdditionRule.php b/src/Rules/Operators/OperandsInArithmeticAdditionRule.php
@@ -59,13 +59,13 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in +, %s given on the left side.',
 				$leftType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('plus.leftNonNumeric')->build();
 		}
 		if (!$this->helper->isValidForArithmeticOperation($scope, $right)) {
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in +, %s given on the right side.',
 				$rightType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('plus.rightNonNumeric')->build();
 		}
 
 		return $messages;
diff --git a/src/Rules/Operators/OperandsInArithmeticDivisionRule.php b/src/Rules/Operators/OperandsInArithmeticDivisionRule.php
@@ -53,15 +53,15 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in /, %s given on the left side.',
 				$leftType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('div.leftNonNumeric')->build();
 		}
 
 		$rightType = $scope->getType($right);
 		if (!$this->helper->isValidForArithmeticOperation($scope, $right)) {
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in /, %s given on the right side.',
 				$rightType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('div.rightNonNumeric')->build();
 		}
 
 		return $messages;
diff --git a/src/Rules/Operators/OperandsInArithmeticExponentiationRule.php b/src/Rules/Operators/OperandsInArithmeticExponentiationRule.php
@@ -53,15 +53,15 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in **, %s given on the left side.',
 				$leftType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('pow.leftNonNumeric')->build();
 		}
 
 		$rightType = $scope->getType($right);
 		if (!$this->helper->isValidForArithmeticOperation($scope, $right)) {
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in **, %s given on the right side.',
 				$rightType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('pow.rightNonNumeric')->build();
 		}
 
 		return $messages;
diff --git a/src/Rules/Operators/OperandsInArithmeticModuloRule.php b/src/Rules/Operators/OperandsInArithmeticModuloRule.php
@@ -53,15 +53,15 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in %%, %s given on the left side.',
 				$leftType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('mod.leftNonNumeric')->build();
 		}
 
 		$rightType = $scope->getType($right);
 		if (!$this->helper->isValidForArithmeticOperation($scope, $right)) {
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in %%, %s given on the right side.',
 				$rightType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('mod.rightNonNumeric')->build();
 		}
 
 		return $messages;
diff --git a/src/Rules/Operators/OperandsInArithmeticMultiplicationRule.php b/src/Rules/Operators/OperandsInArithmeticMultiplicationRule.php
@@ -53,15 +53,15 @@ public function processNode(Node $node, Scope $scope): array
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in *, %s given on the left side.',
 				$leftType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('mul.leftNonNumeric')->build();
 		}
 
 		$rightType = $scope->getType($right);
 		if (!$this->helper->isValidForArithmeticOperation($scope, $right)) {
 			$messages[] = RuleErrorBuilder::message(sprintf(
 				'Only numeric types are allowed in *, %s given on the right side.',
 				$rightType->describe(VerbosityLevel::typeOnly())
-			))->build();
+			))->identifier('mul.rightNonNumeric')->build();
 		}
 
 		return $messages;
diff --git a/src/Rules/Operators/OperandsInArithmeticSubtractionRule.php b/src/Rules/Operators/OperandsInArithmeticSubtractionRule.php
diff --git a/src/Rules/StrictCalls/DynamicCallOnStaticMethodsCallableRule.php b/src/Rules/StrictCalls/DynamicCallOnStaticMethodsCallableRule.php
diff --git a/src/Rules/StrictCalls/DynamicCallOnStaticMethodsRule.php b/src/Rules/StrictCalls/DynamicCallOnStaticMethodsRule.php
diff --git a/src/Rules/StrictCalls/StrictFunctionCallsRule.php b/src/Rules/StrictCalls/StrictFunctionCallsRule.php
diff --git a/src/Rules/SwitchConditions/MatchingTypeInSwitchCaseConditionRule.php b/src/Rules/SwitchConditions/MatchingTypeInSwitchCaseConditionRule.php
diff --git a/src/Rules/VariableVariables/VariableMethodCallRule.php b/src/Rules/VariableVariables/VariableMethodCallRule.php
diff --git a/src/Rules/VariableVariables/VariableMethodCallableRule.php b/src/Rules/VariableVariables/VariableMethodCallableRule.php
diff --git a/src/Rules/VariableVariables/VariablePropertyFetchRule.php b/src/Rules/VariableVariables/VariablePropertyFetchRule.php
diff --git a/src/Rules/VariableVariables/VariableStaticMethodCallRule.php b/src/Rules/VariableVariables/VariableStaticMethodCallRule.php
diff --git a/src/Rules/VariableVariables/VariableStaticMethodCallableRule.php b/src/Rules/VariableVariables/VariableStaticMethodCallableRule.php
diff --git a/src/Rules/VariableVariables/VariableStaticPropertyFetchRule.php b/src/Rules/VariableVariables/VariableStaticPropertyFetchRule.php
diff --git a/src/Rules/VariableVariables/VariableVariablesRule.php b/src/Rules/VariableVariables/VariableVariablesRule.php

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ public function processNode(Node $node, Scope $scope): array`
`41`	`41`	`RuleErrorBuilder::message(sprintf(`
`42`	`42`	`'Only booleans are allowed in a negated boolean, %s given.',`
`43`	`43`	`$expressionType->describe(VerbosityLevel::typeOnly())`
`44`		`- ))->build(),`
	`44`	`+ ))->identifier('booleanNot.exprNotBoolean')->build(),`
`45`	`45`	`];`
`46`	`46`	`}`
`47`	`47`
Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,7 @@ public function processNode(Node $node, Scope $scope): array`
`45`	`45`	`RuleErrorBuilder::message(sprintf(`
`46`	`46`	`'Only booleans are allowed in a ternary operator condition, %s given.',`
`47`	`47`	`$conditionExpressionType->describe(VerbosityLevel::typeOnly())`
`48`		`- ))->build(),`
	`48`	`+ ))->identifier('ternary.condNotBoolean')->build(),`
`49`	`49`	`];`
`50`	`50`	`}`
`51`	`51`
Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ public function processNode(Node $node, Scope $scope): array`
`62`	`62`	`'Casting to %s something that\'s already %s.',`
`63`	`63`	`$castType->describe(VerbosityLevel::typeOnly()),`
`64`	`64`	`$expressionType->describe(VerbosityLevel::typeOnly())`
`65`		`- )))->build(),`
	`65`	`+ )))->identifier('cast.useless')->build(),`
`66`	`66`	`];`
`67`	`67`	`}`
`68`	`68`
Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ public function processNode(Node $node, Scope $scope): array`
`60`	`60`	`'%s::__construct() does not call parent constructor from %s.',`
`61`	`61`	`$classReflection->getName(),`
`62`	`62`	`$parentClass->getName()`
`63`		`- ))->build(),`
	`63`	`+ ))->identifier('constructor.missingParentCall')->build(),`
`64`	`64`	`];`
`65`	`65`	`}`
`66`	`66`
Original file line number	Diff line number	Diff line change
`@@ -23,6 +23,7 @@ public function processNode(Node $node, Scope $scope): array`
`23`	`23`	`{`
`24`	`24`	`return [`
`25`	`25`	`RuleErrorBuilder::message('Backtick operator is not allowed. Use shell_exec() instead.')`
	`26`	`+ ->identifier('backtick.notAllowed')`
`26`	`27`	`->build(),`
`27`	`28`	`];`
`28`	`29`	`}`