| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | conversion.cpp | 25 void Identity(TypeRelation *const relation, Type *const source, Type *const target) in Identity()
30 void WideningPrimitive(TypeRelation *const relation, Type *const source, Type *const target) in WideningPrimitive()
37 void NarrowingPrimitive(TypeRelation *const relation, Type *const source, Type *const target) in NarrowingPrimitive()
44 void WideningNarrowingPrimitive(TypeRelation *const relation, ByteType *const source, CharType *con… in WideningNarrowingPrimitive()
54 void WideningReference(TypeRelation *const relation, ETSObjectType *const source, ETSObjectType *co… in WideningReference()
59 void WideningReference(TypeRelation *const relation, ETSArrayType *const source, ETSObjectType *con… in WideningReference()
64 void WideningReference(TypeRelation *const relation, ETSArrayType *const source, ETSArrayType *cons… in WideningReference()
71 bool IsAllowedNarrowingReferenceConversionObjectObject(TypeRelation *const relation, ETSObjectType … in IsAllowedNarrowingReferenceConversionObjectObject()
112 bool IsAllowedNarrowingReferenceConversion(TypeRelation *const relation, Type *const source, Type *… in IsAllowedNarrowingReferenceConversion()
182 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 | 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()
|
| 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()
62 void ETSNonNullishType::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
74 void ETSNonNullishType::IsSupertypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Typ… in IsSupertypeOf()
79 void ETSNonNullishType::IsSubtypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type … in IsSubtypeOf()
88 Type *ETSNonNullishType::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *su… in Substitute()
108 [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| 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()
68 void ETSTypeParameter::CastTarget(TypeRelation *relation, Type *source) in CastTarget()
78 void ETSTypeParameter::IsSupertypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type… in IsSupertypeOf()
83 void ETSTypeParameter::IsSubtypeOf([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *… in IsSubtypeOf()
92 …r::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
106 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 | 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 | 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 | 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 | 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 | 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 | 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()
58 void CharType::Cast(TypeRelation *const relation, Type *const target) in Cast()
108 …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 | etsVoidType.cpp | 19 void ETSVoidType::Identical(TypeRelation *relation, Type *other) in Identical()
26 bool ETSVoidType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
37 void ETSVoidType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *… in AssignmentTarget()
46 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | objectType.cpp | 25 bool ObjectType::EachSignatureRelatedToSomeSignature(TypeRelation *relation, in EachSignatureRelatedToSomeSignature()
36 bool ObjectType::SignatureRelatedToSomeSignature(TypeRelation *relation, Signature *sourceSignature, in SignatureRelatedToSomeSignature()
51 bool ObjectType::IsPropertiesIdentical(TypeRelation *relation, ObjectType *otherObj) in IsPropertiesIdentical()
75 bool ObjectType::IsIndexInfosIdentical(TypeRelation *relation, IndexInfo *descIndexInfo, IndexInfo … in IsIndexInfosIdentical()
87 void ObjectType::Identical(TypeRelation *relation, Type *other) in Identical()
125 void ObjectType::AssignProperties(TypeRelation *relation, ObjectType *source) in AssignProperties()
166 void ObjectType::AssignSignatures(TypeRelation *relation, ObjectType *source, bool assignCallSignat… in AssignSignatures()
190 void ObjectType::AssignIndexInfo([[maybe_unused]] TypeRelation *relation, ObjectType *source, bool … in AssignIndexInfo()
213 void ObjectType::checkExcessProperties(TypeRelation *relation, ObjectType *source) in checkExcessProperties()
227 void ObjectType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
|
| 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 | 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 | 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 | 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 | 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()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | type.cpp | 83 void Type::Identical(TypeRelation *relation, Type *other) in Identical()
88 bool Type::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
98 void Type::Compare([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *other) {} in Compare()
100 void Type::Cast(TypeRelation *const relation, [[maybe_unused]] Type *target) in Cast()
105 void Type::CastTarget(TypeRelation *const relation, [[maybe_unused]] Type *source) in CastTarget()
110 void Type::IsSupertypeOf(TypeRelation *const relation, [[maybe_unused]] Type *source) in IsSupertypeOf()
115 void Type::IsSubtypeOf(TypeRelation *const relation, [[maybe_unused]] Type *target) in IsSubtypeOf()
125 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
136 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 void ObjectType::Identical(TypeRelation *relation, Type *other) in Identical()
121 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()
225 void ObjectType::AssignmentTarget(TypeRelation *relation, Type *source) in AssignmentTarget()
|
| 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 | 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()
|