| /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.ets
3 spec/03.types/References_Types/Bigint/bigint-arithmetic-sub-2-union.ets
4 spec/03.types/References_Types/Bigint/bigint-arithmetic-mul-2-operands-zero-negative-number.ets
5 spec/03.types/References_Types/Bigint/bigint-arithmetic-div-2-operands-1.ets
6 spec/03.types/References_Types/Bigint/bigint-arithmetic-sub-2-BigInt.ets
7 spec/03.types/References_Types/Bigint/bigint-arithmetic-div-2-operands-zero-negative.ets
8 spec/03.types/References_Types/Bigint/bigint-arithmetic-div-equal-zero-negative-number.ets
9 spec/03.types/References_Types/Bigint/bigint-arithmetic-comparison.ets
10 spec/03.types/References_Types/Bigint/bigint-arithmetic-sub-2-BigInt-1.ets
11 spec/03.types/References_Types/Bigint/bigint-arithmetic-sub-equal.ets
[all …]
|
| D | ets-func-tests-excluded-TSAN.txt | 2 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-BigInt-1.ets
3 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-negative-number-2.ets
4 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-union.ets
5 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-zero-negative.ets
6 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands-zero.ets
7 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-2-operands.ets
8 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-3-operands.ets
9 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-4-operands.ets
10 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-equal-zero-negative-number.ets
11 spec/03.types/References_Types/Bigint/bigint-arithmetic-add-equal-zero.ets
[all …]
|
| D | ets-func-tests-excluded-DI.txt | 4 spec/03.types/References_Types/3.8.12.Nullish_Types/issue13991.ets
5 spec/03.types/References_Types/3.8.12.Nullish_Types/issue14113.ets
6 spec/03.types/References_Types/3.8.12.Nullish_Types/issue14539.ets
7 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-function-default-param_0.ets
8 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-function-default-param_1.ets
9 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-function-default-param_3.ets
10 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-function-default-param_4.ets
11 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-method-default-param_0.ets
12 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-method-default-param_1.ets
13 spec/03.types/References_Types/3.8.12.Nullish_Types/nullable-method-default-param_3.ets
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/napi/bridges/ |
| D | CMakeLists.txt | 31 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-01.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
32 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-02.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
33 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-03.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
34 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-04.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
35 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-05.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
36 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-06.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
37 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-07.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
38 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-08.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
39 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-09.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
40 …COMMAND "${ETS_NAPI_TEST_SCRIPT}" "types-boolean-10.pa" "${PANDA_BINARY_ROOT}" "${CMAKE_CURRENT_BI…
[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/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/ets_frontend/ets2panda/linter/test/main/ |
| D | utility_types.ets.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.ets.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.ets.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.ets.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 | limited_literal_type.ets.arkts2.json | 24 "rule": "Literal types are restricted(arkts-limited-literal-types)",
54 "rule": "Literal types are restricted(arkts-limited-literal-types)",
64 "rule": "Literal types are restricted(arkts-limited-literal-types)",
94 "rule": "Literal types are restricted(arkts-limited-literal-types)",
134 "rule": "Use inheritance instead of intersection types (arkts-no-intersection-types)",
144 "rule": "Literal types are restricted(arkts-limited-literal-types)",
184 "rule": "Literal types are restricted(arkts-limited-literal-types)",
204 "rule": "Literal types are restricted(arkts-limited-literal-types)",
244 "rule": "Literal types are restricted(arkts-limited-literal-types)",
274 "rule": "Use inheritance instead of intersection types (arkts-no-intersection-types)",
[all …]
|
| D | sendable_explicit_field_type.ets.migrate.json | 184 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
194 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
204 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
214 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
224 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
234 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
244 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
264 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
274 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
284 …in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-sendable-prop-types)",
[all …]
|
| D | unique_names.ets.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 …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/runtime/ |
| D | intrinsics_declaration.h | 19 #include "plugins/ets/runtime/types/ets_abc_file.h"
20 #include "plugins/ets/runtime/types/ets_array.h"
21 #include "plugins/ets/runtime/types/ets_atomic_flag.h"
22 #include "plugins/ets/runtime/types/ets_escompat_array.h"
23 #include "plugins/ets/runtime/types/ets_runtime_linker.h"
24 #include "plugins/ets/runtime/types/ets_arraybuffer.h"
25 #include "plugins/ets/runtime/types/ets_sync_primitives.h"
26 #include "plugins/ets/runtime/types/ets_typeapi_type.h"
27 #include "plugins/ets/runtime/types/ets_bigint.h"
28 #include "plugins/ets/runtime/types/ets_typed_arrays.h"
[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/ |
| D | BUILD.gn | 111 "checker/types/ets/byteType.cpp",
112 "checker/types/ets/charType.cpp",
113 "checker/types/ets/doubleType.cpp",
114 "checker/types/ets/etsAnyType.cpp",
115 "checker/types/ets/etsArrayType.cpp",
116 "checker/types/ets/etsAsyncFuncReturnType.cpp",
117 "checker/types/ets/etsBigIntType.cpp",
118 "checker/types/ets/etsBooleanType.cpp",
119 "checker/types/ets/etsDynamicType.cpp",
120 "checker/types/ets/etsEnumType.cpp",
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/public/ |
| D | CMakeLists.txt | 38 ${ES2PANDA_ROOT}/checker/types/ts/voidType.h
45 ${ES2PANDA_ROOT}/checker/types/ts/numberType.h
47 ${ES2PANDA_ROOT}/checker/types/ets/etsFunctionType.h
49 ${ES2PANDA_ROOT}/checker/types/ts/typeParameter.h
50 ${ES2PANDA_ROOT}/checker/types/ets/etsEnumType.h
53 ${ES2PANDA_ROOT}/checker/types/typeRelation.h
59 ${ES2PANDA_ROOT}/checker/types/ts/nonPrimitiveType.h
62 ${ES2PANDA_ROOT}/checker/types/ets/etsDynamicType.h
67 ${ES2PANDA_ROOT}/checker/types/ets/etsBooleanType.h
73 ${ES2PANDA_ROOT}/checker/types/typeFlag.h
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/parser/ets/ |
| D | class_late_initialization_with_invalid_type_02.ets | 28 …17:10 Error TypeError: Late-initialized field cannot be nullish types or possibly nullish types. */
29 …18:10 Error TypeError: Late-initialized field cannot be nullish types or possibly nullish types. */
30 …19:10 Error TypeError: Late-initialized field cannot be nullish types or possibly nullish types. */
31 …24:10 Error TypeError: Late-initialized field cannot be nullish types or possibly nullish types. */
32 …25:10 Error TypeError: Late-initialized field cannot be nullish types or possibly nullish types. */
|
| /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/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 The types integral to |LANG| are called *predefined types* (see
36 :ref:`Predefined Types`).
38 The types introduced, declared, and defined by a developer are called
39 *user-defined types*.
40 All *user-defined types* must always have complete type definitions
54 All |LANG| types are summarized in the table below:
58 Predefined Types User-Defined Types
60 ``number``, ``byte``, class types,
[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/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/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/ets_frontend/ets2panda/linter/test/interop/ |
| D | interop_import_js.ets.migrate.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": "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)",
[all …]
|