| /arkcompiler/runtime_core/static_core/plugins/ets/tests/test-lists/ets-func-tests/ |
| D | ets-func-tests-excluded-JIT-REPEATS.txt | 2 spec/03.types/References_Types/Bigint/bigint-arithmetic-module.sts
3 spec/03.types/References_Types/Bigint/bigint-arithmetic-sub-2-union.sts
4 spec/03.types/References_Types/Bigint/bigint-arithmetic-mul-2-operands-zero-negative-number.sts
5 spec/03.types/References_Types/Bigint/bigint-arithmetic-div-2-operands-1.sts
6 spec/03.types/References_Types/Bigint/bigint-arithmetic-sub-2-BigInt.sts
7 spec/03.types/References_Types/Bigint/bigint-arithmetic-div-2-operands-zero-negative.sts
8 spec/03.types/References_Types/Bigint/bigint-arithmetic-div-equal-zero-negative-number.sts
9 spec/03.types/References_Types/Bigint/bigint-arithmetic-comparison.sts
10 spec/03.types/References_Types/Bigint/bigint-arithmetic-sub-2-BigInt-1.sts
11 spec/03.types/References_Types/Bigint/bigint-arithmetic-sub-equal.sts
[all …]
|
| D | ets-func-tests-excluded-TSAN.txt | 2 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-BigInt-1.sts
3 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-negative-number-2.sts
4 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-union.sts
5 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-zero-negative.sts
6 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-zero.sts
7 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands.sts
8 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-3-operands.sts
9 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-4-operands.sts
10 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-equal-zero-negative-number.sts
11 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-equal-zero.sts
[all …]
|
| D | ets-func-tests-excluded-DI.txt | 4 spec/03.types/References_Types/3.8.12.Nullish_Types/issue13991.sts
5 spec/03.types/References_Types/3.8.12.Nullish_Types/issue14113.sts
6 spec/03.types/References_Types/3.8.12.Nullish_Types/issue14539.sts
7 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-function-default-param_0.sts
8 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-function-default-param_1.sts
9 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-function-default-param_3.sts
10 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-function-default-param_4.sts
11 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-method-default-param_0.sts
12 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-method-default-param_1.sts
13 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-method-default-param_3.sts
[all …]
|
| D | ets-func-tests-ignored-AMD64-CPP-OL2-FULLASTV.txt | 178 spec/03.types/nullables/issue15013_01.sts
179 spec/03.types/nullables/issue15013_02.sts
180 spec/03.types/nullables/issue15013_03.sts
181 spec/03.types/References_Types/3.8.12.Nullish_Types/defined-primitive-type-nullable-union_0.sts
182 spec/03.types/References_Types/3.8.12.Nullish_Types/defined-primitive-type-nullable-union_1.sts
183 spec/03.types/References_Types/3.8.12.Nullish_Types/defined-primitive-type-nullable-union_2.sts
184 spec/03.types/References_Types/3.8.12.Nullish_Types/defined-type-nullable-union_0.sts
185 spec/03.types/References_Types/3.8.12.Nullish_Types/defined-type-nullable-union_1.sts
186 spec/03.types/References_Types/3.8.12.Nullish_Types/defined-type-nullable-union_2.sts
187 spec/03.types/References_Types/3.8.12.Nullish_Types/defined-type-nullable-union_3.sts
[all …]
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | types_n_values.md | 1 # Types chapter
3 Types are divided into next kinds:
5 1. Semantic (abstract) types. They used only for values classification without taking into consider…
7 2. Storage types
8 3. Physycal (concrete) types. They are parameterized types by abstract and storage types.
12 Types are formed by some `Sort`, an uniq identifier of the type family, and particular parameters.
19 It defines subtyping relation of types in parameters in subtyping relation of parameterized
20 types.
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, `~`…
[all …]
|
| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | types_n_values.md | 1 # Types chapter
3 Types are divided into next kinds:
5 1. Semantic (abstract) types. They used only for values classification without taking into consider…
7 2. Storage types
8 3. Physycal (concrete) types. They are parameterized types by abstract and storage types.
12 Types are formed by some `Sort`, an uniq identifier of the type family, and particular parameters.
19 It defines subtyping relation of types in parameters in subtyping relation of parameterized
20 types.
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, `~`…
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/main/ |
| D | utility_types.ts.json | 24 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
34 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
44 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
54 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
74 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
94 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
114 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
124 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
134 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
144 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
[all …]
|
| D | optional_library_types.ts.json | 24 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
34 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
44 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
54 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
64 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
74 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
84 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
94 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
104 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
114 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
[all …]
|
| D | mapped_types.ts.json | 24 "rule": "Mapped type expression is not supported (arkts-no-mapped-types)",
34 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)",
44 "rule": "Mapped type expression is not supported (arkts-no-mapped-types)",
54 "rule": "Indexed access types are not supported (arkts-no-aliases-by-index)",
64 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)",
74 "rule": "Mapped type expression is not supported (arkts-no-mapped-types)",
84 "rule": "Indexed access types are not supported (arkts-no-aliases-by-index)",
94 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)",
104 "rule": "Mapped type expression is not supported (arkts-no-mapped-types)",
114 "rule": "Some of utility types are not supported (arkts-no-utility-types)",
[all …]
|
| D | conditional_types.ts.json | 34 "rule": "Conditional types are not supported (arkts-no-conditional-types)",
44 "rule": "Conditional types are not supported (arkts-no-conditional-types)",
54 "rule": "Conditional types are not supported (arkts-no-conditional-types)",
64 … "rule": "\"throw\" statements cannot accept values of arbitrary types (arkts-limited-throw)",
74 "rule": "Conditional types are not supported (arkts-no-conditional-types)",
84 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)",
94 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
104 "rule": "Indexed access types are not supported (arkts-no-aliases-by-index)",
124 "rule": "Conditional types are not supported (arkts-no-conditional-types)",
134 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
[all …]
|
| D | unique_names.ts.json | 24 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
34 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
44 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
54 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
64 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
84 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
104 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
114 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
134 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
154 "rule": "Use unique names for types and namespaces. (arkts-unique-names)",
[all …]
|
| D | func_return_type.ts.json | 24 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
34 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
44 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
54 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
64 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
74 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
84 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
94 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
164 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
174 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)",
[all …]
|
| D | inferred_type.ts.json | 34 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
44 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
54 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
64 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
74 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
84 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
94 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
104 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
114 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
124 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/ |
| D | BUILD.gn | 102 "checker/types/ets/byteType.cpp",
103 "checker/types/ets/charType.cpp",
104 "checker/types/ets/doubleType.cpp",
105 "checker/types/ets/etsArrayType.cpp",
106 "checker/types/ets/etsAsyncFuncReturnType.cpp",
107 "checker/types/ets/etsBigIntType.cpp",
108 "checker/types/ets/etsBooleanType.cpp",
109 "checker/types/ets/etsDynamicType.cpp",
110 "checker/types/ets/etsEnumType.cpp",
111 "checker/types/ets/etsExtensionFuncHelperType.cpp",
[all …]
|
| D | CMakeLists.txt | 486 checker/types/signature.cpp
487 checker/types/type.cpp
488 checker/types/typeRelation.cpp
489 checker/types/globalTypesHolder.cpp
490 checker/types/ets/byteType.cpp
491 checker/types/ets/charType.cpp
492 checker/types/ets/doubleType.cpp
493 checker/types/ets/floatType.cpp
494 checker/types/ets/intType.cpp
495 checker/types/ets/longType.cpp
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/napi/bridges/ |
| D | CMakeLists.txt | 39 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-01.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
40 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-02.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
41 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-03.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
42 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-04.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
43 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-05.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
44 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-06.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
45 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-07.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
46 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-08.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
47 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-09.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
48 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-10.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
[all …]
|
| /arkcompiler/ets_frontend/testTs/instype/ |
| D | recordthis-expected.txt | 1 Handle types for function: #1#A
3 Handle types for function: getName
5 Handle types for function: getId
7 Handle types for function: setName
9 Handle types for function: setId
11 Handle types for function: dump
13 Handle types for function: stest
15 Handle types for function: test
17 Handle types for function: testwiththis
19 Handle types for function: add
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/public/ |
| D | CMakeLists.txt | 35 ${ES2PANDA_ROOT}/checker/types/ts/voidType.h
42 ${ES2PANDA_ROOT}/checker/types/ts/numberType.h
44 ${ES2PANDA_ROOT}/checker/types/ets/etsFunctionType.h
46 ${ES2PANDA_ROOT}/checker/types/ts/typeParameter.h
47 ${ES2PANDA_ROOT}/checker/types/ets/etsEnumType.h
50 ${ES2PANDA_ROOT}/checker/types/typeRelation.h
56 ${ES2PANDA_ROOT}/checker/types/ts/nonPrimitiveType.h
59 ${ES2PANDA_ROOT}/checker/types/ets/etsDynamicType.h
64 ${ES2PANDA_ROOT}/checker/types/ets/etsBooleanType.h
70 ${ES2PANDA_ROOT}/checker/types/typeFlag.h
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/spec/ |
| D | 3_types.rst | 15 Types title
24 with all aspects of using types in programs written in the language.
35 There are two categories of types:
37 #. :ref:`Value Types`, and
39 #. :ref:`Reference Types`.
41 The types integral to |LANG| are called *predefined types* (see
42 :ref:`Predefined Types`).
44 The types introduced, declared, and defined by a developer are called
45 *user-defined types*.
46 All *user-defined types* must always have complete type definitions
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/templates/ |
| D | instructions.rb | 21 module Types module
61 attr_accessor :tokens, :types accessor in Operand
64 …l` type into the `int`, because IR uses same constant instructions for bool and integer types, i.e.
73 Tokens::Types::INT8 => "DataType::INT8",
74 Tokens::Types::INT16 => "DataType::INT16",
75 Tokens::Types::INT32 => "DataType::INT32",
76 Tokens::Types::INT64 => "DataType::INT64",
77 Tokens::Types::UINT8 => "DataType::UINT8",
78 Tokens::Types::UINT16 => "DataType::UINT16",
79 Tokens::Types::UINT32 => "DataType::UINT32",
[all …]
|
| /arkcompiler/runtime_core/compiler/optimizer/templates/ |
| D | instructions.rb | 21 module Types module
61 attr_accessor :tokens, :types accessor in Operand
64 …l` type into the `int`, because IR uses same constant instructions for bool and integer types, i.e.
73 Tokens::Types::INT8 => "DataType::INT8",
74 Tokens::Types::INT16 => "DataType::INT16",
75 Tokens::Types::INT32 => "DataType::INT32",
76 Tokens::Types::INT64 => "DataType::INT64",
77 Tokens::Types::UINT8 => "DataType::UINT8",
78 Tokens::Types::UINT16 => "DataType::UINT16",
79 Tokens::Types::UINT32 => "DataType::UINT32",
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/ts_import_ets/ts/ |
| D | test5.ts.json | 24 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
34 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
44 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
54 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
64 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
74 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
84 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
94 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
104 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
114 …ents of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)",
[all …]
|
| /arkcompiler/ets_frontend/es2panda/ |
| D | CMakeLists.txt | 258 typescript/types/anyType.cpp
259 typescript/types/arrayType.cpp
260 typescript/types/bigintLiteralType.cpp
261 typescript/types/bigintType.cpp
262 typescript/types/booleanLiteralType.cpp
263 typescript/types/booleanType.cpp
264 typescript/types/constructorType.cpp
265 typescript/types/enumLiteralType.cpp
266 typescript/types/enumType.cpp
267 typescript/types/functionType.cpp
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/interop_js/tests/promise/ |
| D | package-lock.json | 8 "@types/node": "20.14.9"
11 "node_modules/@types/node": {
13 "resolved": "https://registry.npmjs.org/@types/node/-/node-20.14.9.tgz",
17 "undici-types": "~5.26.4"
20 "node_modules/undici-types": {
22 "resolved": "https://registry.npmjs.org/undici-types/-/undici-types-5.26.5.tgz",
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/06.contexts_and_conversions/04.casting_contexts_and_conversions/04.casting_conversions_from_union/ |
| D | impl.params.yaml | 24 types:
35 types:
45 types:
57 types:
73 types:
90 types:
102 types:
105 # predefined types
107 types:
114 types:
[all …]
|