1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
=== tests/cases/compiler/superPropertyAccess.ts ===
class MyBase {
>MyBase : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
m1(a: string) { return a; }
>m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
>a : Symbol(a, Decl(superPropertyAccess.ts, 1, 7))
>a : Symbol(a, Decl(superPropertyAccess.ts, 1, 7))
private p1() { }
>p1 : Symbol(MyBase.p1, Decl(superPropertyAccess.ts, 1, 31))
m2: () => void = function () { }
>m2 : Symbol(MyBase.m2, Decl(superPropertyAccess.ts, 2, 20))
d1: number = 42;
>d1 : Symbol(MyBase.d1, Decl(superPropertyAccess.ts, 3, 36))
private d2: number = 42;
>d2 : Symbol(MyBase.d2, Decl(superPropertyAccess.ts, 4, 20))
get value() {return 0 }
>value : Symbol(MyBase.value, Decl(superPropertyAccess.ts, 5, 28), Decl(superPropertyAccess.ts, 6, 27))
set value(v: number) { }
>value : Symbol(MyBase.value, Decl(superPropertyAccess.ts, 5, 28), Decl(superPropertyAccess.ts, 6, 27))
>v : Symbol(v, Decl(superPropertyAccess.ts, 7, 14))
}
class MyDerived extends MyBase {
>MyDerived : Symbol(MyDerived, Decl(superPropertyAccess.ts, 8, 1))
>MyBase : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
foo() {
>foo : Symbol(MyDerived.foo, Decl(superPropertyAccess.ts, 11, 32))
super.m1("hi"); // Should be allowed, method on base prototype
>super.m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
var l2 = super.m1.bind(this); // Should be allowed, can access properties as well as invoke
>l2 : Symbol(l2, Decl(superPropertyAccess.ts, 16, 11))
>super.m1.bind : Symbol(Function.bind, Decl(lib.es5.d.ts, --, --))
>super.m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
>bind : Symbol(Function.bind, Decl(lib.es5.d.ts, --, --))
>this : Symbol(MyDerived, Decl(superPropertyAccess.ts, 8, 1))
var x: (a: string) => string = super.m1; // Should be allowed, can assign to var with compatible signature
>x : Symbol(x, Decl(superPropertyAccess.ts, 18, 11))
>a : Symbol(a, Decl(superPropertyAccess.ts, 18, 16))
>super.m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
super.m2.bind(this); // Should error, instance property, not a public instance member function
>super.m2.bind : Symbol(Function.bind, Decl(lib.es5.d.ts, --, --))
>super.m2 : Symbol(MyBase.m2, Decl(superPropertyAccess.ts, 2, 20))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>m2 : Symbol(MyBase.m2, Decl(superPropertyAccess.ts, 2, 20))
>bind : Symbol(Function.bind, Decl(lib.es5.d.ts, --, --))
>this : Symbol(MyDerived, Decl(superPropertyAccess.ts, 8, 1))
super.p1(); // Should error, private not public instance member function
>super.p1 : Symbol(MyBase.p1, Decl(superPropertyAccess.ts, 1, 31))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>p1 : Symbol(MyBase.p1, Decl(superPropertyAccess.ts, 1, 31))
var l1 = super.d1; // Should error, instance data property not a public instance member function
>l1 : Symbol(l1, Decl(superPropertyAccess.ts, 24, 11), Decl(superPropertyAccess.ts, 26, 11))
>super.d1 : Symbol(MyBase.d1, Decl(superPropertyAccess.ts, 3, 36))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>d1 : Symbol(MyBase.d1, Decl(superPropertyAccess.ts, 3, 36))
var l1 = super.d2; // Should error, instance data property not a public instance member function
>l1 : Symbol(l1, Decl(superPropertyAccess.ts, 24, 11), Decl(superPropertyAccess.ts, 26, 11))
>super.d2 : Symbol(MyBase.d2, Decl(superPropertyAccess.ts, 4, 20))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>d2 : Symbol(MyBase.d2, Decl(superPropertyAccess.ts, 4, 20))
super.m1 = function (a: string) { return ""; }; // Should be allowed, we will not restrict assignment
>super.m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>m1 : Symbol(MyBase.m1, Decl(superPropertyAccess.ts, 0, 14))
>a : Symbol(a, Decl(superPropertyAccess.ts, 28, 29))
super.value = 0; // Should error, instance data property not a public instance member function
>super.value : Symbol(MyBase.value, Decl(superPropertyAccess.ts, 5, 28), Decl(superPropertyAccess.ts, 6, 27))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>value : Symbol(MyBase.value, Decl(superPropertyAccess.ts, 5, 28), Decl(superPropertyAccess.ts, 6, 27))
var z = super.value; // Should error, instance data property not a public instance member function
>z : Symbol(z, Decl(superPropertyAccess.ts, 32, 11))
>super.value : Symbol(MyBase.value, Decl(superPropertyAccess.ts, 5, 28), Decl(superPropertyAccess.ts, 6, 27))
>super : Symbol(MyBase, Decl(superPropertyAccess.ts, 0, 0))
>value : Symbol(MyBase.value, Decl(superPropertyAccess.ts, 5, 28), Decl(superPropertyAccess.ts, 6, 27))
}
}
|
