Add more tests for expression analyser

TimeToogo · Sep 13, 2014 · 6111454 · 6111454
1 parent 185a565
commit 6111454
Show file tree

Hide file tree

Showing 2 changed files with 49 additions and 0 deletions.
diff --git a/Tests/Integration/Analysis/BasicExpressionAnalysisTest.php b/Tests/Integration/Analysis/BasicExpressionAnalysisTest.php
@@ -53,6 +53,11 @@ function () { $var; },
                 ['var' => $this->typeSystem->getTypeFromValue(fopen('php://memory', 'r'))]);
     }
 
+    public function testInvalidVariable()
+    {
+        $this->assertAnalysisFails(function ($foo) { $bar; });
+    }
+
     public function testCasts()
     {
         $values = [
@@ -441,4 +446,35 @@ function () use ($value) { $value; },
             );
         }
     }
+
+    public function testConstantTypeAnalysis()
+    {
+        $this->assertReturnsNativeType(
+                function () { SORT_ASC; },
+                INativeType::TYPE_INT
+        );
+
+        $this->assertReturnsNativeType(
+                function () { M_PI; },
+                INativeType::TYPE_DOUBLE
+        );
+    }
+
+    public function testClassConstantTypeAnalysis()
+    {
+        $this->assertReturnsNativeType(
+                function () { \ArrayObject::ARRAY_AS_PROPS; },
+                INativeType::TYPE_INT
+        );
+
+        $this->assertReturnsNativeType(
+                function () { \DateTime::ATOM; },
+                INativeType::TYPE_STRING
+        );
+    }
+
+    public function testInvalidClassConstantTypeAnalysis()
+    {
+        $this->assertAnalysisFails(function ($foo) { $foo::ARRAY_AS_PROPS; });
+    }
 }
diff --git a/Tests/Integration/Analysis/TypeAnalysisTest.php b/Tests/Integration/Analysis/TypeAnalysisTest.php
@@ -344,6 +344,19 @@ function (ITypeAnalysis $analysis, O\BinaryOperationExpression $expression) use
         }
     }
 
+    public function testThrow()
+    {
+        $this->doAnalysisTest(
+                function () { throw new \LogicException(); },
+                function (ITypeAnalysis $analysis, O\ThrowExpression $expression) {
+                    $this->assertTypeMatchesValue(
+                            $analysis,
+                            $expression->getException(),
+                            $this->typeSystem->getObjectType('LogicException'));
+                }
+        );
+    }
+
     /**
      * @expectedException \Pinq\Analysis\TypeException
      */