From 2ab7fc037afb42056088fe8a57d2d62c86d1d2f1 Mon Sep 17 00:00:00 2001
From: Sara Itani <sitani@microsoft.com>
Date: Thu, 13 Apr 2017 11:32:37 -0700
Subject: [PATCH] add more validation test cases

---
 tests/Validation/ValidationTest.php                 |  2 +-
 validation/frameworks/broken/constants.php          | 13 +++++++++++++
 validation/frameworks/broken/constants2.php         | 13 +++++++++++++
 validation/frameworks/broken/constants3.php         | 11 +++++++++++
 .../broken/constantsInFunctionParamDefault.php      |  5 +++++
 .../broken/{memberAccess.php => memberAccess1.php}  |  0
 validation/frameworks/broken/memberAccess2.php      | 10 ++++++++++
 validation/frameworks/broken/memberAccess3.php      | 13 +++++++++++++
 validation/frameworks/broken/memberAccess4.php      | 10 ++++++++++
 validation/frameworks/broken/namespaces2.php        |  5 +++++
 validation/frameworks/broken/namespaces3.php        |  3 +++
 validation/frameworks/broken/namespaces4.php        |  2 ++
 validation/frameworks/broken/objectCreation2.php    | 12 ++++++++++++
 .../frameworks/broken/scopedPropertyAccess2.php     |  6 ++++++
 validation/frameworks/broken/self4.php              | 13 +++++++++++++
 validation/frameworks/broken/self5.php              | 12 ++++++++++++
 validation/frameworks/broken/static4.php            |  9 +++++++++
 17 files changed, 138 insertions(+), 1 deletion(-)
 create mode 100644 validation/frameworks/broken/constants.php
 create mode 100644 validation/frameworks/broken/constants2.php
 create mode 100644 validation/frameworks/broken/constants3.php
 create mode 100644 validation/frameworks/broken/constantsInFunctionParamDefault.php
 rename validation/frameworks/broken/{memberAccess.php => memberAccess1.php} (100%)
 create mode 100644 validation/frameworks/broken/memberAccess2.php
 create mode 100644 validation/frameworks/broken/memberAccess3.php
 create mode 100644 validation/frameworks/broken/memberAccess4.php
 create mode 100644 validation/frameworks/broken/namespaces2.php
 create mode 100644 validation/frameworks/broken/namespaces3.php
 create mode 100644 validation/frameworks/broken/namespaces4.php
 create mode 100644 validation/frameworks/broken/objectCreation2.php
 create mode 100644 validation/frameworks/broken/scopedPropertyAccess2.php
 create mode 100644 validation/frameworks/broken/self4.php
 create mode 100644 validation/frameworks/broken/self5.php
 create mode 100644 validation/frameworks/broken/static4.php

diff --git a/tests/Validation/ValidationTest.php b/tests/Validation/ValidationTest.php
index 8a6c7c6..be5159f 100644
--- a/tests/Validation/ValidationTest.php
+++ b/tests/Validation/ValidationTest.php
@@ -170,7 +170,7 @@ class ValidationTest extends TestCase
                 $this->assertEquals($symbolInfo[$testCaseFile], $symbols, "defn->symbolInformation does not match");
 
 
