add test for super-types

Author: erik-krogh

ql/test/type/Test.qll

@@ -11,3 +11,17 @@ class Floats extends float {
 string conc(Strings a, Strings b) { result = a + b }
 
 float floats(Floats a, Floats b) { result = a + b }
+
+class Base extends string {
+  Base() { this = ["foo"] }
+
+  int foo() { result = 1 }
+}
+
+class Sub extends Base {
+  Sub() { this = ["bar"] }
+
+  int bar() { result = Base.super.foo() }
+
+  int bar2() { result = super.foo() }
+}

ql/test/type/type.expected

@@ -34,3 +34,19 @@
 | Test.qll:13:45:13:45 | a | Test.qll:7:1:9:1 | Floats |
 | Test.qll:13:45:13:49 | AddExpr | file://:0:0:0:0 | float |
 | Test.qll:13:49:13:49 | b | Test.qll:7:1:9:1 | Floats |
+| Test.qll:16:12:16:15 | this | Test.qll:15:1:19:1 | Base |
+| Test.qll:16:12:16:15 | this | Test.qll:15:1:19:1 | Base.Base |
+| Test.qll:16:12:16:15 | this | Test.qll:15:1:19:1 | Base.extends |
+| Test.qll:16:19:16:25 | Set | file://:0:0:0:0 | string |
+| Test.qll:16:20:16:24 | String | file://:0:0:0:0 | string |
+| Test.qll:18:15:18:20 | result | file://:0:0:0:0 | int |
+| Test.qll:18:24:18:24 | Integer | file://:0:0:0:0 | int |
+| Test.qll:22:11:22:14 | this | Test.qll:21:1:27:1 | Sub |
+| Test.qll:22:11:22:14 | this | Test.qll:21:1:27:1 | Sub.Sub |
+| Test.qll:22:11:22:14 | this | Test.qll:21:1:27:1 | Sub.extends |
+| Test.qll:22:18:22:24 | Set | file://:0:0:0:0 | string |
+| Test.qll:22:19:22:23 | String | file://:0:0:0:0 | string |
+| Test.qll:24:15:24:20 | result | file://:0:0:0:0 | int |
+| Test.qll:24:24:24:39 | MemberCall | file://:0:0:0:0 | int |
+| Test.qll:26:16:26:21 | result | file://:0:0:0:0 | int |
+| Test.qll:26:25:26:35 | MemberCall | file://:0:0:0:0 | int |