Searched refs:fun (Results 1 – 10 of 10) sorted by relevance
| /ark/runtime_core/verification/models/typesystem/ |
| D | ark_typesystem.als | 116 fun sort[universe: Sort->Params->Type, t: Type] : Sort { universe.t.Params }
117 fun params[universe: Sort->Params->Type, t: Type] : Params { universe.t[universe.sort[t]] }
118 fun signature[universe: Sort->Params->Type, t: Type] : seq Param { universe.params[t].signature }
122 fun same_sort_arity_subtypeable[universe: Sort->Params->Type, subtyping: Type -> Type] : Type -> Ty…
129 fun all_subtypeable[universe: Sort->Params->Type, subtyping: Type -> Type] : Type -> Type {
|
| D | ark_subtyping_closure.als | 75 fun sort[t: Type] : Sort { TypeSystem.universe.ts/sort[t] }
76 fun params[t: Type] : Params { TypeSystem.universe.ts/params[t] }
77 fun signature[t: Type] : seq Param { TypeSystem.universe.ts/signature[t] }
123 fun common_indices[t1, t2: Type] : set Int {
129 fun complement_to_full[closure : Type->Type, addon : Type->Type] : Type -> Type {
133 fun affected[t: Time, ts : Type -> Type] : Type->Type {
159 fun all_affected[t: Time, ts : Type -> Type] : Type->Type {
|
| /ark/js_runtime/ecmascript/ |
| D | js_function.cpp | 93 JSHClass *JSFunction::GetOrCreateInitialJSHClass(JSThread *thread, const JSHandle<JSFunction> &fun) in GetOrCreateInitialJSHClass() argument
95 JSTaggedValue protoOrDyn(fun->GetProtoOrDynClass()); in GetOrCreateInitialJSHClass()
102 if (!fun->HasFunctionPrototype()) { in GetOrCreateInitialJSHClass()
103 proto = JSHandle<JSTaggedValue>::Cast(NewJSFunctionPrototype(thread, factory, fun)); in GetOrCreateInitialJSHClass()
105 proto = JSHandle<JSTaggedValue>(thread, fun->GetProtoOrDynClass()); in GetOrCreateInitialJSHClass()
109 fun->SetProtoOrDynClass(thread, dynclass); in GetOrCreateInitialJSHClass()
601 DynClass *JSFunction::GetOrCreateInitialDynClass(JSThread *thread, const JSHandle<JSFunction> &fun) in GetOrCreateInitialDynClass() argument
603 return reinterpret_cast<DynClass *>(JSFunction::GetOrCreateInitialJSHClass(thread, fun)); in GetOrCreateInitialDynClass()
|
| D | js_function.h | 103 static DynClass *GetOrCreateInitialDynClass(JSThread *thread, const JSHandle<JSFunction> &fun);
218 static JSHClass *GetOrCreateInitialJSHClass(JSThread *thread, const JSHandle<JSFunction> &fun);
|
| /ark/ts2abc/testTs/expect/controlFlow/ |
| D | typeGuardsTypeParameters.txt | 5 {'lb': [{'t': 2, 'v': 3}, {'t': 2, 'v': 0}, {'t': 2, 'v': 0}, {'t': 5, 'v': 'fun'}, {'t': 2, 'v': 1…
|
| /ark/runtime_core/verification/models/contexts_merge/ |
| D | check_set_intersection_as_lub.als | 22 fun SuperTypesIntersection[regs: set Register] : set Type
|
| /ark/js_runtime/ecmascript/napi/ |
| D | jsnapi.cpp | 434 JSHandle<JSFunction> fun = JSHandle<JSFunction>::Cast(JSNApiHelper::ToJSHandle(cb)); in SetHostEnqueueJob() local
437 MicroJobQueue::EnqueueJob(vm->GetJSThread(), job, QueueType::QUEUE_PROMISE, fun, array); in SetHostEnqueueJob()
|
| /ark/ts2abc/test262/ |
| D | CI_tests.txt | 2628 language/statements/for-of/decl-fun.js
2678 language/statements/with/decl-fun.js
2724 language/statements/if/if-stmt-else-fun-strict.js
2802 language/statements/while/decl-fun.js
|
| D | es5_tests.txt | 5317 language/eval-code/direct/global-env-rec-fun.js
5348 language/eval-code/indirect/global-env-rec-fun.js
|
| /ark/ts2abc/testTs/ |
| D | test-case.patch | 4066 @@ -33,3 +33,4 @@ function fun<T>(item: { [P in keyof T]: T[P] }) {
10595 +function fun<T>(val: T) {
|