| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | conversion.cpp | 24 void Identity(TypeRelation *const relation, Type *const source, Type *const target) in Identity()
29 void WideningPrimitive(TypeRelation *const relation, Type *const source, Type *const target) in WideningPrimitive()
36 void NarrowingPrimitive(TypeRelation *const relation, Type *const source, Type *const target) in NarrowingPrimitive()
43 void WideningNarrowingPrimitive(TypeRelation *const relation, ByteType *const source, CharType *con… in WideningNarrowingPrimitive()
53 void WideningReference(TypeRelation *const relation, ETSObjectType *const source, ETSObjectType *co… in WideningReference()
58 void WideningReference(TypeRelation *const relation, ETSArrayType *const source, ETSObjectType *con… in WideningReference()
63 void WideningReference(TypeRelation *const relation, ETSArrayType *const source, ETSArrayType *cons… in WideningReference()
70 bool IsAllowedNarrowingReferenceConversionObjectObject(TypeRelation *const relation, ETSObjectType … in IsAllowedNarrowingReferenceConversionObjectObject()
111 bool IsAllowedNarrowingReferenceConversion(TypeRelation *const relation, Type *const source, Type *… in IsAllowedNarrowingReferenceConversion()
181 bool IsUncheckedNarrowingReferenceConversion([[maybe_unused]] TypeRelation *const relation, in IsUncheckedNarrowingReferenceConversion()
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsTypeParameter.cpp | 37 void ETSTypeParameter::Identical([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *ot… in Identical()
48 bool ETSTypeParameter::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] T… in AssignmentSource()
53 void ETSTypeParameter::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] T… in AssignmentTarget()
76 void ETSTypeParameter::Cast(TypeRelation *relation, Type *target) in Cast()
90 void ETSTypeParameter::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
100 void ETSTypeParameter::IsSupertypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type… in IsSupertypeOf()
105 void ETSTypeParameter::IsSubtypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *… in IsSubtypeOf()
114 …r::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
128 Type *ETSTypeParameter::Substitute(TypeRelation *relation, const Substitution *substitution) 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 | 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 | 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 | 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([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *targ… in AssignmentSource()
53 void IntType::Cast(TypeRelation *const relation, Type *const target) in Cast()
103 …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 | 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 | 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 | etsStringType.cpp | 21 void ETSStringType::Identical(TypeRelation *relation, Type *other) in Identical()
28 bool ETSStringType::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type… in AssignmentSource()
34 void ETSStringType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type… in AssignmentTarget()
41 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | etsArrayType.cpp | 62 void ETSArrayType::Identical(TypeRelation *relation, Type *other) in Identical()
78 void ETSArrayType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
102 void ETSArrayType::Cast(TypeRelation *const relation, Type *const target) in Cast()
143 void ETSArrayType::IsSupertypeOf(TypeRelation *const relation, Type *source) in IsSupertypeOf()
156 Type *ETSArrayType::Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolde… in Instantiate()
162 Type *ETSArrayType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsFunctionType.cpp | 41 void ETSFunctionType::Identical(TypeRelation *relation, Type *other) in Identical()
55 bool ETSFunctionType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
74 static Signature *ProcessSignatures(TypeRelation *relation, Signature *target, ETSFunctionType *sou… in ProcessSignatures()
133 void ETSFunctionType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
175 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
187 ETSFunctionType *ETSFunctionType::Substitute(TypeRelation *relation, const Substitution *substituti… in Substitute()
209 checker::RelationResult ETSFunctionType::CastFunctionParams(TypeRelation *relation, Type *target) in CastFunctionParams()
226 void ETSFunctionType::Cast(TypeRelation *relation, Type *target) in Cast()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | type.cpp | 91 void Type::Identical(TypeRelation *relation, Type *other) in Identical()
96 bool Type::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
106 void Type::Compare([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *other) {} in Compare()
108 void Type::Cast(TypeRelation *const relation, [[maybe_unused]] Type *target) in Cast()
113 void Type::CastTarget(TypeRelation *const relation, [[maybe_unused]] Type *source) in CastTarget()
118 void Type::IsSupertypeOf(TypeRelation *const relation, [[maybe_unused]] Type *source) in IsSupertypeOf()
123 void Type::IsSubtypeOf(TypeRelation *const relation, [[maybe_unused]] Type *target) in IsSubtypeOf()
133 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
139 Type *Type::Substitute([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] const Substitution… in Substitute()
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | type.cpp | 29 void Type::Identical(TypeRelation *relation, Type *other) in Identical()
34 bool Type::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
39 void Type::Compare([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *other) {} in Compare()
41 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | undefinedType.cpp | 25 void UndefinedType::Identical(TypeRelation *relation, Type *other) in Identical()
32 bool UndefinedType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
38 void UndefinedType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type… in AssignmentTarget()
45 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | neverType.cpp | 30 void NeverType::Identical(TypeRelation *relation, Type *other) in Identical()
37 void NeverType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
42 bool NeverType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
48 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | anyType.cpp | 25 void AnyType::Identical(TypeRelation *relation, Type *other) in Identical()
32 void AnyType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
37 bool AnyType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
48 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | nullType.cpp | 25 void NullType::Identical(TypeRelation *relation, Type *other) in Identical()
32 bool NullType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
38 void NullType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *sou… in AssignmentTarget()
45 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | objectType.cpp | 25 bool ObjectType::EachSignatureRelatedToSomeSignature(TypeRelation *relation, in EachSignatureRelatedToSomeSignature()
36 bool ObjectType::SignatureRelatedToSomeSignature(TypeRelation *relation, Signature *sourceSignature, in SignatureRelatedToSomeSignature()
51 void ObjectType::Identical(TypeRelation *relation, Type *other) in Identical()
114 void ObjectType::AssignProperties(TypeRelation *relation, ObjectType *source) in AssignProperties()
155 void ObjectType::AssignSignatures(TypeRelation *relation, ObjectType *source, bool assignCallSignat… in AssignSignatures()
179 void ObjectType::AssignIndexInfo([[maybe_unused]] TypeRelation *relation, ObjectType *source, bool … in AssignIndexInfo()
202 void ObjectType::checkExcessProperties(TypeRelation *relation, ObjectType *source) in checkExcessProperties()
216 void ObjectType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ts/ |
| D | neverType.cpp | 29 void NeverType::Identical(TypeRelation *relation, Type *other) in Identical()
36 void NeverType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
41 bool NeverType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
47 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | nullType.cpp | 24 void NullType::Identical(TypeRelation *relation, Type *other) in Identical()
31 bool NullType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
37 void NullType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *sou… in AssignmentTarget()
44 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | undefinedType.cpp | 24 void UndefinedType::Identical(TypeRelation *relation, Type *other) in Identical()
31 bool UndefinedType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
37 void UndefinedType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type… in AssignmentTarget()
44 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | anyType.cpp | 24 void AnyType::Identical(TypeRelation *relation, Type *other) in Identical()
31 void AnyType::AssignmentTarget(TypeRelation *relation, [[maybe_unused]] Type *source) in AssignmentTarget()
36 bool AnyType::AssignmentSource(TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
47 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| D | objectType.cpp | 24 bool ObjectType::EachSignatureRelatedToSomeSignature(TypeRelation *relation, in EachSignatureRelatedToSomeSignature()
35 bool ObjectType::SignatureRelatedToSomeSignature(TypeRelation *relation, Signature *sourceSignature, in SignatureRelatedToSomeSignature()
50 void ObjectType::Identical(TypeRelation *relation, Type *other) in Identical()
113 void ObjectType::AssignProperties(TypeRelation *relation, ObjectType *source) in AssignProperties()
155 void ObjectType::AssignSignatures(TypeRelation *relation, ObjectType *source, bool assignCallSignat… in AssignSignatures()
179 void ObjectType::AssignIndexInfo([[maybe_unused]] TypeRelation *relation, ObjectType *source, bool … in AssignIndexInfo()
202 void ObjectType::CheckExcessProperties(TypeRelation *relation, ObjectType *source) in CheckExcessProperties()
217 void ObjectType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
|