Home
last modified time | relevance | path

Searched refs:spreadType (Results 1 - 5 of 5) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/ir/ets/
H A DetsTuple.cpp55 {"spreadType", AstDumper::Nullish(spreadType_)}}); in Dump()
90 auto &spreadType = *spreadTypePtr; in CalculateLUBForTuple() local
92 return spreadType == nullptr ? checker->GlobalETSObjectType() : spreadType; in CalculateLUBForTuple()
99 if (spreadType != nullptr) { in CalculateLUBForTuple()
100 allElementsAreSame = allElementsAreSame && checker->Relation()->IsIdenticalTo(typeList[0], spreadType); in CalculateLUBForTuple()
116 if (spreadType != nullptr) { in CalculateLUBForTuple()
117 spreadType = checker->MaybePromotedBuiltinType(spreadType); in CalculateLUBForTuple()
118 ctypes.push_back(spreadType); in CalculateLUBForTuple()
[all...]
/arkcompiler/ets_frontend/ets2panda/checker/types/ets/
H A DetsTupleType.h29 Type *const spreadType = nullptr) in ETSTupleType()
30 : ETSArrayType(elementType), typeList_(allocator->Adapter()), spreadType_(spreadType) in ETSTupleType()
36 Type *const spreadType = nullptr) in ETSTupleType()
37 : ETSArrayType(elementType), typeList_(allocator->Adapter()), spreadType_(spreadType), size_(size) in ETSTupleType()
42 Type *const spreadType = nullptr) in ETSTupleType()
45 spreadType_(spreadType), in ETSTupleType()
/arkcompiler/ets_frontend/es2panda/ir/expressions/
H A DarrayExpression.cpp147 void GetSpreadElementType(checker::Checker *checker, checker::Type *spreadType, in GetSpreadElementType() argument
152 if (spreadType->IsObjectType() && spreadType->AsObjectType()->IsTupleType()) { in GetSpreadElementType()
154 checker::TupleType *spreadTuple = spreadType->AsObjectType()->AsTupleType(); in GetSpreadElementType()
174 if (spreadType->IsUnionType()) { in GetSpreadElementType()
178 for (auto *type : spreadType->AsUnionType()->ConstituentTypes()) { in GetSpreadElementType()
205 {"Type '", spreadType, "' must have a '[Symbol.iterator]()' method that returns an iterator."}, loc); in GetSpreadElementType()
217 checker::Type *spreadType = it->AsSpreadElement()->Argument()->Check(checker); in Check() local
219 if (spreadType->IsArrayType()) { in Check()
220 elementTypes.push_back(inConstContext ? spreadType in Check()
[all...]
H A DobjectExpression.cpp713 checker::Type *spreadType = it->AsSpreadElement()->Argument()->Check(checker); in Check() local
717 if (!spreadType->IsObjectType()) { in Check()
721 for (auto *spreadProp : spreadType->AsObjectType()->Properties()) { in Check()
/arkcompiler/ets_frontend/ets2panda/checker/
H A DTSAnalyzer.cpp178 static void GetSpreadElementType(checker::TSChecker *checker, checker::Type *spreadType, in GetSpreadElementType() argument
183 if (spreadType->IsObjectType() && spreadType->AsObjectType()->IsTupleType()) { in GetSpreadElementType()
185 checker::TupleType *spreadTuple = spreadType->AsObjectType()->AsTupleType(); in GetSpreadElementType()
204 if (!spreadType->IsUnionType()) { in GetSpreadElementType()
206 {"Type '", spreadType, "' must have a '[Symbol.iterator]()' method that returns an iterator."}, loc); in GetSpreadElementType()
213 for (auto *type : spreadType->AsUnionType()->ConstituentTypes()) { in GetSpreadElementType()
239 {"Type '", spreadType, "' must have a '[Symbol.iterator]()' method that returns an iterator."}, loc); in GetSpreadElementType()
252 checker::Type *spreadType = it->AsSpreadElement()->Argument()->Check(checker); in Check() local
254 if (spreadType in Check()
753 checker::Type *const spreadType = it->AsSpreadElement()->Argument()->Check(checker); CheckSpread() member in ark::es2panda::checker::checker
[all...]

Completed in 5 milliseconds