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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
=== tests/cases/compiler/superElementAccess.ts ===
class MyBase {
>MyBase : MyBase
m1(a: string) { return a; }
>m1 : (a: string) => string
>a : string
>a : string
private p1() { }
>p1 : () => void
m2: () => void = function () { }
>m2 : () => void
>function () { } : () => void
d1: number = 42;
>d1 : number
>42 : 42
private d2: number = 42;
>d2 : number
>42 : 42
get value() {return 0 }
>value : number
>0 : 0
set value(v: number) { }
>value : number
>v : number
}
class MyDerived extends MyBase {
>MyDerived : MyDerived
>MyBase : MyBase
foo() {
>foo : () => void
super["m1"]("hi"); // Should be allowed, method on base prototype
>super["m1"]("hi") : string
>super["m1"] : (a: string) => string
>super : MyBase
>"m1" : "m1"
>"hi" : "hi"
var l2 = super["m1"].bind(this); // Should be allowed, can access properties as well as invoke
>l2 : any
>super["m1"].bind(this) : any
>super["m1"].bind : (this: Function, thisArg: any, ...argArray: any[]) => any
>super["m1"] : (a: string) => string
>super : MyBase
>"m1" : "m1"
>bind : (this: Function, thisArg: any, ...argArray: any[]) => any
>this : this
var x: (a: string) => string = super["m1"]; // Should be allowed, can assign to var with compatible signature
>x : (a: string) => string
>a : string
>super["m1"] : (a: string) => string
>super : MyBase
>"m1" : "m1"
super["m2"].bind(this); // Should error, instance property, not a public instance member function
>super["m2"].bind(this) : any
>super["m2"].bind : (this: Function, thisArg: any, ...argArray: any[]) => any
>super["m2"] : () => void
>super : MyBase
>"m2" : "m2"
>bind : (this: Function, thisArg: any, ...argArray: any[]) => any
>this : this
super["p1"](); // Should error, private not public instance member function
>super["p1"]() : void
>super["p1"] : () => void
>super : MyBase
>"p1" : "p1"
var l1 = super["d1"]; // Should error, instance data property not a public instance member function
>l1 : number
>super["d1"] : number
>super : MyBase
>"d1" : "d1"
var l1 = super["d2"]; // Should error, instance data property not a public instance member function
>l1 : number
>super["d2"] : number
>super : MyBase
>"d2" : "d2"
super["m1"] = function (a: string) { return ""; }; // Should be allowed, we will not restrict assignment
>super["m1"] = function (a: string) { return ""; } : (a: string) => string
>super["m1"] : (a: string) => string
>super : MyBase
>"m1" : "m1"
>function (a: string) { return ""; } : (a: string) => string
>a : string
>"" : ""
super["value"] = 0; // Should error, instance data property not a public instance member function
>super["value"] = 0 : 0
>super["value"] : number
>super : MyBase
>"value" : "value"
>0 : 0
var z = super["value"]; // Should error, instance data property not a public instance member function
>z : number
>super["value"] : number
>super : MyBase
>"value" : "value"
}
}
|
