| /arkcompiler/ets_runtime/ecmascript/compiler/baseline/ |
| D | baseline_compiler.cpp | 96 …std::vector<BaselineParameter> parameters; \
97 …parameters.emplace_back(BaselineSpecialParameter::GLUE); \
98 …parameters.emplace_back(BaselineSpecialParameter::SP); \
99 …parameters.emplace_back(static_cast<int32_t>(offset)); \
102 …GetBaselineAssembler().CallBuiltin(builtinAddress, parameters); \
344 std::vector<BaselineParameter> parameters; in BYTECODE_BASELINE_HANDLER_IMPLEMENT() local
345 parameters.emplace_back(BaselineSpecialParameter::GLUE); in BYTECODE_BASELINE_HANDLER_IMPLEMENT()
346 parameters.emplace_back(BaselineSpecialParameter::ACC); in BYTECODE_BASELINE_HANDLER_IMPLEMENT()
347 parameters.emplace_back(static_cast<int32_t>(numVars)); in BYTECODE_BASELINE_HANDLER_IMPLEMENT()
348 parameters.emplace_back(BaselineSpecialParameter::SP); in BYTECODE_BASELINE_HANDLER_IMPLEMENT()
[all …]
|
| D | baseline_call_signature.cpp | 43 // 4 : 4 input parameters in DEF_CALL_SIGNATURE()
47 // 4 : 4 input parameters in DEF_CALL_SIGNATURE()
59 // 4 : 4 input parameters in DEF_CALL_SIGNATURE()
63 // 4 : 4 input parameters in DEF_CALL_SIGNATURE()
75 // 3 : 3 input parameters in DEF_CALL_SIGNATURE()
79 // 3 : 3 input parameters in DEF_CALL_SIGNATURE()
90 // 4 : 4 input parameters in DEF_CALL_SIGNATURE()
94 // 4 : 4 input parameters in DEF_CALL_SIGNATURE()
106 // 1 : 1 input parameters in DEF_CALL_SIGNATURE()
110 // 1 : 1 input parameters in DEF_CALL_SIGNATURE()
[all …]
|
| /arkcompiler/ets_runtime/ecmascript/compiler/ |
| D | call_signature.cpp | 40 /* 3 : 3 input parameters */ \
44 /* 3 : 3 input parameters */ \
151 // 3 : 3 input parameters in DEF_CALL_SIGNATURE()
154 // 3 : 3 input parameters in DEF_CALL_SIGNATURE()
168 /* 2 : 2 input parameters */ \
172 /* 2 : 2 input parameters */ \
212 // 2 input parameters in DEF_CALL_SIGNATURE()
215 // 2 input parameters in DEF_CALL_SIGNATURE()
226 // 6 : 6 input parameters in DEF_CALL_SIGNATURE()
229 // 6 : 6 input parameters in DEF_CALL_SIGNATURE()
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/02.override-compatible_signatures/ |
| D | override_compatible_signature.params.yaml | 79 # same type parameters number
91 # same type parameters number, same parameters in override
103 # same type parameters number, same parameters in prototype 1
115 # same type parameters number, same parameters in prototype 2
127 # same type parameters number, different parameters
140 # different type parameters number
153 # different type parameters number
|
| /arkcompiler/ets_runtime/test/perform/string/ |
| D | expect_output.txt | 17 string split number of input parameters is 2 : 70
18 string split number of input parameters is 1 : 35
22 string indexOf number of input parameters is 2 : 11
23 string slice number of input parameters is 1 : 17
24 string slice number of input parameters is 2 : 18
29 string substr the two parameters are adjacent numbers : 17
31 string substr number of input parameters is 2 : 17
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner/runner/enum_types/ |
| D | params.py | 40 # Path and parameters for es2panda binary
44 # Path and parameters for ark binary
48 # Path and parameters for ark_aot binary
52 # Path and parameters for ark_quick binary
60 # Path and parameters for verifier binary
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner/runner/plugins/ets/utils/ |
| D | test_parameters.py | 18 # This file provides functions thar are responsible for loading test parameters
35 Loads all parameters for a directory
42 …raise InvalidFileFormatException(message="Lists of parameters must start with 'list.'", filepath=f…
46 … raise InvalidFileFormatException(message="Parameters list must be YAML array", filepath=filepath)
53 Parses a single YAML list of parameters
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | types_n_values.md | 12 Types are formed by some `Sort`, an uniq identifier of the type family, and particular parameters.
14 `Sort` + `parameters` = `Type`.
19 It defines subtyping relation of types in parameters in subtyping relation of parameterized
26 - Types are denoted by sort literal and parameters in parenthesis. For instance: `Array(~i8())`.
27 - Type parameters are just types prepended by variance sign, `-` - contrvariant, `+` - variant, `~`…
51 ## How to read notation of type parameters and to determine subtyping relation?
55 … `T(+i16()) <: T(+i8())`? Let's see, according to `+` (covariance), relation of types of parameters
59 Let's check `T(+i8()) <: T(+i16())`. So we have `i8() <: i16()` for the first parameters which is i…
|
| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | types_n_values.md | 12 Types are formed by some `Sort`, an uniq identifier of the type family, and particular parameters.
14 `Sort` + `parameters` = `Type`.
19 It defines subtyping relation of types in parameters in subtyping relation of parameterized
26 - Types are denoted by sort literal and parameters in parenthesis. For instance: `Array(~i8())`.
27 - Type parameters are just types prepended by variance sign, `-` - contrvariant, `+` - variant, `~`…
51 ## How to read notation of type parameters and to determine subtyping relation?
55 … `T(+i16()) <: T(+i8())`? Let's see, according to `+` (covariance), relation of types of parameters
59 Let's check `T(+i8()) <: T(+i16())`. So we have `i8() <: i16()` for the first parameters which is i…
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | signature.cpp | 241 // skip check for ets cases only when all parameters are mandatory in Compatible()
255 …equivalent signature. Hence, we only need to check if the mandatory parameters of the signature wi… in Compatible()
256 … more mandatory parameters can match the parameters of the other signature (including the optional in Compatible()
257 parameter or rest parameters) here. in Compatible()
259 XXXToCheckParametersNumber is calculated beforehand by counting mandatory parameters. in Compatible()
260 … Signature::params() stores all parameters (mandatory and optional), excluding the rest parameter. in Compatible()
261 Signature::restVar() stores the rest parameters of the function. in Compatible()
268 …Note that optional parameters always come after mandatory parameters, and signatures containing bo… in Compatible()
269 optional and rest parameters are not allowed. in Compatible()
271 … "ToCheckParametersNumber" is the number of parameters that need to be checked to ensure identical. in Compatible()
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/docs/rules/ |
| D | recipe34.md | 7 ArkTS allows to omit generic type parameters if it is possible to infer
8 the concrete types from the parameters passed to the function. A compile-time
9 error occurs otherwise. In particular, inference of generic type parameters
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_func_tests/escompat/ |
| D | ArrayBufferTest2.sts | 22 failures += test(sliceArrayBufferInt(), "Slice ArrayBuffer with various int parameters");
23 …= test(sliceArrayBufferNumberNegativeEnd, "Slice ArrayBuffer with negative end number parameters");
24 …st(sliceArrayBufferNumberNegativeStart, "Slice ArrayBuffer with negative start number parameters");
27 failures += test(resizeArrayBufferInt, "Resize ArrayBuffer with various int parameters");
28 failures += test(isViewArrayBuffer, "isView ArrayBuffer with various parameters");
76 * Check slice() method of ArrayBuffer with different int parameters
89 * Check slice() method of ArrayBuffer with negative end number parameters
103 * Check slice() method of ArrayBuffer with negative start number parameters
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/01.overload-equivalent_signatures/ |
| D | overload_equivalent_example_1.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | overload_equivalent_example_0.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | overload_equivalent_example_4.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | overload_equivalent_example_5.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | overload_equivalent_example_8.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | overload_equivalent_example_6.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | overload_equivalent_example_2.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | overload_equivalent_example_3.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | overload_equivalent_example_7.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/03.overloading_for_functions/ |
| D | function_argument_equivalent_neg_n2.sts | 20 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
22 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | function_argument_equivalent_neg.sts | 20 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
22 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| D | function_argument_equivalent_n.sts | 18 Signatures S1 with n parameters, and S2 with m parameters are overload-equivalent if:
20 …• Parameter type at some position in S1 is a type parameter (see Type Parameters), and a parameter…
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/parser/ets/ |
| D | genericDefaultParam_2.sts | 18 /* @@? 16:30 Error SyntaxError: Required type parameters may not follow optional type parameters. …
|