/arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
D | contextuallyTypedObjectLiteralMethodDeclaration01.ts | 30 method1(arg: A): void; 31 method2(arg: B): void; 35 AssertType({ method1(arg) { arg.numProp = 10; }, method2(arg) { … 38 method1(arg) { 40 AssertType(arg, "A"); 42 arg.numProp = 10; 43 AssertType(arg.numProp = 10, "int"); 44 AssertType(arg.numProp, "number"); 48 method2(arg) { 50 AssertType(arg, "B"); [all …]
|
D | weakTypeAndPrimitiveNarrowing.ts | 28 const g = (arg: LiteralsAndWeakTypes) => { 30 AssertType((arg: LiteralsAndWeakTypes) => { if (arg === 'A') { arg; } else { arg; … 31 AssertType(arg, "LiteralsAndWeakTypes"); 33 if (arg === 'A') { 34 AssertType(arg === 'A', "boolean"); 35 AssertType(arg, "LiteralsAndWeakTypes"); 38 arg; 39 AssertType(arg, "union"); 42 arg; 43 AssertType(arg, "union"); [all …]
|
D | typeLiteralCallback.ts | 22 reject(arg: T): void ; 28 fail(func: (arg: T) => void ): void ; 29 fail2(func: { (arg: T): void ; }): void ; 34 test.fail(arg => foo.reject(arg)); 35 AssertType(test.fail(arg => foo.reject(arg)), "void"); 37 AssertType(arg => foo.reject(arg), "(string) => void"); 38 AssertType(arg, "string"); 39 AssertType(foo.reject(arg), "void"); 41 AssertType(arg, "string"); 43 test.fail2(arg => foo.reject(arg)); // Should be OK. Was: Error: Supplied parameters do not match… [all …]
|
D | genericInterfaceTypeCall.ts | 22 reject(arg: T): void; 28 fail(func: (arg: T) => void ): void; 29 fail2(func2: { (arg: T): void; }): void; 34 test.fail(arg => foo.reject(arg)); 35 AssertType(test.fail(arg => foo.reject(arg)), "void"); 37 AssertType(arg => foo.reject(arg), "(string) => void"); 38 AssertType(arg, "string"); 39 AssertType(foo.reject(arg), "void"); 41 AssertType(arg, "string"); 43 test.fail2(arg => foo.reject(arg)); // Error: Supplied parameters do not match any signature of cal… [all …]
|
D | argumentsObjectIterator01_ES6.ts | 26 for (let arg of arguments) { 27 AssertType(arg, "any"); 30 result.push(arg + arg); 31 AssertType(result.push(arg + arg), "number"); 33 AssertType(arg + arg, "any"); 34 AssertType(arg, "any"); 35 AssertType(arg, "any");
|
D | controlFlowOptionalChain2.ts | 30 function funcTwo(arg: A | B | undefined) { 31 if (arg?.type === 'B') { 32 AssertType(arg?.type === 'B', "boolean"); 33 AssertType(arg?.type, "union"); 36 arg; // `B` 37 AssertType(arg, "B"); 42 arg; 43 AssertType(arg, "union"); 45 arg?.name; 46 AssertType(arg?.name, "union"); [all …]
|
D | callOfConditionalTypeWithConcreteBranches.ts | 22 function fn<T>(arg: Q<T>) { 25 arg(10); 26 AssertType(arg(10), "void"); 27 AssertType(arg, "Q<T>"); 58 function fn2<T>(arg: Q2<T>) { 66 arg(arg => useT(arg)); 67 AssertType(arg(arg => useT(arg)), "void"); 68 AssertType(arg, "Q2<T>"); 69 AssertType(arg => useT(arg), "(T & number) => void"); 70 AssertType(arg, "T & number"); [all …]
|
D | argumentsObjectIterator02_ES6.ts | 32 for (let arg of blah()) { 33 AssertType(arg, "any"); 37 result.push(arg + arg); 38 AssertType(result.push(arg + arg), "number"); 40 AssertType(arg + arg, "any"); 41 AssertType(arg, "any"); 42 AssertType(arg, "any");
|
D | constructorWithParameterPropertiesAndPrivateFields.es2015.ts | 26 constructor(arg: { key: string }, public exposedField: number) { 27 ({ key: this.#privateField } = arg); 28 AssertType(({ key: this.#privateField } = arg), "{ key: string; }"); 29 AssertType({ key: this.#privateField } = arg, "{ key: string; }"); 34 AssertType(arg, "{ key: string; }"); 55 constructor(arg: { key: string }, public exposedField: number) { 59 ({ key: this.#privateField } = arg); 60 AssertType(({ key: this.#privateField } = arg), "{ key: string; }"); 61 AssertType({ key: this.#privateField } = arg, "{ key: string; }"); 66 AssertType(arg, "{ key: string; }");
|
D | escapedIdentifiers.ts | 193 public func(arg1: number, arg\u0032: string, arg\u0033: boolean, arg4: number) { 194 arg\u0031 = 1; 195 AssertType(arg\u0031 = 1, "int"); 196 AssertType(arg\u0031, "number"); 204 arg\u0033 = true; 205 AssertType(arg\u0033 = true, "boolean"); 206 AssertType(arg\u0033, "boolean"); 218 …constructor (public arg1: number,public arg\u0032: string,public arg\u0033: boolean,public arg4: n… property in constructorTestClass 230 constructorTestObject.arg\u0031 = 1; 231 AssertType(constructorTestObject.arg\u0031 = 1, "int"); [all …]
|
D | contextuallyTypedBindingInitializer.ts | 46 let { stringIdentity: id = arg => arg }: StringIdentity = { stringIdentity: x => x}; 49 AssertType(arg => arg, "(string) => string"); 50 AssertType(arg, "string"); 51 AssertType(arg, "string");
|
D | subtypingWithConstructSignatures5.ts | 36 a5: new (x: (arg: string) => number) => string; 37 a6: new (x: (arg: Base) => Derived) => Base; 38 a7: new (x: (arg: Base) => Derived) => (r: Base) => Derived; 39 a8: new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; 40 a9: new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; 59 …a5: new <T, U>(x: (arg: T) => U) => T; // ok, U is in a parameter position so inferences can be ma… 60 …a6: new <T extends Base, U extends Derived>(x: (arg: T) => U) => T; // ok, same as a5 but with obj… 61 a7: new <T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U; // ok 62 …a8: new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U; /… 63 …a9: new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: { foo: string; bing: numbe…
|
D | callSignatureAssignabilityInInheritance5.ts | 36 a5: (x: (arg: string) => number) => string; 37 a6: (x: (arg: Base) => Derived) => Base; 38 a7: (x: (arg: Base) => Derived) => (r: Base) => Derived; 39 a8: (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; 40 a9: (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; 59 a5: <T, U>(x: (arg: T) => U) => T; // ok, U is in a parameter position so inferences can be made 60 …a6: <T extends Base, U extends Derived>(x: (arg: T) => U) => T; // ok, same as a5 but with object … 61 a7: <T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U; // ok 62 … a8: <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U; // ok 63 …a9: <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: { foo: string; bing: number })…
|
D | constructSignatureAssignabilityInInheritance5.ts | 36 a5: new (x: (arg: string) => number) => string; 37 a6: new (x: (arg: Base) => Derived) => Base; 38 a7: new (x: (arg: Base) => Derived) => (r: Base) => Derived; 39 a8: new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; 40 a9: new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; 59 …a5: new <T, U>(x: (arg: T) => U) => T; // ok, U is in a parameter position so inferences can be ma… 60 …a6: new <T extends Base, U extends Derived>(x: (arg: T) => U) => T; // ok, same as a5 but with obj… 61 a7: new <T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U; // ok 62 …a8: new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U; /… 63 …a9: new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: { foo: string; bing: numbe…
|
D | constructSignatureAssignabilityInInheritance2.ts | 35 a5: new (x: (arg: string) => number) => string; 36 a6: new (x: (arg: Base) => Derived) => Base; 37 a7: new (x: (arg: Base) => Derived) => (r: Base) => Derived; 38 a8: new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; 39 a9: new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; 76 …a5: new <T, U>(x: (arg: T) => U) => T; // ok, U is in a parameter position so inferences can be ma… 77 …a6: new <T extends Base, U extends Derived>(x: (arg: T) => U) => T; // ok, same as a5 but with obj… 78 a7: new <T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U; // ok 79 …a8: new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U; /… 80 …a9: new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: { foo: string; bing: numbe…
|
/arkcompiler/runtime_core/libpandabase/tests/ |
D | mutex_test.cpp | 43 ThreadRWLockArgs *arg = reinterpret_cast<ThreadRWLockArgs *>(input); in TestThread1() local 44 arg->rwlock->WriteLock(); in TestThread1() 45 (*(arg->index))++; in TestThread1() 47 arg->rwlock->Unlock(); in TestThread1() 54 ThreadRWLockArgs *arg = reinterpret_cast<ThreadRWLockArgs *>(input); in TestThread2() local 55 arg->rwlock->ReadLock(); in TestThread2() 57 arg->rwlock->Unlock(); in TestThread2() 64 ThreadRWLockArgs *arg = reinterpret_cast<ThreadRWLockArgs *>(input); in TestThread3() local 65 bool res = arg->rwlock->TryReadLock(); in TestThread3() 67 (*(arg->index))++; in TestThread3() [all …]
|
/arkcompiler/ets_runtime/test/typeinfer/automatedcases/jsDeclarationsComputedNames/ |
D | index.js | 33 …(x = 12) { return x; }, items: { [InnerSym]: (arg = {x: 12}) => arg.x }}, "… 34 …(x = 12) { return x; }, items: { [InnerSym]: (arg = {x: 12}) => arg.x }}, "… 48 AssertType({ [InnerSym]: (arg = {x: 12}) => arg.x }, "{ [InnerSym]: (?{ x: number; }) => … 50 [InnerSym]: (arg = {x: 12}) => arg.x 53 AssertType((arg = {x: 12}) => arg.x, "(?{ x: number; }) => number"); 54 AssertType(arg, "{ x: number; }"); 58 AssertType(arg.x, "number");
|
/arkcompiler/runtime_core/libpandabase/utils/ |
D | pandargs.h | 200 [name](const auto &arg) { return arg->GetName() == name; }); in FindSubArg() 207 … std::for_each(sub_args_.begin(), sub_args_.end(), [](auto &arg) { arg->ResetDefaultValue(); }); in ResetDefaultValue() 221 bool Add(PandArgBase *arg) in Add() argument 223 if (arg == nullptr) { in Add() 227 bool success = args_.insert(arg).second; in Add() 229 errstr_ += "pandargs: Argument " + arg->GetName() + " has duplicate\n"; in Add() 234 bool PushBackTail(PandArgBase *arg) in PushBackTail() argument 236 if (arg == nullptr) { in PushBackTail() 240 if (std::find(tail_args_.begin(), tail_args_.end(), arg) != tail_args_.end()) { in PushBackTail() 241 … errstr_ += "pandargs: Tail argument " + arg->GetName() + " is already in tail arguments list\n"; in PushBackTail() [all …]
|
/arkcompiler/ets_runtime/ecmascript/base/ |
D | atomic_helper.h | 28 T operator()(T *ptr, const T *arg) const in operator() 31 return atomicValue->fetch_sub(arg[0], std::memory_order_seq_cst); in operator() 37 T operator()(T *ptr, const T *arg) const in operator() 40 return atomicValue->fetch_add(arg[0], std::memory_order_seq_cst); in operator() 46 T operator()(T *ptr, const T *arg) const in operator() 49 return atomicValue->fetch_and(arg[0], std::memory_order_seq_cst); in operator() 55 T operator()(T *ptr, const T *arg) const in operator() 58 return atomicValue->fetch_or(arg[0], std::memory_order_seq_cst); in operator() 64 T operator()(T *ptr, const T *arg) const in operator() 67 return atomicValue->fetch_xor(arg[0], std::memory_order_seq_cst); in operator() [all …]
|
/arkcompiler/ets_runtime/test/aottest/aot_type_test/typediv/ |
D | typediv.ts | 16 declare function print(arg:any):string; 35 function foo2(arg:number) { 36 if (arg > 1) { 37 arg = arg / 2; 39 return arg;
|
/arkcompiler/ets_runtime/test/aottest/aot_type_test/typemul/ |
D | typemul.ts | 30 function foo2(arg:number) { 31 if (arg > 1) { 32 arg = arg * 2; 34 return arg;
|
/arkcompiler/ets_frontend/arkguard/test/grammar/generics_validation/ |
D | generics_lenth.ts | 20 function loggingIdentity1<T>(arg: T[]): T[] { 21 return arg; 28 function loggingIdentity2<T>(arg: Array<T>): Array<T> { 29 console.log(arg.length); // Array has a .length, so no more error 30 return arg;
|
/arkcompiler/ets_runtime/test/moduletest/callframe/ |
D | callframe.js | 100 var arg = foo8(1,2,3); variable 101 print(arg.length); 102 print(arg[0]); 103 print(arg[1]); 104 print(arg[2]); 105 print(arg[3]);
|
/arkcompiler/runtime_core/compiler/docs/ |
D | vn_doc.md | 80 0.u64 Parameter arg 0 -> (v10, v6, v7, v13) 81 1.u64 Parameter arg 1 -> (v10, v6, v7, v13) 82 2.f64 Parameter arg 2 -> (v11, v9) 83 3.f64 Parameter arg 3 -> (v11, v9) 84 4.f32 Parameter arg 4 -> (v8, v12) 85 5.f32 Parameter arg 5 -> (v8, v12) 110 0.u64 Parameter arg 0 -> (v10, v6, v7, v13) 111 1.u64 Parameter arg 1 -> (v10, v6, v7, v13) 112 2.f64 Parameter arg 2 -> (v11, v9) 113 3.f64 Parameter arg 3 -> (v11, v9) [all …]
|
/arkcompiler/runtime_core/libpandabase/tests/genmc/ |
D | mutex_test_4.cpp | 31 static void *Thread1(void *arg) in Thread1() argument 33 intptr_t index = reinterpret_cast<intptr_t>(arg); in Thread1() 46 static void *Thread2(void *arg) in Thread2() argument 48 intptr_t index = reinterpret_cast<intptr_t>(arg); in Thread2() 59 static void *Thread3(void *arg) in Thread3() argument 61 intptr_t index = reinterpret_cast<intptr_t>(arg); in Thread3()
|