| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| H A D | floatType.cpp | 18 #include "checker/ets/conversion.h"
56 conversion::Identity(relation, this, target); in Cast()
61 conversion::NarrowingPrimitive(relation, this, target); in Cast()
66 conversion::WideningPrimitive(relation, this, target); in Cast()
72 conversion::Boxing(relation, this); in Cast()
79 conversion::Forbidden(relation); in Cast()
84 conversion::Boxing(relation, unboxedTarget); in Cast()
87 conversion::Forbidden(relation); in Cast()
91 conversion::BoxingWideningReference(relation, this, target->AsETSObjectType()); in Cast()
95 conversion in Cast()
[all...] |
| H A D | byteType.cpp | 18 #include "checker/ets/conversion.h"
56 conversion::Identity(relation, this, target); in Cast()
61 conversion::WideningPrimitive(relation, this, target); in Cast()
66 conversion::WideningNarrowingPrimitive(relation, this, target->AsCharType()); in Cast()
72 conversion::Boxing(relation, this); in Cast()
79 conversion::Forbidden(relation); in Cast()
84 conversion::Boxing(relation, unboxedTarget); in Cast()
87 conversion::Forbidden(relation); in Cast()
91 conversion::BoxingWideningReference(relation, this, target->AsETSObjectType()); in Cast()
95 conversion in Cast()
[all...] |
| H A D | charType.cpp | 18 #include "checker/ets/conversion.h"
41 conversion::Boxing(relation, this); in AssignmentSource()
61 conversion::Identity(relation, this, target); in Cast()
66 conversion::NarrowingPrimitive(relation, this, target); in Cast()
71 conversion::WideningPrimitive(relation, this, target); in Cast()
76 conversion::String(relation, this); in Cast()
82 conversion::Boxing(relation, this); in Cast()
89 conversion::Forbidden(relation); in Cast()
94 conversion::Boxing(relation, unboxedTarget); in Cast()
97 conversion in Cast()
[all...] |
| H A D | doubleType.cpp | 18 #include "checker/ets/conversion.h"
55 conversion::Identity(relation, this, target); in Cast()
61 conversion::NarrowingPrimitive(relation, this, target); in Cast()
67 conversion::Boxing(relation, this); in Cast()
74 conversion::Forbidden(relation); in Cast()
79 conversion::Boxing(relation, unboxedTarget); in Cast()
82 conversion::Forbidden(relation); in Cast()
86 conversion::BoxingWideningReference(relation, this, target->AsETSObjectType()); in Cast()
90 conversion::Forbidden(relation); in Cast()
|
| H A D | shortType.cpp | 18 #include "checker/ets/conversion.h"
56 conversion::Identity(relation, this, target); in Cast()
61 conversion::NarrowingPrimitive(relation, this, target); in Cast()
66 conversion::WideningPrimitive(relation, this, target); in Cast()
72 conversion::Boxing(relation, this); in Cast()
79 conversion::Forbidden(relation); in Cast()
84 conversion::Boxing(relation, unboxedTarget); in Cast()
87 conversion::Forbidden(relation); in Cast()
91 conversion::BoxingWideningReference(relation, this, target->AsETSObjectType()); in Cast()
95 conversion in Cast()
[all...] |
| H A D | longType.cpp | 18 #include "checker/ets/conversion.h"
56 conversion::Identity(relation, this, target); in Cast()
61 conversion::NarrowingPrimitive(relation, this, target); in Cast()
66 conversion::WideningPrimitive(relation, this, target); in Cast()
72 conversion::Boxing(relation, this); in Cast()
79 conversion::Forbidden(relation); in Cast()
84 conversion::Boxing(relation, unboxedTarget); in Cast()
87 conversion::Forbidden(relation); in Cast()
91 conversion::BoxingWideningReference(relation, this, target->AsETSObjectType()); in Cast()
95 conversion in Cast()
[all...] |
| H A D | intType.cpp | 18 #include "checker/ets/conversion.h"
56 conversion::Identity(relation, this, target); in Cast()
66 conversion::NarrowingPrimitive(relation, this, target); in Cast()
71 conversion::WideningPrimitive(relation, this, target); in Cast()
77 conversion::Boxing(relation, this); in Cast()
84 conversion::Forbidden(relation); in Cast()
89 conversion::Boxing(relation, unboxedTarget); in Cast()
92 conversion::Forbidden(relation); in Cast()
96 conversion::BoxingWideningReference(relation, this, target->AsETSObjectType()); in Cast()
100 conversion in Cast()
[all...] |
| H A D | etsBooleanType.cpp | 19 #include "checker/ets/conversion.h"
48 conversion::Identity(relation, this, target); in Cast()
54 conversion::Boxing(relation, this); in Cast()
59 conversion::Forbidden(relation); in Cast()
63 conversion::BoxingWideningReference(relation, this, target->AsETSObjectType()); in Cast()
67 conversion::Forbidden(relation); in Cast()
|
| H A D | etsArrayType.cpp | 20 #include "checker/ets/conversion.h"
95 conversion::Identity(relation, this, target->AsETSArrayType()); in Cast()
100 conversion::WideningReference(relation, this, target->AsETSArrayType()); in Cast()
105 conversion::NarrowingReference(relation, this, target->AsETSArrayType()); in Cast()
116 conversion::Forbidden(relation); in Cast()
121 conversion::WideningReference(relation, this, target->AsETSObjectType()); in Cast()
126 conversion::Forbidden(relation); in Cast()
130 conversion::Forbidden(relation); in Cast()
|
| H A D | etsObjectType.cpp | 19 #include "checker/ets/conversion.h"
454 conversion::Unboxing(relation, this); in CastWideningNarrowing()
458 conversion::UnboxingWideningPrimitive(relation, this, target); in CastWideningNarrowing()
462 conversion::UnboxingNarrowingPrimitive(relation, this, target); in CastWideningNarrowing()
471 conversion::Unboxing(relation, this); in TryCastByte()
475 conversion::UnboxingWideningPrimitive(relation, this, target); in TryCastByte()
479 conversion::UnboxingWideningNarrowingPrimitive(relation, this, target); in TryCastByte()
535 conversion::WideningReference(relation, this, target->AsETSObjectType()); in TryCastUnboxable()
541 conversion::Boxing(relation, unboxedTarget); in TryCastUnboxable()
544 conversion in TryCastUnboxable()
[all...] |
| H A D | etsDynamicType.cpp | 18 #include "checker/ets/conversion.h"
83 conversion::Forbidden(relation); in Cast()
98 conversion::Forbidden(relation); in CastTarget()
|
| H A D | etsTupleType.cpp | 19 #include "checker/ets/conversion.h"
120 // make boxing/unboxing/widening for types. Only conversion allowed is reference widening, which won't generate in AssignmentTarget()
121 // bytecode for the conversion, same as for arrays. in AssignmentTarget()
159 conversion::Forbidden(relation); in Cast()
167 conversion::Forbidden(relation); in Cast()
|
| H A D | etsEnumType.cpp | 19 #include "checker/ets/conversion.h"
84 conversion::Identity(relation, this, target); in Cast()
110 conversion::Forbidden(relation); in Cast()
|
| H A D | etsFunctionType.cpp | 19 #include "checker/ets/conversion.h"
239 conversion::Forbidden(relation); in Cast()
|
| H A D | etsUnionType.cpp | 19 #include "checker/ets/conversion.h"
119 conversion::Forbidden(relation);
606 // Prioritize object to object conversion
648 // Prioritize object to object conversion
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | conversion.h | 22 namespace ark::es2panda::checker::conversion { namespace in ark::es2panda::checker
48 } // namespace ark::es2panda::checker::conversion
|
| H A D | conversion.cpp | 16 #include "conversion.h"
24 namespace ark::es2panda::checker::conversion { namespace in ark::es2panda::checker
123 // A narrowing reference conversion exists from reference type S to a reference type T if all of the following are in IsAllowedNarrowingReferenceConversion()
154 // array of components of type TC; and a narrowing reference conversion exists from SC to TC. in IsAllowedNarrowingReferenceConversion()
167 // 9. S is a type variable, and a narrowing reference conversion exists from the upper bound of S to T. in IsAllowedNarrowingReferenceConversion()
170 // 10. T is a type variable, and either a widening reference conversion or a narrowing reference conversion exists in IsAllowedNarrowingReferenceConversion()
175 // conversion or a in IsAllowedNarrowingReferenceConversion()
176 // narrowing reference conversion exists from Si to T. in IsAllowedNarrowingReferenceConversion()
180 // conversion o in IsAllowedNarrowingReferenceConversion()
[all...] |