Add various missing types

Author: TysonAndre

src/ASTConverter/ASTConverter.php

@@ -0,0 +1,53 @@
+<?php declare(strict_types=1);
+
+function expect_string_298(string $x) {}
+function expect_int_298(int $x) {}
+
+function test298() {
+    expect_string_298("0" + "1");  // warn
+    expect_string_298("0" | "1");  // warn
+    expect_string_298("0" ^ "\x01");  // Becomes a string
+    expect_int_298("0" ^ "\x01");  // warn, Becomes a string
+    expect_string_298(1 ^ 2);  // warn
+    expect_string_298(1 xor 2);  // warn
+    expect_int_298("0" || "1");  // warn
+    expect_int_298("0" or "1");  // warn
+    expect_int_298("0" . "1");  // warn
+    expect_string_298(4 / 2);  // warn
+    expect_string_298(4 == 2);  // warn
+    expect_string_298(4 === 2);  // warn
+    expect_string_298(4 != 2);  // warn
+    expect_string_298(4 !== 2);  // warn
+    expect_string_298(4 < 2);  // warn
+    expect_string_298(4 <= 2);  // warn
+    expect_string_298(4 * 7);  // warn
+    expect_string_298(4 % 7);  // warn
+    expect_string_298(4 ** 7);  // warn, pow
+    expect_string_298(4 << 1);  // warn
+    expect_string_298(4 >> 1);  // warn
+    expect_string_298(4 <=> 2);  // warn
+    expect_int_298(4 <=> 2);  // good
+    expect_string_298(4 - 2);  // warn
+    expect_string_298(4 & 7);  // warn
+    expect_string_298(4 | 7);  // warn
+    expect_string_298(4 ?? 7);  // warn
+    expect_string_298(4 > 7);  // warn
+    expect_string_298(4 >= 7);  // warn
+
+    $strVar = 'x';
+    $intVar = 42;
+    expect_int_298($strVar .= 'suffix');
+    expect_string_298($intVar ^= 2);  // warn, this is an int
+    expect_int_298($strVar ^= "\x01\x02");  // warn, this is a string
+    expect_string_298($intVar |= 1);
+    expect_string_298($intVar ^= 2);
+    expect_string_298($intVar &= 0xffff);
+    expect_string_298($intVar /= 2);
+    expect_string_298($intVar *= 2);
+    expect_string_298($intVar **= 2);
+    expect_string_298($intVar %= 5);
+    expect_string_298($intVar += 2);
+    expect_string_298($intVar -= 5);
+    expect_string_298($intVar <<= 1);
+    expect_string_298($intVar >>= 1);
+}

test_files/src/0299_binary_op.php

@@ -0,0 +1,12 @@
+<?php
+while (1) {
+    if ($x) {
+        continue;
+    } elseif ($y) {
+        break;
+    } elseif (4) {
+        continue 1;
+    } else {
+        break 1;
+    }
+}

test_files/src/continue.php

@@ -0,0 +1,3 @@
+<?php
+class A extends MyNS\B implements ArrayAccess, Traversable, MyNS\MyInterface{
+}

test_files/src/inheritance.php

@@ -0,0 +1,3 @@
+<?php isset($x);
+isset($a, $b['a']);
+isset($a, $b, $c, $d);

test_files/src/isset.php

@@ -0,0 +1,6 @@
+<?php
+!0;
+!$x;
+-$x;
++$x;
+~$x;

test_files/src/not.php

@@ -0,0 +1,4 @@
+<?php
+switch($x) {}
+switch($x) {case 2: default:}
+switch($x) {case 2: $y = 3;}

test_files/src/script.php

@@ -0,0 +1,2 @@
+<?php
+throw new \RuntimeException("An exception");