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/superPropertyAccess.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 : (a: string) => string
>"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 : (a: string) => string
>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 : (a: string) => string
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 : () => void
>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 : () => void
var l1 = super.d1; // Should error, instance data property not a public instance member function
>l1 : number
>super.d1 : number
>super : MyBase
>d1 : number
var l1 = super.d2; // Should error, instance data property not a public instance member function
>l1 : number
>super.d2 : number
>super : MyBase
>d2 : number
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 : (a: string) => string
>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 : number
>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 : number
}
}
|
