/arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
D | comparisonOperatorWithSubtypeObjectOnIndexSignature.ts | 53 let a4: { [index: number]: Base }; variable 54 AssertType(a4, "{ [number]: Base; }"); 80 let r1a1 = a4 < b4; 82 AssertType(a4 < b4, "boolean"); 83 AssertType(a4, "{ [number]: Base; }"); 104 let r1b1 = b4 < a4; 106 AssertType(b4 < a4, "boolean"); 108 AssertType(a4, "{ [number]: Base; }"); 129 let r2a1 = a4 > b4; 131 AssertType(a4 > b4, "boolean"); [all …]
|
D | parserRegularExpressionDivideAmbiguity6.ts | 21 function c255lsqr8h(a7, a6, a5, a4, a3, a2, a1, a0) { 125 r[4] = (v = ((v / 0x10000) | 0) + 2*a0*a4 + 2*a1*a3 + a2*a2) & 0xFFFF; 126 AssertType(r[4] = (v = ((v / 0x10000) | 0) + 2*a0*a4 + 2*a1*a3 + a2*a2) & 0xFFFF, "number"); 130 AssertType((v = ((v / 0x10000) | 0) + 2*a0*a4 + 2*a1*a3 + a2*a2) & 0xFFFF, "number"); 131 AssertType((v = ((v / 0x10000) | 0) + 2*a0*a4 + 2*a1*a3 + a2*a2), "number"); 132 AssertType(v = ((v / 0x10000) | 0) + 2*a0*a4 + 2*a1*a3 + a2*a2, "number"); 134 AssertType(((v / 0x10000) | 0) + 2*a0*a4 + 2*a1*a3 + a2*a2, "number"); 135 AssertType(((v / 0x10000) | 0) + 2*a0*a4 + 2*a1*a3, "number"); 136 AssertType(((v / 0x10000) | 0) + 2*a0*a4, "number"); 144 AssertType(2*a0*a4, "number"); [all …]
|
D | nullishCoalescingOperator3.ts | 33 declare const a4: 0 | undefined | null 34 AssertType(a4, "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"); 59 AssertType(a4, "union");
|
D | comparisonOperatorWithSubtypeObjectOnInstantiatedConstructorSignature.ts | 56 let a4: { new <T>(x?: T): T }; variable 57 AssertType(a4, "new <T>(?T) => T"); 106 let r1a4 = a4 < b4; 108 AssertType(a4 < b4, "boolean"); 109 AssertType(a4, "new <T>(?T) => T"); 142 let r1b4 = b4 < a4; 144 AssertType(b4 < a4, "boolean"); 146 AssertType(a4, "new <T>(?T) => T"); 179 let r2a4 = a4 > b4; 181 AssertType(a4 > b4, "boolean"); [all …]
|
D | comparisonOperatorWithNoRelationshipObjectsOnInstantiatedConstructorSignature.ts | 56 let a4: { new <T>(...x: T[]): T }; variable 57 AssertType(a4, "new <T>(...T[]) => T"); 103 let r1a4 = a4 < b4; 105 AssertType(a4 < b4, "boolean"); 106 AssertType(a4, "new <T>(...T[]) => T"); 139 let r1b4 = b4 < a4; 141 AssertType(b4 < a4, "boolean"); 143 AssertType(a4, "new <T>(...T[]) => T"); 176 let r2a4 = a4 > b4; 178 AssertType(a4 > b4, "boolean"); [all …]
|
D | comparisonOperatorWithNoRelationshipObjectsOnInstantiatedCallSignature.ts | 62 let a4: { fn<T>(...x: T[]): T }; variable 63 AssertType(a4, "{ fn<T>(...T[]): T; }"); 115 let r1a4 = a4 < b4; 117 AssertType(a4 < b4, "boolean"); 118 AssertType(a4, "{ fn<T>(...T[]): T; }"); 151 let r1b4 = b4 < a4; 153 AssertType(b4 < a4, "boolean"); 155 AssertType(a4, "{ fn<T>(...T[]): T; }"); 188 let r2a4 = a4 > b4; 190 AssertType(a4 > b4, "boolean"); [all …]
|
D | declarationEmitDestructuringObjectLiteralPattern2.ts | 43 let a4 = "hello"; 44 AssertType(a4, "string"); 55 AssertType({ a4, b4, c4 }, "{ a4: string; b4: number; c4: boolean; }"); 56 AssertType(a4, "string"); 59 return { a4, b4, c4 }; 61 let { a4, b4, c4 } = f15(); variable 62 AssertType(a4, "string"); 69 export let { a4, b4, c4 } = f15(); variable
|
D | comparisonOperatorWithSubtypeObjectOnInstantiatedCallSignature.ts | 62 let a4: { fn<T>(x?: T): T }; variable 63 AssertType(a4, "{ fn<T>(?T): T; }"); 119 let r1a4 = a4 < b4; 121 AssertType(a4 < b4, "boolean"); 122 AssertType(a4, "{ fn<T>(?T): T; }"); 155 let r1b4 = b4 < a4; 157 AssertType(b4 < a4, "boolean"); 159 AssertType(a4, "{ fn<T>(?T): T; }"); 192 let r2a4 = a4 > b4; 194 AssertType(a4 > b4, "boolean"); [all …]
|
D | typeResolution.ts | 45 let a4: TopLevelModule1.SubModule1.SubSubModule1.ClassA; a4.AisIn1_1_1(); 46 AssertType(a4, "ClassA"); 50 AssertType(a4.AisIn1_1_1(), "void"); 51 AssertType(a4.AisIn1_1_1, "() => void"); 112 let a4: TopLevelModule1.SubModule1.SubSubModule1.ClassA; a4.AisIn1_1_1(); 113 AssertType(a4, "ClassA"); 117 AssertType(a4.AisIn1_1_1(), "void"); 118 AssertType(a4.AisIn1_1_1, "() => void"); 170 let a4: TopLevelModule1.SubModule1.SubSubModule1.ClassA; a4.AisIn1_1_1(); 171 AssertType(a4, "ClassA"); [all …]
|
D | comparisonOperatorWithIdenticalObjects.ts | 75 let a4: A4; variable 76 AssertType(a4, "A4"); 133 let r1a5 = a4 < b4; 135 AssertType(a4 < b4, "boolean"); 136 AssertType(a4, "A4"); 175 let r1b5 = b4 < a4; 177 AssertType(b4 < a4, "boolean"); 179 AssertType(a4, "A4"); 218 let r2a5 = a4 > b4; 220 AssertType(a4 > b4, "boolean"); [all …]
|
D | comparisonOperatorWithSubtypeObjectOnConstructorSignature.ts | 54 let a4: { new (a: number, b: string): Base }; variable 55 AssertType(a4, "new (number, string) => Base"); 121 let r1a4 = a4 < b4; 123 AssertType(a4 < b4, "boolean"); 124 AssertType(a4, "new (number, string) => Base"); 175 let r1b4 = b4 < a4; 177 AssertType(b4 < a4, "boolean"); 179 AssertType(a4, "new (number, string) => Base"); 230 let r2a4 = a4 > b4; 232 AssertType(a4 > b4, "boolean"); [all …]
|
D | es6ModuleInternalImport.ts | 34 import a4 = m.a; 36 let x2 = a3 + a4; 40 import a4 = m.a; 42 let x2 = a3 + a4;
|
D | comparisonOperatorWithSubtypeObjectOnCallSignature.ts | 60 let a4: { fn(a: number, b: string): void }; variable 61 AssertType(a4, "{ fn(number, string): void; }"); 155 let r1a4 = a4 < b4; 157 AssertType(a4 < b4, "boolean"); 158 AssertType(a4, "{ fn(number, string): void; }"); 221 let r1b4 = b4 < a4; 223 AssertType(b4 < a4, "boolean"); 225 AssertType(a4, "{ fn(number, string): void; }"); 288 let r2a4 = a4 > b4; 290 AssertType(a4 > b4, "boolean"); [all …]
|
D | nullishCoalescingOperator2.ts | 33 declare const a4: 0 | undefined | null 34 AssertType(a4, "union"); 78 const aa4 = a4 ?? 'whatever' 80 AssertType(a4 ?? 'whatever', "union"); 81 AssertType(a4, "union");
|
D | nullishCoalescingOperator_not_strict.ts | 33 declare const a4: 0 | undefined | null 34 AssertType(a4, "int"); 78 const aa4 = a4 ?? 'whatever' 80 AssertType(a4 ?? 'whatever', "union"); 81 AssertType(a4, "int");
|
D | arrayLiterals2ES6.ts | 63 let a4 = [() => 1, ]; 64 AssertType(a4, "(() => number)[]"); 198 let d7 = [...a4]; 200 AssertType([...a4], "(() => number)[]"); 201 AssertType(...a4, "() => number"); 202 AssertType(a4, "(() => number)[]");
|
D | nullishCoalescingOperator1.ts | 33 declare const a4: string | undefined | null 34 AssertType(a4, "union"); 104 const aa4 = a4 ?? 'whatever'; 106 AssertType(a4 ?? 'whatever', "string"); 107 AssertType(a4, "union");
|
D | parenthesisDoesNotBlockAliasSymbolCreation.ts | 51 export const a4 = null as { x : number } & InvalidKeys2<"a">; constant 52 AssertType(a4, "{ x: number; } & InvalidKeys2<"a">");
|
D | trailingCommasES3.ts | 64 let a4 = []; variable 65 AssertType(a4, "any[]");
|
D | trailingCommasES5.ts | 64 let a4 = []; variable 65 AssertType(a4, "any[]");
|
D | nullishCoalescingOperator_es2020.ts | 33 declare const a4: 0 | undefined | null 34 AssertType(a4, "union"); 78 const aa4 = a4 ?? 'whatever' 80 AssertType(a4 ?? 'whatever', "union"); 81 AssertType(a4, "union");
|
/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) { 30 lda a4
|
/arkcompiler/ets_runtime/test/typeinfer/ldobjbyvalue/ |
D | ldobjbyvalue.ts | 38 let a4 = a2[value](); 44 AssertType(a4, "number");
|
/arkcompiler/ets_runtime/test/typeinfer/es2abc_feature/member_variable_Initialization/ |
D | member_variable_Initialization.ts | 22 public static a4 = "abc" + "efg"; 33 AssertType(A.a4, "string");
|
/arkcompiler/ets_runtime/test/typeinfer/ldsuperproperty/ |
D | ldsuperproperty.ts | 64 let a4 = this[a](); 65 AssertType(a4, "number")
|