Arithmetic operators - levels tests

Author: ondrejmirtes

tests/Levels/LevelsIntegrationTest.php

@@ -0,0 +1,33 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Levels;
+
+class LevelsIntegrationTest extends \PHPStan\Testing\LevelsTestCase
+{
+
+	/**
+	 * @return string[][]
+	 */
+	public function dataTopics(): array
+	{
+		return [
+			['arithmeticOperators'],
+		];
+	}
+
+	public function getDataPath(): string
+	{
+		return __DIR__ . '/data';
+	}
+
+	public function getPhpStanExecutablePath(): string
+	{
+		return __DIR__ . '/../../vendor/bin/phpstan';
+	}
+
+	public function getPhpStanConfigPath(): ?string
+	{
+		return __DIR__ . '/../../rules.neon';
+	}
+
+}

tests/Levels/data/arithmeticOperators-0.json

@@ -0,0 +1,27 @@
+[
+    {
+        "message": "Only numeric types are allowed in +, string given on the left side.",
+        "line": 26,
+        "ignorable": true
+    },
+    {
+        "message": "Only numeric types are allowed in +, string given on the left side.",
+        "line": 27,
+        "ignorable": true
+    },
+    {
+        "message": "Only numeric types are allowed in +, int|string given on the left side.",
+        "line": 28,
+        "ignorable": true
+    },
+    {
+        "message": "Only numeric types are allowed in +, int|string given on the left side.",
+        "line": 29,
+        "ignorable": true
+    },
+    {
+        "message": "Only numeric types are allowed in +, string given on the left side.",
+        "line": 43,
+        "ignorable": true
+    }
+]

tests/Levels/data/arithmeticOperators-2.json

@@ -0,0 +1,12 @@
+[
+    {
+        "message": "Binary operation \"+\" between string and int results in an error.",
+        "line": 26,
+        "ignorable": true
+    },
+    {
+        "message": "Binary operation \"+\" between stdClass|string and int results in an error.",
+        "line": 36,
+        "ignorable": true
+    }
+]

tests/Levels/data/arithmeticOperators-6.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Binary operation \"+\" between int|string and int results in an error.",
+        "line": 28,
+        "ignorable": true
+    }
+]

tests/Levels/data/arithmeticOperators.php

@@ -0,0 +1,46 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Levels\ArithmeticOperators;
+
+class Foo
+{
+
+	/**
+	 * @param int $int
+	 * @param string $string
+	 * @param int|string $intOrString
+	 */
+	public function doFoo(
+		int $int,
+		string $string,
+		$intOrString
+	): void
+	{
+		$literalNumericString = '123';
+		$intOrLiteralNumericString = $int;
+		if (rand(0, 1) === 0) {
+			$intOrLiteralNumericString = '123';
+		}
+
+		$int + $int;
+		$string + $int;
+		$literalNumericString + $int;
+		$intOrString + $int;
+		$intOrLiteralNumericString + $int;
+
+		$stringOrObject = $string;
+		if (rand(0, 1) === 0) {
+			$stringOrObject = new \stdClass();
+		}
+
+		$stringOrObject + $int;
+
+		$unionOfLiterals = '123';
+		if (rand(0, 1) === 0) {
+			$unionOfLiterals = '456';
+		}
+
+		$unionOfLiterals + $int;
+	}
+
+}