-                $skipped = ['false', 'true', 'null', 'FALSE', 'TRUE', 'NULL', 'parent', 'PARENT', 'self', 'static'];
+//                $skipped = ['false', 'true', 'null', 'FALSE', 'TRUE', 'NULL', 'parent', 'PARENT', 'self', 'static'];
                 $skipped = [];
                 foreach ($this->getIndex($parserKinds[0], $frameworkName)->references as $key=>$value) {
                     foreach ($skipped as $s) {
diff --git a/validation/frameworks/broken/constants.php b/validation/frameworks/broken/constants.php
new file mode 100644
index 0000000..23423cf
--- /dev/null
+++ b/validation/frameworks/broken/constants.php
@@ -0,0 +1,13 @@
+<?php
+
+namespace MyNamespace;
+
+class A
+{
+    public static function suite()
+    {
+        return [
+            "hi" => BYE
+        ];
+    }
+}
\ No newline at end of file
diff --git a/validation/frameworks/broken/constants2.php b/validation/frameworks/broken/constants2.php
new file mode 100644
index 0000000..fda345e
--- /dev/null
+++ b/validation/frameworks/broken/constants2.php
@@ -0,0 +1,13 @@
+<?php
+
+namespace MyNamespace;
+
+class A
+{
+    public static function suite()
+    {
+        return [
+            BYE => "hi"
+        ];
+    }
+}
\ No newline at end of file
diff --git a/validation/frameworks/broken/constants3.php b/validation/frameworks/broken/constants3.php
new file mode 100644
index 0000000..7ee1dde
--- /dev/null
+++ b/validation/frameworks/broken/constants3.php
@@ -0,0 +1,11 @@
+<?php
+
+namespace MyNamespace;
+
+class A
+{
+    public static function suite()
+    {
+        return array(T_NEW);
+    }
+}
\ No newline at end of file
diff --git a/validation/frameworks/broken/constantsInFunctionParamDefault.php b/validation/frameworks/broken/constantsInFunctionParamDefault.php
new file mode 100644
index 0000000..10fb87f
--- /dev/null
+++ b/validation/frameworks/broken/constantsInFunctionParamDefault.php
@@ -0,0 +1,5 @@
+<?php
+
+interface A {
+    function b ($a = MY_CONSTANT);
+}
\ No newline at end of file
diff --git a/validation/frameworks/broken/memberAccess.php b/validation/frameworks/broken/memberAccess1.php
similarity index 100%
rename from validation/frameworks/broken/memberAccess.php
rename to validation/frameworks/broken/memberAccess1.php
diff --git a/validation/frameworks/broken/memberAccess2.php b/validation/frameworks/broken/memberAccess2.php
new file mode 100644
index 0000000..e1bb231
--- /dev/null
+++ b/validation/frameworks/broken/memberAccess2.php
@@ -0,0 +1,10 @@
+<?php
+
+namespace MyNamespace;
+
+class A {
+    static function a() {
+        $b = new a;
+        $c = $b->a();
+    }
+}
diff --git a/validation/frameworks/broken/memberAccess3.php b/validation/frameworks/broken/memberAccess3.php
new file mode 100644
index 0000000..b2078d7
--- /dev/null
+++ b/validation/frameworks/broken/memberAccess3.php
@@ -0,0 +1,13 @@
+<?php
+
+namespace MyNamespace;
+
+class A {
+    public static function getInitializer(ClassLoader $loader)
+    {
+        return \Closure::bind(function () use ($loader) {
+            $loader->prefixesPsr0 = ComposerStaticInitIncludePath::$prefixesPsr0;
+
+        }, null, ClassLoader::class);
+    }
+}
diff --git a/validation/frameworks/broken/memberAccess4.php b/validation/frameworks/broken/memberAccess4.php
new file mode 100644
index 0000000..dd1b2fb
--- /dev/null
+++ b/validation/frameworks/broken/memberAccess4.php
@@ -0,0 +1,10 @@
+<?php
+
+namespace MyNamespace;
+
+class A {
+    public function testRequest()
+    {
+        $request = Request::create((new Url('httpkernel_test.empty'))->toString());
+    }
+}
diff --git a/validation/frameworks/broken/namespaces2.php b/validation/frameworks/broken/namespaces2.php
new file mode 100644
index 0000000..a49478d
--- /dev/null
+++ b/validation/frameworks/broken/namespaces2.php
@@ -0,0 +1,5 @@
+<?php
+
+namespace MyNamespace1;
+
+use \NS1\C, \NS1\I, \NS1\T;
diff --git a/validation/frameworks/broken/namespaces3.php b/validation/frameworks/broken/namespaces3.php
new file mode 100644
index 0000000..7a39545
--- /dev/null
+++ b/validation/frameworks/broken/namespaces3.php
@@ -0,0 +1,3 @@
+<?php
+
+use  namespace\a\b as c;
\ No newline at end of file
diff --git a/validation/frameworks/broken/namespaces4.php b/validation/frameworks/broken/namespaces4.php
new file mode 100644
index 0000000..eb8481a
--- /dev/null
+++ b/validation/frameworks/broken/namespaces4.php
@@ -0,0 +1,2 @@
+<?php
+use  \a\b as c;
\ No newline at end of file
diff --git a/validation/frameworks/broken/objectCreation2.php b/validation/frameworks/broken/objectCreation2.php
new file mode 100644
index 0000000..494cd7f
--- /dev/null
+++ b/validation/frameworks/broken/objectCreation2.php
@@ -0,0 +1,12 @@
+<?php
+
+namespace MyNamespace;
+class B {
+
+}
+
+class A {
+    function a () {
+        $a = (new B)->hi();
+    }
+}
diff --git a/validation/frameworks/broken/scopedPropertyAccess2.php b/validation/frameworks/broken/scopedPropertyAccess2.php
new file mode 100644
index 0000000..61a7131
--- /dev/null
+++ b/validation/frameworks/broken/scopedPropertyAccess2.php
@@ -0,0 +1,6 @@
+<?php
+
+namespace MyNamespace;
+
+$process = new A;
+array($process::OUT, '123');
\ No newline at end of file
diff --git a/validation/frameworks/broken/self4.php b/validation/frameworks/broken/self4.php
new file mode 100644
index 0000000..4f0ffe1
--- /dev/null
+++ b/validation/frameworks/broken/self4.php
@@ -0,0 +1,13 @@
+<?php
+
+namespace MyNamespace;
+
+class A
+{
+    public static function suite()
+    {
+        $suite = new self('Database related tests');
+        $suite->addTestFile(__DIR__ . DS . 'Database' . DS . 'ConnectionTest.php');
+
+    }
+}
\ No newline at end of file
diff --git a/validation/frameworks/broken/self5.php b/validation/frameworks/broken/self5.php
new file mode 100644
index 0000000..0fcd08f
--- /dev/null
+++ b/validation/frameworks/broken/self5.php
@@ -0,0 +1,12 @@
+<?php
+
+namespace MyNamespace;
+
+class A
+{
+    public function typesProvider()
+    {
+        $self = $this;
+        $self->assertTrue("HI");
+    }
+}
\ No newline at end of file
diff --git a/validation/frameworks/broken/static4.php b/validation/frameworks/broken/static4.php
new file mode 100644
index 0000000..bada62f
--- /dev/null
+++ b/validation/frameworks/broken/static4.php
@@ -0,0 +1,9 @@
+<?php
+
+namespace MyNamespace;
+
+class A extends B {
+    function a () {
+        $a = new static();
+    }
+}