| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | conversion.h | 20 #include "checker/types/typeRelation.h"
23 void Identity(TypeRelation *relation, Type *source, Type *target);
25 void WideningPrimitive(TypeRelation *relation, Type *source, Type *target);
26 void NarrowingPrimitive(TypeRelation *relation, Type *source, Type *target);
27 void WideningNarrowingPrimitive(TypeRelation *relation, ByteType *source, CharType *target);
29 void WideningReference(TypeRelation *relation, ETSObjectType *source, ETSObjectType *target);
30 void WideningReference(TypeRelation *relation, ETSArrayType *source, ETSObjectType *target);
31 void WideningReference(TypeRelation *relation, ETSArrayType *source, ETSArrayType *target);
33 void NarrowingReference(TypeRelation *relation, ETSObjectType *source, ETSObjectType *target);
34 void NarrowingReference(TypeRelation *relation, ETSObjectType *source, ETSArrayType *target);
[all …]
|
| 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.h | 28 void Identical(TypeRelation *relation, Type *other) override;
29 void AssignmentTarget(TypeRelation *relation, Type *source) override;
30 bool AssignmentSource(TypeRelation *relation, Type *target) override;
31 void Compare(TypeRelation *relation, Type *other) override;
32 void Cast(TypeRelation *relation, Type *target) override;
33 void CastTarget(TypeRelation *relation, Type *source) override;
39 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
51 void Identical(TypeRelation *relation, Type *other) override;
52 void AssignmentTarget(TypeRelation *relation, Type *source) override;
53 bool AssignmentSource(TypeRelation *relation, Type *target) override;
[all …]
|
| D | etsUnionType.h | 38 void Identical(TypeRelation *relation, Type *other) override;
39 void AssignmentTarget(TypeRelation *relation, Type *source) override;
40 bool AssignmentSource(TypeRelation *relation, Type *target) override;
41 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
42 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
43 void Cast(TypeRelation *relation, Type *target) override;
44 void CastTarget(TypeRelation *relation, Type *source) override;
45 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
46 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
47 void CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) override;
[all …]
|
| D | etsNonNullishType.h | 33 void Identical(TypeRelation *relation, Type *other) override;
34 void AssignmentTarget(TypeRelation *relation, Type *source) override;
35 bool AssignmentSource(TypeRelation *relation, Type *target) override;
36 void Cast(TypeRelation *relation, Type *target) override;
37 void CastTarget(TypeRelation *relation, Type *source) override;
38 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
39 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
40 void CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) override;
41 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
47 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
|
| D | etsPartialTypeParameter.h | 39 void Identical(TypeRelation *relation, Type *other) override;
40 void AssignmentTarget(TypeRelation *relation, Type *source) override;
41 bool AssignmentSource(TypeRelation *relation, Type *target) override;
42 void Cast(TypeRelation *relation, Type *target) override;
43 void CastTarget(TypeRelation *relation, Type *source) override;
44 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
45 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
46 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
47 void CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) override;
53 ETSPartialTypeParameter *Instantiate(ArenaAllocator *allocator, TypeRelation *relation,
|
| D | etsReadonlyType.h | 34 void Identical(TypeRelation *relation, Type *other) override;
35 void AssignmentTarget(TypeRelation *relation, Type *source) override;
36 bool AssignmentSource(TypeRelation *relation, Type *target) override;
37 void Cast(TypeRelation *relation, Type *target) override;
38 void CastTarget(TypeRelation *relation, Type *source) override;
39 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
40 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
41 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
42 void CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) override;
48 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
|
| 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 | etsNeverType.h | 26 void Identical(TypeRelation *relation, Type *other) override;
27 void AssignmentTarget(TypeRelation *relation, Type *source) override;
28 bool AssignmentSource(TypeRelation *relation, Type *target) override;
29 void Compare(TypeRelation *relation, Type *other) override;
30 void Cast(TypeRelation *relation, Type *target) override;
31 void CastTarget(TypeRelation *relation, Type *source) override;
32 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
33 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
40 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
|
| D | etsAnyType.h | 26 void Identical(TypeRelation *relation, Type *other) override;
27 void AssignmentTarget(TypeRelation *relation, Type *source) override;
28 bool AssignmentSource(TypeRelation *relation, Type *target) override;
29 void Compare(TypeRelation *relation, Type *other) override;
30 void Cast(TypeRelation *relation, Type *target) override;
31 void CastTarget(TypeRelation *relation, Type *source) override;
32 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
33 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
40 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
|
| D | etsArrayType.h | 53 void Identical(TypeRelation *relation, Type *other) override;
54 bool AssignmentSource(TypeRelation *relation, Type *target) override;
55 void AssignmentTarget(TypeRelation *relation, Type *source) override;
56 void Cast(TypeRelation *relation, Type *target) override;
57 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
58 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
59 void CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) override;
60 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
61 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
|
| D | etsTypeParameter.h | 66 void Identical(TypeRelation *relation, Type *other) override;
67 void AssignmentTarget(TypeRelation *relation, Type *source) override;
68 bool AssignmentSource(TypeRelation *relation, Type *target) override;
69 void Cast(TypeRelation *relation, Type *target) override;
70 void CastTarget(TypeRelation *relation, Type *source) override;
71 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
72 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
73 void CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) override;
74 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
75 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
|
| D | etsTypeAliasType.h | 77 void Identical(TypeRelation *relation, Type *other) override;
78 void AssignmentTarget(TypeRelation *relation, Type *source) override;
79 bool AssignmentSource(TypeRelation *relation, Type *target) override;
80 void Cast(TypeRelation *relation, Type *target) override;
81 void CastTarget(TypeRelation *relation, Type *source) override;
82 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
83 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
84 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
88 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
95 bool SubstituteTypeArgs(TypeRelation *const relation, ArenaVector<Type *> &newTypeArgs,
[all …]
|
| D | etsEnumType.h | 28 ir::AstNode *declNode, TypeRelation *relation) in ETSEnumType()
53 ir::AstNode *declNode, TypeRelation *relation) in ETSIntEnumType()
65 bool AssignmentSource(TypeRelation *relation, Type *target) override;
66 void AssignmentTarget(TypeRelation *relation, Type *source) override;
67 void Cast(TypeRelation *relation, Type *target) override;
68 void CastTarget(TypeRelation *relation, Type *source) override;
74 ir::AstNode *declNode, TypeRelation *relation) in ETSStringEnumType()
86 bool AssignmentSource(TypeRelation *relation, Type *target) override;
87 void AssignmentTarget(TypeRelation *relation, Type *source) override;
88 void Cast(TypeRelation *relation, Type *target) override;
[all …]
|
| 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 | etsTupleType.h | 63 void Identical(TypeRelation *relation, Type *other) override;
64 void AssignmentTarget(TypeRelation *relation, Type *source) override;
65 bool AssignmentSource(TypeRelation *relation, Type *target) override;
66 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
67 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
68 void Cast(TypeRelation *relation, Type *target) override;
69 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
70 void CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) override;
76 bool CheckElementsIdentical(TypeRelation *relation, const ETSTupleType *other) const;
|
| D | etsObjectType.h | 48 std::tuple<ir::AstNode *, ETSObjectFlags, TypeRelation *> info) in ETSObjectType()
93 void SetRelation(TypeRelation *relation) in SetRelation()
98 TypeRelation *GetRelation() const in GetRelation()
361 TypeRelation *relation, GlobalTypesHolder *globalTypes);
373 void Identical(TypeRelation *relation, Type *other) override;
374 bool AssignmentSource(TypeRelation *relation, Type *target) override;
375 void AssignmentTarget(TypeRelation *relation, Type *source) override;
377 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
379 ETSObjectType *Substitute(TypeRelation *relation, const Substitution *substitution) override;
380 ETSObjectType *Substitute(TypeRelation *relation, const Substitution *substitution, bool cache,
[all …]
|
| 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 | 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 | 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 | etsStringType.h | 31 explicit ETSStringType(ArenaAllocator *allocator, ETSObjectType *super, TypeRelation *relation) in ETSStringType()
40 explicit ETSStringType(ArenaAllocator *allocator, ETSObjectType *super, TypeRelation *relation, in ETSStringType()
53 void Identical(TypeRelation *relation, Type *other) override;
54 bool AssignmentSource(TypeRelation *relation, Type *target) override;
55 void AssignmentTarget(TypeRelation *relation, Type *source) override;
56 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
57 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
58 void IsSubtypeOf(TypeRelation *relation, Type *source) override;
|
| 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 | etsFunctionType.h | 126 void Identical(TypeRelation *relation, Type *other) override;
127 void AssignmentTarget(TypeRelation *relation, Type *source) override;
128 bool AssignmentSource(TypeRelation *relation, Type *target) override;
129 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
130 void IsSubtypeOf(TypeRelation *relation, Type *target) override;
131 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
132 ETSFunctionType *Substitute(TypeRelation *relation, const Substitution *substitution) override;
133 void CheckVarianceRecursively(TypeRelation *relation, VarianceFlag varianceFlag) override;
134 void Cast(TypeRelation *relation, Type *target) override;
135 void CastTarget(TypeRelation *relation, Type *source) override;
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | typeRelation.cpp | 16 #include "typeRelation.h"
27 TypeRelation::TypeRelation(Checker *checker) : checker_(checker), result_(RelationResult::FALSE) {} in TypeRelation() function in panda::es2panda::checker::TypeRelation
29 bool TypeRelation::IsTrue() const in IsTrue()
34 const Checker *TypeRelation::GetChecker() const in GetChecker()
39 Checker *TypeRelation::GetChecker() in GetChecker()
44 ArenaAllocator *TypeRelation::Allocator() in Allocator()
49 RelationResult TypeRelation::CacheLookup(const Type *source, const Type *target, const RelationHold… in CacheLookup()
75 bool TypeRelation::IsIdenticalTo(Type *source, Type *target) in IsIdenticalTo()
96 bool TypeRelation::IsIdenticalTo(Signature *source, Signature *target) in IsIdenticalTo()
109 bool TypeRelation::IsIdenticalTo(IndexInfo *source, IndexInfo *target) in IsIdenticalTo()
[all …]
|
| D | objectType.h | 183 static bool SignatureRelatedToSomeSignature(TypeRelation *relation, Signature *sourceSignature, in DEFINE_BITOPS()
186 static bool EachSignatureRelatedToSomeSignature(TypeRelation *relation, in DEFINE_BITOPS()
190 void Identical(TypeRelation *relation, Type *other) override; in DEFINE_BITOPS()
191 void AssignmentTarget(TypeRelation *relation, Type *source) override; in DEFINE_BITOPS()
193 void checkExcessProperties(TypeRelation *relation, ObjectType *source); in DEFINE_BITOPS()
194 void AssignProperties(TypeRelation *relation, ObjectType *source); in DEFINE_BITOPS()
195 …void AssignSignatures(TypeRelation *relation, ObjectType *source, bool assignCallSignatures = true… in DEFINE_BITOPS()
196 void AssignIndexInfo(TypeRelation *relation, ObjectType *source, bool assignNumberInfo = true); in DEFINE_BITOPS()
204 bool IsPropertiesIdentical(TypeRelation *relation, ObjectType *otherObj); in DEFINE_BITOPS()
205 …bool IsIndexInfosIdentical(TypeRelation *relation, IndexInfo *descIndexInfo, IndexInfo *otherIndex… in DEFINE_BITOPS()
|