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
|
=== tests/cases/compiler/autolift4.ts ===
class Point {
>Point : Point
constructor(public x: number, public y: number) {
>x : number
>y : number
}
getDist() {
>getDist : () => number
return Math.sqrt(this.x*this.x + this.y*this.y);
>Math.sqrt(this.x*this.x + this.y*this.y) : number
>Math.sqrt : (x: number) => number
>Math : Math
>sqrt : (x: number) => number
>this.x*this.x + this.y*this.y : number
>this.x*this.x : number
>this.x : number
>this : this
>x : number
>this.x : number
>this : this
>x : number
>this.y*this.y : number
>this.y : number
>this : this
>y : number
>this.y : number
>this : this
>y : number
}
static origin = new Point(0,0);
>origin : Point
>new Point(0,0) : Point
>Point : typeof Point
>0 : 0
>0 : 0
}
class Point3D extends Point {
>Point3D : Point3D
>Point : Point
constructor(x: number, y: number, public z: number, m:number) {
>x : number
>y : number
>z : number
>m : number
super(x, y);
>super(x, y) : void
>super : typeof Point
>x : number
>y : number
}
getDist() {
>getDist : () => number
return Math.sqrt(this.x*this.x + this.y*this.y + this.z*this.m);
>Math.sqrt(this.x*this.x + this.y*this.y + this.z*this.m) : number
>Math.sqrt : (x: number) => number
>Math : Math
>sqrt : (x: number) => number
>this.x*this.x + this.y*this.y + this.z*this.m : number
>this.x*this.x + this.y*this.y : number
>this.x*this.x : number
>this.x : number
>this : this
>x : number
>this.x : number
>this : this
>x : number
>this.y*this.y : number
>this.y : number
>this : this
>y : number
>this.y : number
>this : this
>y : number
>this.z*this.m : number
>this.z : number
>this : this
>z : number
>this.m : any
>this : this
>m : any
}
}
|
