| /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()
117 bool IsAllowedNarrowingReferenceConversion(TypeRelation *const relation, Type *const source, Type *… in IsAllowedNarrowingReferenceConversion()
187 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()
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 | 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 | 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 | 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(TypeRelation *relation, [[maybe_unused]] Type *source) in IsSupertypeOf()
83 void ETSTypeParameter::IsSubtypeOf(TypeRelation *relation, Type *target) 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 | 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()
89 Type *ETSPartialTypeParameter::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 | 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 | 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 | 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 | 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 | 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 | etsStringType.cpp | 31 void ETSStringType::Identical(TypeRelation *relation, Type *other) in Identical()
41 bool ETSStringType::AssignmentSource(TypeRelation *relation, Type *target) in AssignmentSource()
57 void ETSStringType::AssignmentTarget([[maybe_unused]] TypeRelation *relation, Type *source) in AssignmentTarget()
62 …e::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *relation, in Instantiate()
68 void ETSStringType::IsSupertypeOf(TypeRelation *relation, Type *source) in IsSupertypeOf()
78 void ETSStringType::IsSubtypeOf(TypeRelation *relation, Type *source) in IsSubtypeOf()
|
| 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 | 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()
|
| D | type.cpp | 25 void Type::Identical(TypeRelation *relation, Type *other) in Identical()
30 bool Type::AssignmentSource([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *target) in AssignmentSource()
35 void Type::Compare([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] Type *other) {} in Compare()
37 …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 | 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()
|
| /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 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()
|