| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
| D | comparisonOperatorWithSubtypeObjectOnIndexSignature.ts | 45 let a3: { [index: number]: string }; variable
46 AssertType(a3, "{ [number]: string; }");
74 let r1a1 = a3 < b3;
76 AssertType(a3 < b3, "boolean");
77 AssertType(a3, "{ [number]: string; }");
98 let r1b1 = b3 < a3;
100 AssertType(b3 < a3, "boolean");
102 AssertType(a3, "{ [number]: string; }");
123 let r2a1 = a3 > b3;
125 AssertType(a3 > b3, "boolean");
[all …]
|
| D | parserRegularExpressionDivideAmbiguity6.ts | 21 function c255lsqr8h(a7, a6, a5, a4, a3, a2, a1, a0) {
95 r[3] = (v = ((v / 0x10000) | 0) + 2*a0*a3 + 2*a1*a2) & 0xFFFF;
96 AssertType(r[3] = (v = ((v / 0x10000) | 0) + 2*a0*a3 + 2*a1*a2) & 0xFFFF, "number");
100 AssertType((v = ((v / 0x10000) | 0) + 2*a0*a3 + 2*a1*a2) & 0xFFFF, "number");
101 AssertType((v = ((v / 0x10000) | 0) + 2*a0*a3 + 2*a1*a2), "number");
102 AssertType(v = ((v / 0x10000) | 0) + 2*a0*a3 + 2*a1*a2, "number");
104 AssertType(((v / 0x10000) | 0) + 2*a0*a3 + 2*a1*a2, "number");
105 AssertType(((v / 0x10000) | 0) + 2*a0*a3, "number");
113 AssertType(2*a0*a3, "number");
117 AssertType(a3, "any");
[all …]
|
| D | nullishCoalescingOperator3.ts | 29 declare const a3: 1 | undefined | null
30 AssertType(a3, "union");
48 const aa1 = a1 ?? a2 ?? a3 ?? a4 ?? a5 ?? a6 ?? 'whatever'
50 AssertType(a1 ?? a2 ?? a3 ?? a4 ?? a5 ?? a6 ?? 'whatever', "union");
51 AssertType(a1 ?? a2 ?? a3 ?? a4 ?? a5 ?? a6, "union");
52 AssertType(a1 ?? a2 ?? a3 ?? a4 ?? a5, "union");
53 AssertType(a1 ?? a2 ?? a3 ?? a4, "union");
54 AssertType(a1 ?? a2 ?? a3, "union");
58 AssertType(a3, "union");
|
| D | emptyAssignmentPatterns02_ES6.ts | 24 let x, y, z, a1, a2, a3;
30 AssertType(a3, "any");
43 ([] = [ a1, a2, a3] = a);
44 AssertType(([] = [ a1, a2, a3] = a), "any");
45 AssertType([] = [ a1, a2, a3] = a, "any");
47 AssertType([ a1, a2, a3] = a, "any");
48 AssertType([ a1, a2, a3], "[any, any, any]");
51 AssertType(a3, "any");
|
| D | emptyAssignmentPatterns02_ES5.ts | 24 let x, y, z, a1, a2, a3;
30 AssertType(a3, "any");
43 ([] = [ a1, a2, a3] = a);
44 AssertType(([] = [ a1, a2, a3] = a), "any");
45 AssertType([] = [ a1, a2, a3] = a, "any");
47 AssertType([ a1, a2, a3] = a, "any");
48 AssertType([ a1, a2, a3], "[any, any, any]");
51 AssertType(a3, "any");
|
| D | emptyAssignmentPatterns02_ES5iterable.ts | 24 let x, y, z, a1, a2, a3;
30 AssertType(a3, "any");
43 ([] = [ a1, a2, a3] = a);
44 AssertType(([] = [ a1, a2, a3] = a), "any");
45 AssertType([] = [ a1, a2, a3] = a, "any");
47 AssertType([ a1, a2, a3] = a, "any");
48 AssertType([ a1, a2, a3], "[any, any, any]");
51 AssertType(a3, "any");
|
| D | comparisonOperatorWithSubtypeObjectOnInstantiatedConstructorSignature.ts | 46 let a3: { new <T, U>(x: T, y: U): T }; variable
47 AssertType(a3, "new <T, U>(T, U) => T");
100 let r1a3 = a3 < b3;
102 AssertType(a3 < b3, "boolean");
103 AssertType(a3, "new <T, U>(T, U) => T");
136 let r1b3 = b3 < a3;
138 AssertType(b3 < a3, "boolean");
140 AssertType(a3, "new <T, U>(T, U) => T");
173 let r2a3 = a3 > b3;
175 AssertType(a3 > b3, "boolean");
[all …]
|
| D | comparisonOperatorWithNoRelationshipObjectsOnInstantiatedConstructorSignature.ts | 48 let a3: { new <T>(x?: T): T }; variable
49 AssertType(a3, "new <T>(?T) => T");
97 let r1a3 = a3 < b3;
99 AssertType(a3 < b3, "boolean");
100 AssertType(a3, "new <T>(?T) => T");
133 let r1b3 = b3 < a3;
135 AssertType(b3 < a3, "boolean");
137 AssertType(a3, "new <T>(?T) => T");
170 let r2a3 = a3 > b3;
172 AssertType(a3 > b3, "boolean");
[all …]
|
| D | comparisonOperatorWithNoRelationshipObjectsOnInstantiatedCallSignature.ts | 52 let a3: { fn<T>(x?: T): T }; variable
53 AssertType(a3, "{ fn<T>(?T): T; }");
109 let r1a3 = a3 < b3;
111 AssertType(a3 < b3, "boolean");
112 AssertType(a3, "{ fn<T>(?T): T; }");
145 let r1b3 = b3 < a3;
147 AssertType(b3 < a3, "boolean");
149 AssertType(a3, "{ fn<T>(?T): T; }");
182 let r2a3 = a3 > b3;
184 AssertType(a3 > b3, "boolean");
[all …]
|
| D | comparisonOperatorWithSubtypeObjectOnInstantiatedCallSignature.ts | 50 let a3: { fn<T, U>(x: T, y: U): T }; variable
51 AssertType(a3, "{ fn<T, U>(T, U): T; }");
113 let r1a3 = a3 < b3;
115 AssertType(a3 < b3, "boolean");
116 AssertType(a3, "{ fn<T, U>(T, U): T; }");
149 let r1b3 = b3 < a3;
151 AssertType(b3 < a3, "boolean");
153 AssertType(a3, "{ fn<T, U>(T, U): T; }");
186 let r2a3 = a3 > b3;
188 AssertType(a3 > b3, "boolean");
[all …]
|
| D | emptyAssignmentPatterns04_ES5iterable.ts | 24 let x, y, z, a1, a2, a3;
30 AssertType(a3, "any");
43 ([ a1, a2, a3] = [] = a);
44 AssertType(([ a1, a2, a3] = [] = a), "any");
45 AssertType([ a1, a2, a3] = [] = a, "any");
46 AssertType([ a1, a2, a3], "[any, any, any]");
49 AssertType(a3, "any");
|
| D | emptyAssignmentPatterns04_ES5.ts | 24 let x, y, z, a1, a2, a3;
30 AssertType(a3, "any");
43 ([ a1, a2, a3] = [] = a);
44 AssertType(([ a1, a2, a3] = [] = a), "any");
45 AssertType([ a1, a2, a3] = [] = a, "any");
46 AssertType([ a1, a2, a3], "[any, any, any]");
49 AssertType(a3, "any");
|
| D | emptyAssignmentPatterns04_ES6.ts | 24 let x, y, z, a1, a2, a3;
30 AssertType(a3, "any");
43 ([ a1, a2, a3] = [] = a);
44 AssertType(([ a1, a2, a3] = [] = a), "any");
45 AssertType([ a1, a2, a3] = [] = a, "any");
46 AssertType([ a1, a2, a3], "[any, any, any]");
49 AssertType(a3, "any");
|
| D | es6ModuleInternalImport.ts | 33 export import a3 = m.a;
36 let x2 = a3 + a4;
39 export import a3 = m.a;
42 let x2 = a3 + a4;
43 let x4 = m1.a3 + m2.a3;
|
| D | comparisonOperatorWithIdenticalObjects.ts | 72 let a3: A3; variable
73 AssertType(a3, "A3");
127 let r1a4 = a3 < b3;
129 AssertType(a3 < b3, "boolean");
130 AssertType(a3, "A3");
169 let r1b4 = b3 < a3;
171 AssertType(b3 < a3, "boolean");
173 AssertType(a3, "A3");
212 let r2a4 = a3 > b3;
214 AssertType(a3 > b3, "boolean");
[all …]
|
| D | comparisonOperatorWithSubtypeObjectOnConstructorSignature.ts | 45 let a3: { new (a: number, b: string): Base }; variable
46 AssertType(a3, "new (number, string) => Base");
115 let r1a3 = a3 < b3;
117 AssertType(a3 < b3, "boolean");
118 AssertType(a3, "new (number, string) => Base");
169 let r1b3 = b3 < a3;
171 AssertType(b3 < a3, "boolean");
173 AssertType(a3, "new (number, string) => Base");
224 let r2a3 = a3 > b3;
226 AssertType(a3 > b3, "boolean");
[all …]
|
| D | typeResolution.ts | 38 let a3: SubModule1.SubSubModule1.ClassA; a3.AisIn1_1_1();
39 AssertType(a3, "ClassA");
42 AssertType(a3.AisIn1_1_1(), "void");
43 AssertType(a3.AisIn1_1_1, "() => void");
105 let a3: SubModule1.SubSubModule1.ClassA; a3.AisIn1_1_1();
106 AssertType(a3, "ClassA");
109 AssertType(a3.AisIn1_1_1(), "void");
110 AssertType(a3.AisIn1_1_1, "() => void");
214 let a3: SubModule1.SubSubModule1.ClassA; a3.AisIn1_1_1();
215 AssertType(a3, "SubSubModule1.ClassA");
[all …]
|
| D | comparisonOperatorWithSubtypeObjectOnCallSignature.ts | 49 let a3: { fn(a: number, b: string): void }; variable
50 AssertType(a3, "{ fn(number, string): void; }");
149 let r1a3 = a3 < b3;
151 AssertType(a3 < b3, "boolean");
152 AssertType(a3, "{ fn(number, string): void; }");
215 let r1b3 = b3 < a3;
217 AssertType(b3 < a3, "boolean");
219 AssertType(a3, "{ fn(number, string): void; }");
282 let r2a3 = a3 > b3;
284 AssertType(a3 > b3, "boolean");
[all …]
|
| D | instantiatedModule.ts | 140 let a3: typeof M3.Color; variable
141 AssertType(a3, "typeof M3.Color");
146 let a3 = m3.Color; variable
147 AssertType(a3, "typeof M3.Color");
150 let a3 = M3.Color; variable
151 AssertType(a3, "typeof M3.Color");
154 let blue: M3.Color = a3.Blue;
157 AssertType(a3.Blue, "M3.Color.Blue");
|
| D | nullishCoalescingOperator2.ts | 29 declare const a3: 1 | undefined | null
30 AssertType(a3, "union");
72 const aa3 = a3 ?? 'whatever'
74 AssertType(a3 ?? 'whatever', "union");
75 AssertType(a3, "union");
|
| D | nullishCoalescingOperator_not_strict.ts | 29 declare const a3: 1 | undefined | null
30 AssertType(a3, "int");
72 const aa3 = a3 ?? 'whatever'
74 AssertType(a3 ?? 'whatever', "union");
75 AssertType(a3, "int");
|
| D | arrayLiterals2ES6.ts | 55 let a3 = [, , ...a0]
56 AssertType(a3, "number[]");
192 let d6 = [...a3];
194 AssertType([...a3], "number[]");
195 AssertType(...a3, "number");
196 AssertType(a3, "number[]");
|
| /arkcompiler/ets_runtime/test/typeinfer/ldsuperproperty/ |
| D | ldsuperproperty.ts | 21 static a3 : string = "abc";
54 let d5 = super.a3;
62 let a3 = super[b]();
63 AssertType(a3, "string")
|
| /arkcompiler/ets_frontend/es2panda/test/bytecode/commonjs/ |
| D | test-commonjs-main-func-args-expected.txt | 3 .function any .#14695981039346656037#(any a0, any a1, any a2, any a3, any a4, any a5, any a6, any a…
17 .function any .func_main_0(any a0, any a1, any a2, any a3, any a4, any a5, any a6, any a7) {
28 lda a3
39 callthis3 0xf, v0, v2, a3, v3
|
| /arkcompiler/ets_frontend/es2panda/test/hotfix/hotfix-throwerror/modify-lexenv-2/ |
| D | base_mod.js | 20 var a3 = 2; // modify lexenv (from a2 to a3)
22 print(a1 + a3);
|