Unified: Add more static name binding tests

Author: hvitved

unified/ql/test/library-tests/static-name-binding/inheritance.swift

@@ -2,18 +2,61 @@ class A {
     class B {
         class C {}
     }
+
+    static func f() {}
+}
+
+class D: A {  // $ access=A
+    static func f(x: Int) {}  // $ access=Int
+}
+class E: D.B {  // $ access=D access=A.B
+    override init() {}
+}
+
+class F {
+    private init() {}
+}
+
+class G: F {  // $ access=F
+    public init() {}
+}
+
+class H: G {  // $ access=G
+    public init(x: String) {}  // $ access=String
 }
 
-class D: A {} // $ access=A
-class E: D.B {} // $ access=D access=A.B
+class I: H {}  // $ access=H
+
+class J: I {  // $ access=I
+    convenience init() {
+        self.init(x: "")
+    }
+}
 
 // Members of base classes can be accessed through derived classes
 func t1() {
-    let x1: D = nil; // $ access=D
-    let x2: D.B = nil; // $ access=D access=A.B
-    let x3: D.B.C = nil; // $ access=D access=A.B access=A.B.C
+    let x1: D = D()  // $ access=D
+    let x2: D.B = D.B()  // $ access=D access=A.B
+    let x3: D.B.C = D.B.C()  // $ access=D access=A.B access=A.B.C
 
     // The base class of 'E' is itself resolved through inheritance
-    let x4: E = nil; // $ access=E
-    let x5: E.C = nil; // $ access=E access=A.B.C
+    let x4: E = E()  // $ access=E
+    let x5: E.C = E.C()  // $ access=E access=A.B.C
+
+    let x6 = A.init()  // $ access=A access=A.init
+    let x7 = D.init()  // $ access=D $ MISSING: access=A.init $ SPURIOUS: access=D.init
+
+    let x8 = A.f()  // $ access=A access=A.f
+    let x9 = D.f()  // $ access=D access=D.f -- type inference should filter away the `D.f` target $ MISSING: access=A.f
+    let x10 = D.f(x: 0)  // $ access=D access=D.f $ MISSING: access=A.f -- type inference should filter away the `A.f` target
+
+    let x11 = E.init()  // $ access=E access=E.init
+
+    let x12 = G.init()  // $ access=G access=G.init
+
+    let x13 = H.init(x: "String")  // $ access=H access=H.init
+
+    let x14 = I.init(x: "String")  // $ access=I $ MISSING: access=H.init $ SPURIOUS: access=I.init
+
+    let x15 = J.init()  // $ access=J access=J.init $ MISSING: access=H.init -- type inference should filter away the `H.init` target
 }