Home
last modified time | relevance | path

Searched full:types (Results 1 – 25 of 2127) sorted by relevance

12345678910>>...86

/arkcompiler/runtime_core/static_core/tests/tests-u-runner/test-lists/ets-func-tests/
Dets-func-tests-excluded-JIT-REPEATS.txt2 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 …]
Dets-func-tests-excluded-TSAN.txt2 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 …]
Dets-func-tests-ignored.txt87 ### literal types not supported yet
88 spec/03.types/References_Types/unions/union_literal_02.sts
89 spec/03.types/References_Types/unions/union_assignment_12_01.sts
90 spec/03.types/References_Types/unions/union_assignment_12_02.sts
91 spec/03.types/References_Types/unions/union_assignment_12_03.sts
93 spec/03.types/References_Types/unions/union_generics_03.sts
95 spec/03.types/References_Types/unions/union_generics_02.sts
97 spec/03.types/References_Types/unions/union_cast_n_01.sts
98 spec/03.types/References_Types/unions/union_cast_n_02.sts
99 spec/03.types/References_Types/unions/union_cast_n_03.sts
[all …]
/arkcompiler/ets_frontend/ets2panda/linter/test/
Dutility_types.ts.json22 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
29 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
36 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
43 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
57 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
71 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
85 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
92 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
99 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
106 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
[all …]
Dunique_names.ts.json22 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
29 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
36 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
43 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
50 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
64 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
78 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
85 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
99 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
113 "rule": "Use unique names for types and namespaces. (arkts-unique-names)"
[all …]
Dmapped_types.ts.json22 "rule": "Mapped type expression is not supported (arkts-no-mapped-types)"
29 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
36 "rule": "Mapped type expression is not supported (arkts-no-mapped-types)"
43 "rule": "Indexed access types are not supported (arkts-no-aliases-by-index)"
50 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
57 "rule": "Mapped type expression is not supported (arkts-no-mapped-types)"
64 "rule": "Indexed access types are not supported (arkts-no-aliases-by-index)"
71 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
78 "rule": "Mapped type expression is not supported (arkts-no-mapped-types)"
85 "rule": "Some of utility types are not supported (arkts-no-utility-types)"
[all …]
Dfunc_return_type.ts.json22 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
29 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
36 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
43 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
50 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
57 "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)"
71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
120 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
127 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
[all …]
Dtype_literals.ts.json22 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
29 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
36 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
43 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
50 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
57 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
64 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
71 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
78 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
85 … "rule": "Object literals cannot be used as type declarations (arkts-no-obj-literals-as-types)"
[all …]
Dinferred_type.ts.json29 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
36 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
43 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
50 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
57 "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)"
71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
78 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
85 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
92 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
[all …]
Darkui_decorators.ts.json22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
29 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
36 "rule": "Use inheritance instead of intersection types (arkts-no-intersection-types)"
43 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
50 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
57 "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)"
71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
78 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
85 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
[all …]
Dsendable_generic_types.ts.json21 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
28 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
35 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
42 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
70 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
77 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
84 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
91 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
98 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
105 …ments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-sendable-generic-types)"
[all …]
Dfunc_return_type.ts.autofix.json29 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
43 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
57 "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)"
71 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
78 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
85 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
92 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
176 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
190 "rule": "Function return type inference is limited (arkts-no-implicit-return-types)"
[all …]
/arkcompiler/runtime_core/static_core/plugins/ets/tests/napi/bridges/
DCMakeLists.txt31 …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/docs/bc_verification/
Dtypes_n_values.md1 # 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/
Dtypes_n_values.md1 # 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/testTs/instype/
Drecordthis-expected.txt1 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/runtime_core/compiler/optimizer/templates/
Dinstructions.rb21 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/compiler/optimizer/templates/
Dinstructions.rb21 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/
D3_types.rst15 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/ets_frontend/es2panda/
DCMakeLists.txt257 typescript/types/anyType.cpp
258 typescript/types/arrayType.cpp
259 typescript/types/bigintLiteralType.cpp
260 typescript/types/bigintType.cpp
261 typescript/types/booleanLiteralType.cpp
262 typescript/types/booleanType.cpp
263 typescript/types/constructorType.cpp
264 typescript/types/enumLiteralType.cpp
265 typescript/types/enumType.cpp
266 typescript/types/functionType.cpp
[all …]
/arkcompiler/ets_frontend/ets2panda/
DCMakeLists.txt462 checker/types/signature.cpp
463 checker/types/type.cpp
464 checker/types/typeRelation.cpp
465 checker/types/globalTypesHolder.cpp
466 checker/types/ets/byteType.cpp
467 checker/types/ets/charType.cpp
468 checker/types/ets/doubleType.cpp
469 checker/types/ets/floatType.cpp
470 checker/types/ets/intType.cpp
471 checker/types/ets/longType.cpp
[all …]
DBUILD.gn93 "checker/types/ets/byteType.cpp",
94 "checker/types/ets/charType.cpp",
95 "checker/types/ets/doubleType.cpp",
96 "checker/types/ets/etsArrayType.cpp",
97 "checker/types/ets/etsAsyncFuncReturnType.cpp",
98 "checker/types/ets/etsBigIntType.cpp",
99 "checker/types/ets/etsBooleanType.cpp",
100 "checker/types/ets/etsDynamicType.cpp",
101 "checker/types/ets/etsEnumType.cpp",
102 "checker/types/ets/etsExtensionFuncHelperType.cpp",
[all …]
/arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/06.contexts_and_conversions/04.casting_contexts_and_conversions/03.casting_conversions_from_union/
Dimpl.params.yaml24 types:
35 types:
45 types:
57 types:
73 types:
90 types:
102 types:
105 # predefined types
107 types:
114 types:
[all …]
/arkcompiler/ets_frontend/ets2panda/linter/test_rules/
Drule8_3.ts.json22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
29 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
36 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
43 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
50 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
57 "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)"
71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
78 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
Drule8_6.ts.json22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
29 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
36 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
43 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
50 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
57 "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)"
71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
78 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"

12345678910>>...86