added minimal IntersectionType support (#228)

Author: staabm

src/QueryReflection/QuerySimulation.php

@@ -5,6 +5,7 @@
 namespace staabm\PHPStanDba\QueryReflection;
 
 use PHPStan\ShouldNotHappenException;
+use PHPStan\Type\Accessory\AccessoryType;
 use PHPStan\Type\ArrayType;
 use PHPStan\Type\BooleanType;
 use PHPStan\Type\ConstantScalarType;
@@ -79,6 +80,19 @@ public static function simulateParamValueType(Type $paramType, bool $preparedPar
             return null;
         }
 
+        if ($paramType instanceof IntersectionType) {
+            foreach ($paramType->getTypes() as $type) {
+                if ($type instanceof AccessoryType) {
+                    continue;
+                }
+
+                $simulated = self::simulateParamValueType($type, $preparedParam);
+                if (null !== $simulated) {
+                    return $simulated;
+                }
+            }
+        }
+
         // all types which we can't simulate and render a query unresolvable at analysis time
         if ($paramType instanceof MixedType || $paramType instanceof IntersectionType) {
             if (QueryReflection::getRuntimeConfiguration()->isDebugEnabled()) {

tests/QuerySimulationTest.php

@@ -0,0 +1,44 @@
+<?php
+
+namespace staabm\PHPStanDba\Tests;
+
+use PHPStan\Type\Constant\ConstantArrayTypeBuilder;
+use PHPStan\Type\FloatType;
+use PHPStan\Type\IntegerType;
+use PHPStan\Type\StringType;
+use PHPUnit\Framework\TestCase;
+use staabm\PHPStanDba\QueryReflection\QuerySimulation;
+
+class QuerySimulationTest extends TestCase
+{
+    public function testIntersectionTypeInt()
+    {
+        // non-empty-array<int, int>
+        $builder = ConstantArrayTypeBuilder::createEmpty();
+        $builder->setOffsetValueType(new IntegerType(), new IntegerType());
+
+        $simulatedValue = QuerySimulation::simulateParamValueType($builder->getArray(), false);
+        $this->assertNotNull($simulatedValue);
+    }
+
+    public function testIntersectionTypeString()
+    {
+        // non-empty-array<string, int>
+        $builder = ConstantArrayTypeBuilder::createEmpty();
+        $builder->setOffsetValueType(new StringType(), new IntegerType());
+
+        $simulatedValue = QuerySimulation::simulateParamValueType($builder->getArray(), false);
+        $this->assertNotNull($simulatedValue);
+    }
+
+    public function testIntersectionTypeMix()
+    {
+        // non-empty-array<string, int>
+        $builder = ConstantArrayTypeBuilder::createEmpty();
+        $builder->setOffsetValueType(new StringType(), new IntegerType());
+        $builder->setOffsetValueType(new IntegerType(), new FloatType());
+
+        $simulatedValue = QuerySimulation::simulateParamValueType($builder->getArray(), false);
+        $this->assertNotNull($simulatedValue);
+    }
+}