| /arkcompiler/runtime_core/static_core/plugins/ets/tests/debugger/src/tests/ |
| D | test_object_preview.py | 46 … name="{i}".format(i=idx), type_="object", value="A", value_preview=None, subtype=None
54 subtype="array",
62 name="x", type_="object", value="i32[](5)", value_preview=None, subtype="array"
69 subtype=None,
84 subtype=None,
92 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/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/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.sts | 18 … the same time be a subtype of two interface types which are different parameterizations of the sa…
|
| D | implements_same_interface_with_diferent_parameters_2.sts | 18 assert: A compile-time error occurs if a class is at the same time a subtype of the instantiation o…
|
| D | implements_same_interface_with_diferent_parameters_1.sts | 18 assert: A compile-time error occurs if a class is at the same time a subtype of two interface types…
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/compiler/ets/ |
| D | n_assignGenericWithNullableTypeParamToNonNullable.sts | 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/toolchain/tooling/test/testcases/ |
| D | js_watch_other_type_test.h | 115 std::string subtype = ""; in RecvWatchSubtypeInfo() local
116 ret = watchResult->GetString("subtype", &subtype); in RecvWatchSubtypeInfo()
117 if (ret != Result::SUCCESS || subtype != var_type) { in RecvWatchSubtypeInfo()
|
| 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()
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/templates/ |
| D | ir-dyn-base-types.h.erb | 74 …* Checks that the exact type of `any` value that is subtype of `type` also can be subtype of `supe…
75 …* Returns `true` if the `type` is equal to or subtype of `superType` (i.e `type` is `STRING_TYPE` …
77 …* Returns `false` if there is no subtype relationship beetween `type` an `superType` (i.e `type` i…
79 …* Return `nullopt` if the `superType` is subtype of `type` (i.e `type` is `OBJECT` and `superType`…
|
| /arkcompiler/runtime_core/static_core/verification/ |
| D | messages.yaml | 155 ${reg} is of wrong type: '${reg_type}'. Expected a subtype of one from ${target_types}.
178 Wrong array element type '${type}'. Expected a subtype of '${expected_type}'.
230 Expected a subtype of '${field_obj_type}'.
242 … Wrong return value type (in accumulator): '${acc_type}'. Expected a subtype of '${expected_type}'.
248 …'return${suffix}' instruction. The type of method return value '${return_type}' is not a subtype of
277 …Accumulator type '${acc_type}' is always a subtype of '${type}'. Checkcast is redundant here. It m…
314 …Accumulator type '${acc_type}' is always a subtype of '${type}'. Result of 'isinstance' is always …
415 Wrong type of accumulator '${acc_type}'. Expected a subtype of '${expected_type}'.
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/debugger/src/arkdb/ |
| D | debug_types.py | 148 match obj.subtype:
166 case subtype:
167 raise RuntimeError(f"Unexpected subtype '{subtype}'")
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/03.variance/02.covariance/ |
| D | covariance_array.sts | 17 desc: covariance for the return type - Derived is a subtype of Base
|
| D | covariance_function.sts | 17 desc: covariance for the return type - Derived is a subtype of Base
|
| D | covariance_array_negative.sts | 17 desc: covariance for the return type - Derived is a subtype of Base
|
| D | covariance_class.sts | 17 desc: covariance for the return type - Derived is a subtype of Base
|
| D | covariance_class_negative.sts | 17 desc: covariance for the return type - Derived is a subtype of Base
|