| /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 | 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.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 … Type *FindTypeIsCastableToThis(ir::Expression *node, TypeRelation *relation, Type *source) const;
[all …]
|
| 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.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 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
46 …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;
52 ETSPartialTypeParameter *Instantiate(ArenaAllocator *allocator, TypeRelation *relation,
|
| 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 | 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;
90 void ApplySubstitution(TypeRelation *relation);
[all …]
|
| 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;
47 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
|
| 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 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
74 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
|
| 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 | etsObjectType.h | 47 explicit ETSObjectType(ArenaAllocator *allocator, ETSObjectFlags flags, TypeRelation *relation) in ETSObjectType()
60 std::tuple<ir::AstNode *, ETSObjectFlags, TypeRelation *> info) in ETSObjectType()
105 void SetRelation(TypeRelation *relation) in SetRelation()
110 TypeRelation *GetRelation() const in GetRelation()
390 TypeRelation *relation, GlobalTypesHolder *globalTypes);
402 void Identical(TypeRelation *relation, Type *other) override;
403 bool AssignmentSource(TypeRelation *relation, Type *target) override;
404 void AssignmentTarget(TypeRelation *relation, Type *source) override;
405 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
407 ETSObjectType *Substitute(TypeRelation *relation, const Substitution *substitution) override;
[all …]
|
| D | etsStringType.h | 31 …tringType(ArenaAllocator *allocator, [[maybe_unused]] ETSObjectType *super, TypeRelation *relation) in ETSStringType()
39 explicit ETSStringType(ArenaAllocator *allocator, ETSObjectType *super, TypeRelation *relation, in ETSStringType()
51 void Identical(TypeRelation *relation, Type *other) override;
52 bool AssignmentSource(TypeRelation *relation, Type *target) override;
53 void AssignmentTarget(TypeRelation *relation, Type *source) override;
54 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
55 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
56 void IsSubtypeOf(TypeRelation *relation, Type *source) override;
|
| 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 | 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 | etsFunctionType.h | 122 void Identical(TypeRelation *relation, Type *other) override;
123 void AssignmentTarget(TypeRelation *relation, Type *source) override;
124 bool AssignmentSource(TypeRelation *relation, Type *target) override;
125 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
126 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
127 ETSFunctionType *Substitute(TypeRelation *relation, const Substitution *substitution) override;
128 void Cast(TypeRelation *relation, Type *target) override;
129 checker::RelationResult CastFunctionParams(TypeRelation *relation, Signature *targetInvokeSig);
131 void IsSubtypeOf(TypeRelation *relation, Type *target) 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()
|
| D | etsArrayType.h | 58 void Identical(TypeRelation *relation, Type *other) override;
59 void AssignmentTarget(TypeRelation *relation, Type *source) override;
60 void Cast(TypeRelation *relation, Type *target) override;
61 void IsSupertypeOf(TypeRelation *relation, Type *source) override;
62 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
63 Type *Substitute(TypeRelation *relation, const Substitution *substitution) override;
|
| 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()
|
| /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()
|
| D | unionType.h | 65 void AddConstituentType(Type *type, TypeRelation *relation) in AddConstituentType()
116 void Identical(TypeRelation *relation, Type *other) override;
117 void AssignmentTarget(TypeRelation *relation, Type *source) override;
118 bool AssignmentSource(TypeRelation *relation, Type *target) override;
120 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
122 … static void RemoveDuplicatedTypes(TypeRelation *relation, ArenaVector<Type *> &constituentTypes);
127 …static bool EachTypeRelatedToSomeType(TypeRelation *relation, UnionType *source, UnionType *target…
128 static bool TypeRelatedToSomeType(TypeRelation *relation, Type *source, UnionType *target);
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | type.cpp | 19 #include "checker/types/typeRelation.h"
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 Type *Type::Instantiate([[maybe_unused]] ArenaAllocator *allocator, [[maybe_unused]] TypeRelation *… in Instantiate()
136 Type *Type::Substitute([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] const Substitution… in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ts/ |
| D | unionType.h | 68 void AddConstituentType(Type *type, TypeRelation *relation) in AddConstituentType()
118 void Identical(TypeRelation *relation, Type *other) override;
119 void AssignmentTarget(TypeRelation *relation, Type *source) override;
120 bool AssignmentSource(TypeRelation *relation, Type *target) override;
122 …Type *Instantiate(ArenaAllocator *allocator, TypeRelation *relation, GlobalTypesHolder *globalType…
124 … static void RemoveDuplicatedTypes(TypeRelation *relation, ArenaVector<Type *> &constituentTypes);
129 …static bool EachTypeRelatedToSomeType(TypeRelation *relation, UnionType *source, UnionType *target…
130 static bool TypeRelatedToSomeType(TypeRelation *relation, Type *source, UnionType *target);
|