add test for type resolution

Author: erik-krogh

ql/test/type/Test.qll

@@ -0,0 +1,13 @@
+import ql
+
+class Strings extends string {
+  Strings() { this = ["", "f", "o", "foo", "bar", "b", "a", "r", "ba", "ar"] }
+}
+
+class Floats extends float {
+  Floats() { this = [0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0] }
+}
+
+string conc(Strings a, Strings b) { result = a + b }
+
+float floats(Floats a, Floats b) { result = a + b }

ql/test/type/type.expected

@@ -0,0 +1,34 @@
+| Test.qll:4:15:4:18 | this | Test.qll:3:1:5:1 | Strings |
+| Test.qll:4:15:4:18 | this | Test.qll:3:1:5:1 | Strings.Strings |
+| Test.qll:4:15:4:18 | this | Test.qll:3:1:5:1 | Strings.extends |
+| Test.qll:4:22:4:76 | Set | file://:0:0:0:0 | string |
+| Test.qll:4:23:4:24 | String | file://:0:0:0:0 | string |
+| Test.qll:4:27:4:29 | String | file://:0:0:0:0 | string |
+| Test.qll:4:32:4:34 | String | file://:0:0:0:0 | string |
+| Test.qll:4:37:4:41 | String | file://:0:0:0:0 | string |
+| Test.qll:4:44:4:48 | String | file://:0:0:0:0 | string |
+| Test.qll:4:51:4:53 | String | file://:0:0:0:0 | string |
+| Test.qll:4:56:4:58 | String | file://:0:0:0:0 | string |
+| Test.qll:4:61:4:63 | String | file://:0:0:0:0 | string |
+| Test.qll:4:66:4:69 | String | file://:0:0:0:0 | string |
+| Test.qll:4:72:4:75 | String | file://:0:0:0:0 | string |
+| Test.qll:8:14:8:17 | this | Test.qll:7:1:9:1 | Floats |
+| Test.qll:8:14:8:17 | this | Test.qll:7:1:9:1 | Floats.Floats |
+| Test.qll:8:14:8:17 | this | Test.qll:7:1:9:1 | Floats.extends |
+| Test.qll:8:21:8:70 | Set | file://:0:0:0:0 | float |
+| Test.qll:8:22:8:24 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:27:8:29 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:32:8:34 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:37:8:39 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:42:8:44 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:47:8:49 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:52:8:54 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:57:8:59 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:62:8:64 | Float | file://:0:0:0:0 | float |
+| Test.qll:8:67:8:69 | Float | file://:0:0:0:0 | float |
+| Test.qll:11:37:11:42 | result | file://:0:0:0:0 | string |
+| Test.qll:11:46:11:46 | a | Test.qll:3:1:5:1 | Strings |
+| Test.qll:11:50:11:50 | b | Test.qll:3:1:5:1 | Strings |
+| Test.qll:13:36:13:41 | result | file://:0:0:0:0 | float |
+| Test.qll:13:45:13:45 | a | Test.qll:7:1:9:1 | Floats |
+| Test.qll:13:49:13:49 | b | Test.qll:7:1:9:1 | Floats |

ql/test/type/type.ql

@@ -0,0 +1,3 @@
+import ql
+
+query Type getType(Expr e) { result = e.getType() }