| /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 …]
|
| D | call.acc.short.yaml | 1606 # ... or is subtype of T
1696 # ... or is subtype of T
|
| D | call.acc.yaml | 1604 # ... or is subtype of T
1678 # ... or is subtype of T
|
| D | call.virt.acc.short.yaml | 1695 # ... or is subtype of T
1798 # ... or is subtype of T
|
| D | call.virt.acc.yaml | 1725 # ... or is subtype of T
1792 # ... or is subtype of T
|
| D | initobj.short.yaml | 1449 # ... or is subtype of T
1557 # ... or is subtype of T
|
| D | initobj.yaml | 1516 # ... or is subtype of T
1624 # ... or is subtype of T
|
| D | initobj.range.yaml | 1671 # ... or is subtype of T
1781 # ... or is subtype of T
|
| /arkcompiler/runtime_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]
|
| D | ark_subtyping_closure.als | 98 subtype[t1.params, t2.params, subtyping]
|
| /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`):
|
| D | types_n_values.md | 35 If two types, say `A()` and `B()` related as `A() <: B()`, i.e. `A()` is the subtype of `B()`, then…
73 - `Bot` - is a subtype of all types
|
| /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/runtime_core/verification/ |
| D | messages.yaml | 156 …${reg} is of wrong type: '${reg_type}'. Expected a subtype of one from ${target_types}. Compatible…
180 …Wrong array element type '${type}'. Expected a subtype of '${expected_type}'. Compatible subtypes …
233 Expected a subtype of '${field_obj_type}'.
246 … Wrong return value type (in accumulator): '${acc_type}'. Expected a subtype of '${expected_type}'.
253 …'return${suffix}' instruction. The type of method return value '${return_type}' is not a subtype of
282 …Accumulator type '${acc_type}' is always a subtype of '${type}'. Checkcast is redundant here. It m…
321 …Accumulator type '${acc_type}' is always a subtype of '${type}'. Result of 'isinstance' is always …
417 …Wrong type of accumulator '${acc_type}'. Expected a subtype of '${expected_type}'. Compatible subt…
|
| /arkcompiler/toolchain/tooling/test/ |
| D | debugger_types_test.cpp | 110 // abnormal params of params.sub-key = [ type = "object", subtype = "unknown"] in HWTEST_F_L0()
112 R"(","subtype":"unknown"}})"; in HWTEST_F_L0()
116 // abnormal params of params.sub-key = [ type = "object", subtype = 100] in HWTEST_F_L0()
118 R"(","subtype":100}})"; in HWTEST_F_L0()
122 // normal params of params.sub-key = [ type = "object", subtype = "array"] in HWTEST_F_L0()
124 R"(","subtype":")" + ObjectSubType::Array + R"("}})"; in HWTEST_F_L0()
245 R"(", "subtype":")" + ObjectSubType::Array + in HWTEST_F_L0()
255 ret = objJson->GetString("subtype", &tmpStr); in HWTEST_F_L0()
429 ObjectType::Object + R"(","subtype":")" + ObjectSubType::Error + R"("}}})"; in HWTEST_F_L0()
480 …ObjectType::Object + R"(","subtype":")" + ObjectSubType::Error + R"("},"executionContextId":30}})"; in HWTEST_F_L0()
[all …]
|
| /arkcompiler/ets_frontend/ts2panda/src/ |
| D | typeChecker.ts | 243 let subType = (<ts.ParenthesizedTypeNode>typeNode).type
244 if (subType.kind == ts.SyntaxKind.UnionType) {
245 let unionType = new UnionType(subType);
|
| /arkcompiler/ets_frontend/es2panda/typescript/core/ |
| D | binaryLikeExpression.cpp | 159 // TODO(aszilagyi): subtype reduction in the result union in CheckOrOperator()
182 // TODO(aszilagyi): Check if right type is subtype of globalFunctionType in CheckInstanceofExpression()
|
| /arkcompiler/runtime_core/runtime/include/ |
| D | object_header.h | 284 …* Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T sh…
285 …* type in type hierarchy or T is such array that O array elements are the same or subtype of T arr…
|
| D | class.h | 423 …* Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T sh…
424 …* type in type hierarchy or T is such array that O array elements are the same or subtype of T arr…
|
| /arkcompiler/ets_runtime/ecmascript/ic/ |
| D | ic_binary_op.h | 104 BinaryType subType = static_cast<BinaryType>(argType.GetInt()); in SubWithTSType() local
105 switch (subType) { in SubWithTSType()
|
| /arkcompiler/runtime_core/verification/models/contexts_merge/ |
| D | check_set_intersection_as_lub.als | 27 -- which is a subtype of register type
|
| /arkcompiler/toolchain/tooling/base/ |
| D | pt_types.cpp | 264 const std::string &classname, const std::string &subtype) in ObjectRemoteObject() argument
268 .SetSubType(subtype) in ObjectRemoteObject()
690 std::string subType; in Create() local
691 ret = params.GetString("subtype", &subType); in Create()
693 if (ObjectSubType::Valid(subType)) { in Create()
694 remoteObject->subType_ = std::move(subType); in Create()
696 error += "'subtype' is invalid;"; in Create()
699 error += "Unknown 'subtype';"; in Create()
748 result->Add("subtype", subType_->c_str()); in ToJson()
|
| D | pt_types.h | 389 const std::string &subtype);
|
| /arkcompiler/runtime_core/verification/absint/ |
| D | abs_int_inl.h | 3204 // real type in ACC during execution may be a subtype of ACC type during absint in HandleCheckcast()
3292 // real type in ACC during execution may be a subtype of ACC type during absint in HandleIsinstance()
4061 2. accumulator may be subtype of array element type (under question) in CheckArrayStore()
|