| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | conversion.cpp | 26 void Identity(TypeRelation *const relation, Type *const source, Type *const target) in Identity()
31 void WideningPrimitive(TypeRelation *const relation, Type *const source, Type *const target) in WideningPrimitive()
38 void NarrowingPrimitive(TypeRelation *const relation, Type *const source, Type *const target) in NarrowingPrimitive()
45 void WideningNarrowingPrimitive(TypeRelation *const relation, ByteType *const source, CharType *con… in WideningNarrowingPrimitive()
55 void WideningReference(TypeRelation *const relation, ETSObjectType *const source, ETSObjectType *co… in WideningReference()
60 void WideningReference(TypeRelation *const relation, ETSArrayType *const source, ETSObjectType *con… in WideningReference()
65 void WideningReference(TypeRelation *const relation, ETSArrayType *const source, ETSArrayType *cons… in WideningReference()
72 bool IsAllowedNarrowingReferenceConversionObjectObject(TypeRelation *const relation, ETSObjectType … in IsAllowedNarrowingReferenceConversionObjectObject()
111 bool IsAllowedNarrowingReferenceConversion(TypeRelation *const relation, Type *const source, Type *… in IsAllowedNarrowingReferenceConversion()
188 bool IsUncheckedNarrowingReferenceConversion([[maybe_unused]] TypeRelation *const relation, in IsUncheckedNarrowingReferenceConversion()
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsNullishTypes.cpp | 25 void ETSNullType::Identical(TypeRelation *relation, Type *other) in Identical()
30 void ETSNullType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
35 bool ETSNullType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
40 void ETSNullType::Compare([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *other) in Compare()
45 void ETSNullType::Cast(TypeRelation *relation, Type *target) in Cast()
50 void ETSNullType::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
70 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
76 void ETSUndefinedType::Identical(TypeRelation *relation, Type *other) in Identical()
81 void ETSUndefinedType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
86 bool ETSUndefinedType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
[all …]
|
| D | etsNonNullishType.cpp | 32 void ETSNonNullishType::Identical(TypeRelation *relation, Type *other) in Identical()
39 bool ETSNonNullishType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] … in AssignmentSource()
44 void ETSNonNullishType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] … in AssignmentTarget()
49 void ETSNonNullishType::Cast(TypeRelation *relation, Type *target) in Cast()
65 void ETSNonNullishType::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
77 void ETSNonNullishType::IsSupertypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Typ… in IsSupertypeOf()
82 void ETSNonNullishType::IsSubtypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type … in IsSubtypeOf()
91 Type *ETSNonNullishType::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *su… in Substitute()
111 [[maybe_unused]] TypeRelation *relation, in Instantiate()
117 void ETSNonNullishType::CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) in CheckVarianceRecursively()
|
| D | etsReadonlyType.cpp | 33 void ETSReadonlyType::Identical(TypeRelation *relation, Type *other) in Identical()
41 bool ETSReadonlyType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Ty… in AssignmentSource()
46 void ETSReadonlyType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Ty… in AssignmentTarget()
55 void ETSReadonlyType::Cast(TypeRelation *relation, [[maybe_unused]] Type *target) in Cast()
67 void ETSReadonlyType::CastTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in CastTarget()
78 void ETSReadonlyType::IsSupertypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type … in IsSupertypeOf()
83 void ETSReadonlyType::IsSubtypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *t… in IsSubtypeOf()
92 Type *ETSReadonlyType::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *subs… in Substitute()
111 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
117 void ETSReadonlyType::CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) in CheckVarianceRecursively()
|
| D | etsNeverType.cpp | 23 void ETSNeverType::Identical(TypeRelation *relation, Type *other) in Identical()
28 void ETSNeverType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
33 bool ETSNeverType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
39 void ETSNeverType::Compare([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *other) in Compare()
44 void ETSNeverType::Cast(TypeRelation *relation, Type *target) in Cast()
49 void ETSNeverType::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
54 void ETSNeverType::IsSubtypeOf(TypeRelation *relation, [[maybe_unused]] Type *target) in IsSubtypeOf()
59 void ETSNeverType::IsSupertypeOf(TypeRelation *relation, Type *source) in IsSupertypeOf()
84 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | etsEnumType.cpp | 23 bool ETSStringEnumType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
46 void ETSStringEnumType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
51 void ETSStringEnumType::Cast(TypeRelation *const relation, Type *const target) in Cast()
64 void ETSStringEnumType::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
73 bool ETSIntEnumType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
100 void ETSIntEnumType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
105 void ETSIntEnumType::Cast(TypeRelation *const relation, Type *const target) in Cast()
119 void ETSIntEnumType::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
|
| D | etsAnyType.cpp | 23 void ETSAnyType::Identical(TypeRelation *relation, Type *other) in Identical()
28 void ETSAnyType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
42 bool ETSAnyType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
48 void ETSAnyType::Compare([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *other) in Compare()
53 void ETSAnyType::Cast(TypeRelation *relation, Type *target) in Cast()
73 void ETSAnyType::CastTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in CastTarget()
78 void ETSAnyType::IsSubtypeOf(TypeRelation *relation, Type *target) in IsSubtypeOf()
83 void ETSAnyType::IsSupertypeOf(TypeRelation *relation, Type *source) in IsSupertypeOf()
108 Type *ETSAnyType::Instantiate(ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | etsPartialTypeParameter.cpp | 34 void ETSPartialTypeParameter::Identical(TypeRelation *relation, Type *other) in Identical()
41 bool ETSPartialTypeParameter::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
46 void ETSPartialTypeParameter::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
51 void ETSPartialTypeParameter::Cast(TypeRelation *relation, Type *target) in Cast()
60 void ETSPartialTypeParameter::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
69 void ETSPartialTypeParameter::IsSupertypeOf(TypeRelation *relation, [[maybe_unused]] Type *source) in IsSupertypeOf()
74 void ETSPartialTypeParameter::IsSubtypeOf(TypeRelation *relation, Type *target) in IsSubtypeOf()
82 …eParameter *ETSPartialTypeParameter::Instantiate(ArenaAllocator *allocator, TypeRelation *relation, in Instantiate()
94 Type *ETSPartialTypeParameter::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
113 void ETSPartialTypeParameter::CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianc… in CheckVarianceRecursively()
|
| D | etsTypeParameter.cpp | 31 void ETSTypeParameter::Identical(TypeRelation *relation, Type *other) in Identical()
39 bool ETSTypeParameter::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
44 void ETSTypeParameter::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
54 void ETSTypeParameter::Cast(TypeRelation *relation, Type *target) in Cast()
67 void ETSTypeParameter::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
77 void ETSTypeParameter::IsSupertypeOf(TypeRelation *relation, [[maybe_unused]] Type *source) in IsSupertypeOf()
82 void ETSTypeParameter::IsSubtypeOf(TypeRelation *relation, Type *target) in IsSubtypeOf()
91 void ETSTypeParameter::CheckVarianceRecursively([[maybe_unused]] TypeRelation *relation, VarianceFl… in CheckVarianceRecursively()
124 …r::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
139 Type *ETSTypeParameter::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *sub… in Substitute()
|
| D | etsBooleanType.cpp | 22 void ETSBooleanType::Identical(TypeRelation *relation, Type *other) in Identical()
29 void ETSBooleanType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Typ… in AssignmentTarget()
36 bool ETSBooleanType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Typ… in AssignmentSource()
45 void ETSBooleanType::Cast(TypeRelation *const relation, Type *const target) in Cast()
70 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | etsStringType.cpp | 31 void ETSStringType::Identical(TypeRelation *relation, Type *other) in Identical()
41 bool ETSStringType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
47 void ETSStringType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
52 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
58 void ETSStringType::IsSupertypeOf(TypeRelation *relation, Type *source) in IsSupertypeOf()
68 void ETSStringType::IsSubtypeOf(TypeRelation *relation, Type *source) in IsSubtypeOf()
|
| D | floatType.cpp | 22 void FloatType::Identical(TypeRelation *relation, Type *other) in Identical()
29 void FloatType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
37 bool FloatType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *ta… in AssignmentSource()
53 void FloatType::Cast(TypeRelation *const relation, Type *const target) in Cast()
98 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | charType.cpp | 22 void CharType::Identical(TypeRelation *relation, Type *other) in Identical()
29 void CharType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
37 bool CharType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *tar… in AssignmentSource()
53 void CharType::Cast(TypeRelation *const relation, Type *const target) in Cast()
98 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | doubleType.cpp | 22 void DoubleType::Identical(TypeRelation *relation, Type *other) in Identical()
29 void DoubleType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
37 bool DoubleType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *t… in AssignmentSource()
52 void DoubleType::Cast(TypeRelation *const relation, Type *const target) in Cast()
93 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | shortType.cpp | 22 void ShortType::Identical(TypeRelation *relation, Type *other) in Identical()
29 void ShortType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
37 bool ShortType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *ta… in AssignmentSource()
53 void ShortType::Cast(TypeRelation *const relation, Type *const target) in Cast()
98 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | longType.cpp | 22 void LongType::Identical(TypeRelation *relation, Type *other) in Identical()
29 void LongType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
37 bool LongType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *tar… in AssignmentSource()
53 void LongType::Cast(TypeRelation *const relation, Type *const target) in Cast()
98 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | intType.cpp | 22 void IntType::Identical(TypeRelation *relation, Type *other) in Identical()
29 void IntType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
37 bool IntType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
53 void IntType::Cast(TypeRelation *const relation, Type *const target) in Cast()
98 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | byteType.cpp | 22 void ByteType::Identical(TypeRelation *relation, Type *other) in Identical()
29 void ByteType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
37 bool ByteType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *tar… in AssignmentSource()
53 void ByteType::Cast(TypeRelation *const relation, Type *const target) in Cast()
98 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | etsArrayType.cpp | 75 void ETSArrayType::Identical(TypeRelation *relation, Type *other) in Identical()
93 bool ETSArrayType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
103 void ETSArrayType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
118 void ETSArrayType::Cast(TypeRelation *const relation, Type *const target) in Cast()
143 void ETSArrayType::IsSupertypeOf(TypeRelation *const relation, Type *source) in IsSupertypeOf()
150 void ETSArrayType::IsSubtypeOf(TypeRelation *const relation, Type *target) in IsSubtypeOf()
158 Type *ETSArrayType::Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolde… in Instantiate()
169 Type *ETSArrayType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
188 void ETSArrayType::CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) in CheckVarianceRecursively()
|
| D | etsVoidType.cpp | 19 void ETSVoidType::Identical(TypeRelation *relation, Type *other) in Identical()
26 bool ETSVoidType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
38 void ETSVoidType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *… in AssignmentTarget()
48 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | etsTupleType.cpp | 72 bool ETSTupleType::CheckElementsIdentical(TypeRelation *relation, const ETSTupleType *other) const in CheckElementsIdentical()
86 void ETSTupleType::Identical([[maybe_unused]] TypeRelation *const relation, Type *const other) in Identical()
107 bool ETSTupleType::AssignmentSource(TypeRelation *const relation, Type *const target) in AssignmentSource()
116 void ETSTupleType::AssignmentTarget(TypeRelation *const relation, Type *const source) in AssignmentTarget()
123 Type *ETSTupleType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
135 void ETSTupleType::IsSubtypeOf(TypeRelation *const relation, Type *target) in IsSubtypeOf()
148 void ETSTupleType::Cast(TypeRelation *const relation, Type *const target) in Cast()
194 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
204 void ETSTupleType::CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) in CheckVarianceRecursively()
|
| D | etsTypeAliasType.cpp | 97 bool ETSTypeAliasType::IsArgumentsIdentical(TypeRelation *relation, Type *other) in IsArgumentsIdentical()
118 void ETSTypeAliasType::Identical(TypeRelation *relation, Type *other) in Identical()
132 void ETSTypeAliasType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
145 bool ETSTypeAliasType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
160 void ETSTypeAliasType::Cast(TypeRelation *const relation, Type *const target) in Cast()
173 void ETSTypeAliasType::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
186 void ETSTypeAliasType::IsSupertypeOf(TypeRelation *relation, Type *source) in IsSupertypeOf()
199 void ETSTypeAliasType::IsSubtypeOf(TypeRelation *relation, Type *target) in IsSubtypeOf()
221 Type *ETSTypeAliasType::Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesH… in Instantiate()
245 bool ETSTypeAliasType::SubstituteTypeArgs(TypeRelation *const relation, ArenaVector<Type *> &newTyp… in SubstituteTypeArgs()
[all …]
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | objectType.cpp | 22 bool ObjectType::EachSignatureRelatedToSomeSignature(TypeRelation *relation, in EachSignatureRelatedToSomeSignature()
33 bool ObjectType::SignatureRelatedToSomeSignature(TypeRelation *relation, Signature *sourceSignature, in SignatureRelatedToSomeSignature()
48 bool ObjectType::IsPropertiesIdentical(TypeRelation *relation, ObjectType *otherObj) in IsPropertiesIdentical()
72 bool ObjectType::IsIndexInfosIdentical(TypeRelation *relation, IndexInfo *descIndexInfo, IndexInfo … in IsIndexInfosIdentical()
84 void ObjectType::Identical(TypeRelation *relation, Type *other) in Identical()
122 void ObjectType::AssignProperties(TypeRelation *relation, ObjectType *source) in AssignProperties()
163 void ObjectType::AssignSignatures(TypeRelation *relation, ObjectType *source, bool assignCallSignat… in AssignSignatures()
187 void ObjectType::AssignIndexInfo([[maybe_unused]] TypeRelation *relation, ObjectType *source, bool … in AssignIndexInfo()
210 void ObjectType::checkExcessProperties(TypeRelation *relation, ObjectType *source) in checkExcessProperties()
224 void ObjectType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | type.cpp | 94 void Type::Identical(TypeRelation *relation, Type *other) in Identical()
99 bool Type::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
109 void Type::Compare([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *other) {} in Compare()
111 void Type::Cast(TypeRelation *const relation, [[maybe_unused]] Type *target) in Cast()
116 void Type::CastTarget(TypeRelation *const relation, [[maybe_unused]] Type *source) in CastTarget()
121 void Type::IsSupertypeOf(TypeRelation *const relation, [[maybe_unused]] Type *source) in IsSupertypeOf()
126 void Type::IsSubtypeOf(TypeRelation *const relation, [[maybe_unused]] Type *target) in IsSubtypeOf()
136 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
147 Type *Type::Substitute([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] const Substitution… in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ts/ |
| D | objectType.cpp | 24 bool ObjectType::EachSignatureRelatedToSomeSignature(TypeRelation *relation, in EachSignatureRelatedToSomeSignature()
35 bool ObjectType::SignatureRelatedToSomeSignature(TypeRelation *relation, Signature *sourceSignature, in SignatureRelatedToSomeSignature()
50 bool ObjectType::FindPropertyAndCheckIdentical(TypeRelation *relation, ObjectType *otherObj) in FindPropertyAndCheckIdentical()
73 bool ObjectType::IdenticalPropertiesHelper(TypeRelation *relation, ObjectType *otherObj) in IdenticalPropertiesHelper()
88 void ObjectType::Identical(TypeRelation *relation, Type *other) in Identical()
129 void ObjectType::AssignProperties(TypeRelation *relation, ObjectType *source) in AssignProperties()
171 void ObjectType::AssignSignatures(TypeRelation *relation, ObjectType *source, bool assignCallSignat… in AssignSignatures()
195 void ObjectType::AssignIndexInfo([[maybe_unused]] TypeRelation *relation, ObjectType *source, bool … in AssignIndexInfo()
218 void ObjectType::CheckExcessProperties(TypeRelation *relation, ObjectType *source) in CheckExcessProperties()
233 void ObjectType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
|