/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...] |