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
116
117
118
|
=== tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractInstantiations2.ts ===
class A {
>A : Symbol(A, Decl(classAbstractInstantiations2.ts, 0, 0))
// ...
}
abstract class B {
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
foo(): number { return this.bar(); }
>foo : Symbol(B.foo, Decl(classAbstractInstantiations2.ts, 4, 18))
>this.bar : Symbol(B.bar, Decl(classAbstractInstantiations2.ts, 5, 40))
>this : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
>bar : Symbol(B.bar, Decl(classAbstractInstantiations2.ts, 5, 40))
abstract bar() : number;
>bar : Symbol(B.bar, Decl(classAbstractInstantiations2.ts, 5, 40))
}
new B; // error
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
var BB: typeof B = B;
>BB : Symbol(BB, Decl(classAbstractInstantiations2.ts, 11, 3), Decl(classAbstractInstantiations2.ts, 19, 3))
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
var AA: typeof A = BB; // error, AA is not of abstract type.
>AA : Symbol(AA, Decl(classAbstractInstantiations2.ts, 12, 3))
>A : Symbol(A, Decl(classAbstractInstantiations2.ts, 0, 0))
>BB : Symbol(BB, Decl(classAbstractInstantiations2.ts, 11, 3), Decl(classAbstractInstantiations2.ts, 19, 3))
new AA;
>AA : Symbol(AA, Decl(classAbstractInstantiations2.ts, 12, 3))
function constructB(Factory : typeof B) {
>constructB : Symbol(constructB, Decl(classAbstractInstantiations2.ts, 13, 7))
>Factory : Symbol(Factory, Decl(classAbstractInstantiations2.ts, 15, 20))
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
new Factory; // error -- Factory is of type typeof B.
>Factory : Symbol(Factory, Decl(classAbstractInstantiations2.ts, 15, 20))
}
var BB = B;
>BB : Symbol(BB, Decl(classAbstractInstantiations2.ts, 11, 3), Decl(classAbstractInstantiations2.ts, 19, 3))
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
new BB; // error -- BB is of type typeof B.
>BB : Symbol(BB, Decl(classAbstractInstantiations2.ts, 11, 3), Decl(classAbstractInstantiations2.ts, 19, 3))
var x : any = C;
>x : Symbol(x, Decl(classAbstractInstantiations2.ts, 22, 3))
>C : Symbol(C, Decl(classAbstractInstantiations2.ts, 23, 6))
new x; // okay -- undefined behavior at runtime
>x : Symbol(x, Decl(classAbstractInstantiations2.ts, 22, 3))
class C extends B { } // error -- not declared abstract
>C : Symbol(C, Decl(classAbstractInstantiations2.ts, 23, 6))
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
abstract class D extends B { } // okay
>D : Symbol(D, Decl(classAbstractInstantiations2.ts, 25, 21))
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
class E extends B { // okay -- implements abstract method
>E : Symbol(E, Decl(classAbstractInstantiations2.ts, 27, 30))
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
bar() { return 1; }
>bar : Symbol(E.bar, Decl(classAbstractInstantiations2.ts, 29, 19))
}
abstract class F extends B {
>F : Symbol(F, Decl(classAbstractInstantiations2.ts, 31, 1))
>B : Symbol(B, Decl(classAbstractInstantiations2.ts, 2, 1))
abstract foo() : number;
>foo : Symbol(F.foo, Decl(classAbstractInstantiations2.ts, 33, 28))
bar() { return 2; }
>bar : Symbol(F.bar, Decl(classAbstractInstantiations2.ts, 34, 28))
}
abstract class G {
>G : Symbol(G, Decl(classAbstractInstantiations2.ts, 36, 1))
abstract qux(x : number) : string;
>qux : Symbol(G.qux, Decl(classAbstractInstantiations2.ts, 38, 18), Decl(classAbstractInstantiations2.ts, 39, 38))
>x : Symbol(x, Decl(classAbstractInstantiations2.ts, 39, 17))
abstract qux() : number;
>qux : Symbol(G.qux, Decl(classAbstractInstantiations2.ts, 38, 18), Decl(classAbstractInstantiations2.ts, 39, 38))
y : number;
>y : Symbol(G.y, Decl(classAbstractInstantiations2.ts, 40, 28))
abstract quz(x : number, y : string) : boolean; // error -- declarations must be adjacent
>quz : Symbol(G.quz, Decl(classAbstractInstantiations2.ts, 41, 15))
>x : Symbol(x, Decl(classAbstractInstantiations2.ts, 42, 17))
>y : Symbol(y, Decl(classAbstractInstantiations2.ts, 42, 28))
abstract nom(): boolean;
>nom : Symbol(G.nom, Decl(classAbstractInstantiations2.ts, 42, 51), Decl(classAbstractInstantiations2.ts, 44, 28))
nom(x : number): boolean; // error -- use of modifier abstract must match on all overloads.
>nom : Symbol(G.nom, Decl(classAbstractInstantiations2.ts, 42, 51), Decl(classAbstractInstantiations2.ts, 44, 28))
>x : Symbol(x, Decl(classAbstractInstantiations2.ts, 45, 8))
}
class H { // error -- not declared abstract
>H : Symbol(H, Decl(classAbstractInstantiations2.ts, 46, 1))
abstract baz() : number;
>baz : Symbol(H.baz, Decl(classAbstractInstantiations2.ts, 48, 9))
}
|
