Lines Matching full:source
24 void Identity(TypeRelation *const relation, Type *const source, Type *const target) in Identity() argument
26 relation->IsIdenticalTo(source, target); in Identity()
29 void WideningPrimitive(TypeRelation *const relation, Type *const source, Type *const target) in WideningPrimitive() argument
31 …ASSERT(source->HasTypeFlag(TypeFlag::ETS_PRIMITIVE) && target->HasTypeFlag(TypeFlag::ETS_PRIMITIVE… in WideningPrimitive()
33 WideningConverter(relation->GetChecker()->AsETSChecker(), relation, target, source); in WideningPrimitive()
36 void NarrowingPrimitive(TypeRelation *const relation, Type *const source, Type *const target) in NarrowingPrimitive() argument
38 …ASSERT(source->HasTypeFlag(TypeFlag::ETS_PRIMITIVE) && target->HasTypeFlag(TypeFlag::ETS_PRIMITIVE… in NarrowingPrimitive()
40 NarrowingConverter(relation->GetChecker()->AsETSChecker(), relation, target, source); in NarrowingPrimitive()
43 void WideningNarrowingPrimitive(TypeRelation *const relation, ByteType *const source, CharType *con… in WideningNarrowingPrimitive() argument
46 WideningPrimitive(relation, source, tempInt); in WideningNarrowingPrimitive()
53 void WideningReference(TypeRelation *const relation, ETSObjectType *const source, ETSObjectType *co… in WideningReference() argument
55 relation->IsSupertypeOf(target, source); in WideningReference()
58 void WideningReference(TypeRelation *const relation, ETSArrayType *const source, ETSObjectType *con… in WideningReference() argument
60 relation->IsSupertypeOf(target, source); in WideningReference()
63 void WideningReference(TypeRelation *const relation, ETSArrayType *const source, ETSArrayType *cons… in WideningReference() argument
65 relation->IsSupertypeOf(target, source); in WideningReference()
70 …NarrowingReferenceConversionObjectObject(TypeRelation *const relation, ETSObjectType *const source, in IsAllowedNarrowingReferenceConversionObjectObject() argument
76 if (relation->IsSupertypeOf(target, source) || relation->IsSupertypeOf(source, target)) { in IsAllowedNarrowingReferenceConversionObjectObject()
81 …if (source->HasObjectFlag(ETSObjectFlags::INTERFACE) && target->HasObjectFlag(ETSObjectFlags::INTE… in IsAllowedNarrowingReferenceConversionObjectObject()
86 …if (source->HasObjectFlag(ETSObjectFlags::CLASS) && target->HasObjectFlag(ETSObjectFlags::INTERFAC… in IsAllowedNarrowingReferenceConversionObjectObject()
87 !source->GetDeclNode()->IsFinal()) { in IsAllowedNarrowingReferenceConversionObjectObject()
93 …if (source->HasObjectFlag(ETSObjectFlags::CLASS) && target->HasObjectFlag(ETSObjectFlags::INTERFAC… in IsAllowedNarrowingReferenceConversionObjectObject()
94 source->GetDeclNode()->IsFinal() && relation->IsSupertypeOf(source, target)) { in IsAllowedNarrowingReferenceConversionObjectObject()
99 …if (source->HasObjectFlag(ETSObjectFlags::INTERFACE) && target->HasObjectFlag(ETSObjectFlags::CLAS… in IsAllowedNarrowingReferenceConversionObjectObject()
107 …return (source->HasObjectFlag(ETSObjectFlags::INTERFACE) && target->HasObjectFlag(ETSObjectFlags::… in IsAllowedNarrowingReferenceConversionObjectObject()
108 target->GetDeclNode()->IsFinal() && relation->IsSupertypeOf(target, source)); in IsAllowedNarrowingReferenceConversionObjectObject()
111 bool IsAllowedNarrowingReferenceConversion(TypeRelation *const relation, Type *const source, Type *… in IsAllowedNarrowingReferenceConversion() argument
113 ASSERT(source->HasTypeFlag(checker::TypeFlag::ETS_ARRAY_OR_OBJECT) && in IsAllowedNarrowingReferenceConversion()
122 if (relation->IsSupertypeOf(target, source)) { in IsAllowedNarrowingReferenceConversion()
132 if (source->HasTypeFlag(TypeFlag::ETS_OBJECT) && target->HasTypeFlag(TypeFlag::ETS_OBJECT)) { in IsAllowedNarrowingReferenceConversion()
133 if (IsAllowedNarrowingReferenceConversionObjectObject(relation, source->AsETSObjectType(), in IsAllowedNarrowingReferenceConversion()
139 if (source->HasTypeFlag(TypeFlag::ETS_OBJECT) && target->HasTypeFlag(TypeFlag::ETS_ARRAY)) { in IsAllowedNarrowingReferenceConversion()
146 if (source->HasTypeFlag(TypeFlag::ETS_ARRAY) && target->HasTypeFlag(TypeFlag::ETS_ARRAY)) { in IsAllowedNarrowingReferenceConversion()
149 auto *sc = source->AsETSArrayType()->ElementType(); in IsAllowedNarrowingReferenceConversion()
182 … [[maybe_unused]] Type *const source, [[maybe_unused]] Type *const target) in IsUncheckedNarrowingReferenceConversion() argument
184 ASSERT(source->HasTypeFlag(checker::TypeFlag::ETS_ARRAY_OR_OBJECT) && in IsUncheckedNarrowingReferenceConversion()
202 void NarrowingReferenceImpl(TypeRelation *const relation, Type *const source, Type *const target) in NarrowingReferenceImpl() argument
206 if (!IsAllowedNarrowingReferenceConversion(relation, source, target)) { in NarrowingReferenceImpl()
211 if (!IsUncheckedNarrowingReferenceConversion(relation, source, target)) { in NarrowingReferenceImpl()
219 void NarrowingReference(TypeRelation *const relation, ETSObjectType *const source, ETSObjectType *c… in NarrowingReference() argument
221 NarrowingReferenceImpl(relation, source, target); in NarrowingReference()
224 void NarrowingReference(TypeRelation *const relation, ETSArrayType *const source, ETSArrayType *con… in NarrowingReference() argument
226 if (source->ElementType()->IsETSArrayType() && target->ElementType()->IsETSArrayType()) { in NarrowingReference()
227 …NarrowingReference(relation, source->ElementType()->AsETSArrayType(), target->ElementType()->AsETS… in NarrowingReference()
231 NarrowingReferenceImpl(relation, source, target); in NarrowingReference()
234 void NarrowingReference(TypeRelation *const relation, ETSObjectType *const source, ETSArrayType *co… in NarrowingReference() argument
237 NarrowingReference(relation, source, target->ElementType()->AsETSArrayType()); in NarrowingReference()
241 NarrowingReferenceImpl(relation, source, target); in NarrowingReference()
251 ETSObjectType *Boxing(TypeRelation *const relation, Type *const source) in Boxing() argument
254 const BoxingConverter boxed(etsChecker, relation, source); in Boxing()
263 Type *Unboxing(TypeRelation *const relation, ETSObjectType *const source) in Unboxing() argument
266 const UnboxingConverter unboxed(etsChecker, relation, source); in Unboxing()
275 void UnboxingWideningPrimitive(TypeRelation *const relation, ETSObjectType *const source, Type *con… in UnboxingWideningPrimitive() argument
277 auto *const unboxedSource = Unboxing(relation, source); in UnboxingWideningPrimitive()
286 void UnboxingNarrowingPrimitive(TypeRelation *const relation, ETSObjectType *const source, Type *co… in UnboxingNarrowingPrimitive() argument
288 auto *const unboxedSource = Unboxing(relation, source); in UnboxingNarrowingPrimitive()
296 void UnboxingWideningNarrowingPrimitive(TypeRelation *const relation, ETSObjectType *const source, … in UnboxingWideningNarrowingPrimitive() argument
298 auto *const unboxedSource = Unboxing(relation, source); in UnboxingWideningNarrowingPrimitive()
306 void NarrowingReferenceUnboxing(TypeRelation *const relation, ETSObjectType *const source, Type *co… in NarrowingReferenceUnboxing() argument
313 NarrowingReference(relation, source, boxedTarget->AsETSObjectType()); in NarrowingReferenceUnboxing()
320 void BoxingWideningReference(TypeRelation *const relation, Type *const source, ETSObjectType *const… in BoxingWideningReference() argument
322 auto *const boxedSource = Boxing(relation, source); in BoxingWideningReference()
331 void String(TypeRelation *const relation, Type *const source) in String() argument
333 if (source->HasTypeFlag(TypeFlag::BYTE | TypeFlag::SHORT)) { in String()
335 WideningPrimitive(relation, source, tempInt); in String()
340 …if (source->HasTypeFlag(TypeFlag::ETS_BOOLEAN | TypeFlag::CHAR | TypeFlag::INT | TypeFlag::LONG | … in String()
342 Boxing(relation, source); in String()
346 ASSERT(source->HasTypeFlag(TypeFlag::ETS_OBJECT)); in String()