| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/01.subtyping/03.subtyping_for_union_types/ |
| D | positive.params.yaml | 17 Union type U (U1 | ... | Un) is a subtype of union type V (V1 | ... | Vm) if
19 is a subtype of Vj (see Subtyping).
25 Union type U (U1 | ... | Un) is a subtype of union type V (V1 | ... | Vm) if
27 is a subtype of Vj (see Subtyping).
34 x = y // OK, Derived is subtype of Base
36 … Non-union type T is a subtype of union type U (U1 | ... | Un) if T is assignable to a type of Ui
42 Union type U (U1 | ... | Un) is a subtype of non-union type T if each Ui
43 is a subtype of T.
|
| D | negative.params.yaml | 17 Union type U (U1 | ... | Un) is a subtype of union type V (V1 | ... | Vm) if
19 is a subtype of Vj (see Subtyping).
25 Union type U (U1 | ... | Un) is a subtype of union type V (V1 | ... | Vm) if
27 is a subtype of Vj (see Subtyping).
36 … Non-union type T is a subtype of union type U (U1 | ... | Un) if T is assignable to a type of Ui
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/debugger/src/tests/ |
| D | test_object_preview.py | 50 subtype=None,
58 subtype="array",
66 name="x", type_="object", value="i32[](5)", value_preview=None, subtype="array"
73 subtype=None,
88 subtype=None,
96 subtype="array",
|
| /arkcompiler/runtime_core/static_core/tests/cts-generator/cts-template/ |
| D | isinstance.yaml | 31 …Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T shou…
32 …type in type hierarchy or T is such array that O array elements are the same or subtype of T array…
163 …Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T shou…
164 …type in type hierarchy or T is such array that O array elements are the same or subtype of T array…
199 # O is a subtype of T
202 # O is a subtype of T, std object
208 # O is a subtype of T, custom object
214 # O is a subtype of T, string
219 # O is a subtype of T, type
247 # O[] is a subtype of T[]
[all …]
|
| D | checkcast.yaml | 119 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
161 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
204 …Object of type O can be cast to type T if O is the same as T or is subtype of T. For arrays O can …
205 …s a root type in type hierarchy or T is such array that O array elements are the same or subtype of
241 …s a root type in type hierarchy or T is such array that O array elements are the same or subtype of
281 …s a root type in type hierarchy or T is such array that O array elements are the same or subtype of
318 …Object of type O can be cast to type T if O is the same as T or is subtype of T. For arrays O can …
319 …s a root type in type hierarchy or T is such array that O array elements are the same or subtype of
371 …Object of type O can be cast to type T if O is the same as T or is subtype of T. For arrays O can …
372 …s a root type in type hierarchy or T is such array that O array elements are the same or subtype of
|
| /arkcompiler/runtime_core/compiler/optimizer/ir/ |
| D | ir-dyn-base-types.h | 48 …* Checks that the exact type of `any` value that is subtype of `type` also can be subtype of `supe…
49 …* Returns `true` if the `type` is equal to or subtype of `super_type` (i.e `type` is `STRING_TYPE`…
51 …* Returns `false` if there is no subtype relationship beetween `type` an `super_type` (i.e `type` …
53 …* Return `nullopt` if the `super_type` is subtype of `type` (i.e `type` is `OBJECT` and `super_typ…
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | isinstance.yaml | 53 …Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T shou…
54 …type in type hierarchy or T is such array that O array elements are the same or subtype of T array…
330 …Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T shou…
331 …type in type hierarchy or T is such array that O array elements are the same or subtype of T array…
367 # O is a subtype of T
370 # O is a subtype of T, std object
376 # O is a subtype of T, custom object
382 # O is a subtype of T, string
387 # O is a subtype of T, type
415 # O[] is a subtype of T[]
[all …]
|
| D | checkcast.yaml | 245 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
289 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
346 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
390 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
448 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
488 …Object of type O can be cast to type T if O is the same as T or is subtype of T. For arrays O can …
489 …s a root type in type hierarchy or T is such array that O array elements are the same or subtype of
526 …Object of type O can be cast to type T if O is the same as T or is subtype of T. For arrays O can …
527 …s a root type in type hierarchy or T is such array that O array elements are the same or subtype of
571 …s a root type in type hierarchy or T is such array that O array elements are the same or subtype of
[all …]
|
| /arkcompiler/runtime_core/static_core/verification/models/typesystem/ |
| D | ark_typesystem.als | 55 | subtype[p1,p2,subtyping] iff
59 | subtype[ps1,ps2, subtyping] iff
89 pred subtype [p1:Param, p2:Param, subtyping: Type -> Type] {
107 pred subtype [sig1:Params, sig2:Params, subtyping: Type -> Type] {
114 | subtype[sig1[idx], sig2[idx], subtyping]
128 subtype[universe.params[t1], universe.params[t2], subtyping]
137 subtype[universe.params[t1], universe.params[t2], subtyping]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/01.subtyping/04.subtyping_for_function_types/ |
| D | negative.ets | 21 FR is a subtype of function type S with parameters SP1 , ... , SPn
25 - Parameter type of SPi is a subtype of parameter type of FPi (contravariance), and
28 …• FR can be any type if SR is type void. Otherwise, the resultant type FR is a subtype of SR (cova…
|
| D | positive.ets | 21 FR is a subtype of function type S with parameters SP1 , ... , SPn
25 - Parameter type of SPi is a subtype of parameter type of FPi (contravariance), and
28 …• FR can be any type if SR is type void. Otherwise, the resultant type FR is a subtype of SR (cova…
|
| D | negative.params.yaml | 24 let f: (p?: Base) => void = foo // Compile-time error: subtype parameter isn't optional
27 let f: (...p: Base[]) => void = foo // Compile-time error: subtype parameter isn't rest
|
| /arkcompiler/toolchain/tooling/static/types/ |
| D | remote_object_type.h | 64 …cit RemoteObjectType(const char *type, const char *subtype = nullptr) : type_(type), subtype_(subt… in type_()
76 builder.AddProperty("subtype", subtype_); in Serialize()
|
| /arkcompiler/runtime_core/static_core/runtime/tooling/inspector/types/ |
| D | remote_object_type.h | 64 …cit RemoteObjectType(const char *type, const char *subtype = nullptr) : type_(type), subtype_(subt… in type_()
76 builder.AddProperty("subtype", subtype_); in Serialize()
|
| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | type_system.md | 9 - Bot() - subtype of all types, subtyping relation is made implicitly upon type creation.
27 - `~` invariant, means that corresponding parameter in subtyping relation must be in subtype and su…
49 Subtyping relations (`subtype <: supertype`):
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | type_system.md | 9 - Bot() - subtype of all types, subtyping relation is made implicitly upon type creation.
27 - `~` invariant, means that corresponding parameter in subtyping relation must be in subtype and su…
49 Subtyping relations (`subtype <: supertype`):
|
| /arkcompiler/ets_frontend/ets2panda/test/runtime/ets/super_keyword_in_lambda/ |
| D | super_keyword_test1.sts | 20 class SubType extends SupperType{
32 let newVar = new SubType
|
| D | super_keyword_test2.sts | 20 class SubType extends SupperType{
34 let newVar = new SubType
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/09.classes/01.class_declaration/04.class_implementation_clause/ |
| D | implements_same_interface_with_diferent_parameters.ets | 18 … the same time be a subtype of two interface types which are different parameterizations of the sa…
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/compiler/ets/ |
| D | n_assignGenericWithNullableTypeParamToNonNullable.ets | 20 …l> = /* @@ label */new A<B>(); // should not work: non nullable B is the subtype of nullable B, bu…
21 …let ab : A<B> = abn; // should not work: nullable B (the type of abn) is not the subtype of non nu…
|
| /arkcompiler/runtime_core/compiler/optimizer/templates/ |
| D | ir-dyn-base-types.h.erb | 69 …* Checks that the exact type of `any` value that is subtype of `type` also can be subtype of `supe…
70 …* Returns `true` if the `type` is equal to or subtype of `super_type` (i.e `type` is `STRING_TYPE`…
72 …* Returns `false` if there is no subtype relationship beetween `type` an `super_type` (i.e `type` …
74 …* Return `nullopt` if the `super_type` is subtype of `type` (i.e `type` is `OBJECT` and `super_typ…
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/sdkwhite/ |
| D | sdk_type_query.ets | 51 let ps = asset.subtype // Error-subtype:PhotoSubtype不再可用-未识别
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/spec/ |
| D | 15_semantics.rst | 213 a :index:`compile-time error` because ``int`` is not a subtype of ``number``
247 *Subtype* relationship between types ``S`` and ``T``, where ``S`` is a
248 subtype of ``T`` (recorded as ``S<:T``), means that any object of type
251 Each type is its own subtype and supertype (``S<:S``).
266 subtype
368 Any ``string`` literal type (see :ref:`Literal Types`) is *subtype* of type
389 Literal type ``null`` (see :ref:`Literal Types`) is a subtype and a supertype to
390 itself. Similarly, literal type ``undefined`` is a subtype and a supertype to
395 subtype
417 1. Union type ``U`` (``U``:sub:`1` ``| ... | U``:sub:`n`) is a subtype of
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/public/headers_parser/ |
| D | parse_arguments.py | 59 offset, subtype = parse_arguments(data[start_of_brackets + 1 : end_of_brackets], 0, "types")
63 res["cast_from"] = subtype
65 res["template_args"] = subtype
|
| /arkcompiler/toolchain/tooling/dynamic/test/testcases/ |
| D | js_watch_basic_type_test.h | 177 std::string subtype = ""; in RecvWatchNullInfo() local
178 ret = watchResult->GetString("subtype", &subtype); in RecvWatchNullInfo()
179 if (ret != Result::SUCCESS || subtype != "null") { in RecvWatchNullInfo()
|