/arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
H A D | objectIterator.cpp | 163 auto hasIterator = [](checker::Type const *const exprType) -> bool { in Perform() 164 return exprType != nullptr && in Perform() 165 ((exprType->IsETSObjectType() && !exprType->IsETSStringType()) || exprType->IsETSTypeParameter()); in Perform() 173 if (auto const *const exprType = ast->AsForOfStatement()->Right()->TsType(); in Perform() 174 hasIterator(exprType) || (exprType != nullptr && exprType->IsETSUnionType() && in Perform() 175 exprType in Perform() [all...] |
H A D | expandBrackets.cpp | 64 auto *exprType = checker->AllocNode<ir::OpaqueTypeNode>(dimType); in ProcessNewArrayInstanceExpression() local 67 auto *blockExpression = parser->CreateFormattedExpression(FORMAT_NEW_ARRAY_EXPRESSION, identName, exprType, in ProcessNewArrayInstanceExpression() 111 auto *exprType = checker->AllocNode<ir::OpaqueTypeNode>(dimType); in ProcessNewMultiDimArrayInstanceExpression() local 115 exprType, dimension, identName) in ProcessNewMultiDimArrayInstanceExpression()
|
H A D | opAssignment.cpp | 184 auto *exprType = CreateProxyTypeNode(checker, left); in ConstructOpAssignmentResult() local 192 GetClone(allocator, ident1), GetClone(allocator, ident2), right, exprType); in ConstructOpAssignmentResult()
|
/arkcompiler/ets_frontend/es2panda/ir/ts/ |
H A D | tsAsExpression.cpp | 86 checker::Type *exprType = expression_->Check(checker); in Check() local 95 return exprType; in Check() 101 checker::Type *exprType = checker->GetBaseTypeOfLiteralType(expression_->Check(checker)); in Check() local 105 targetType, exprType, in Check() 106 {"Conversion of type '", exprType, "' to type '", targetType, in Check()
|
/arkcompiler/ets_frontend/ets2panda/ir/statements/ |
H A D | forOfStatement.cpp | 26 checker::Type *ForOfStatement::CreateUnionIteratorTypes(checker::ETSChecker *checker, checker::Type *exprType) in CreateUnionIteratorTypes() argument 30 for (auto it : exprType->AsETSUnionType()->ConstituentTypes()) { in CreateUnionIteratorTypes() 251 if (auto *exprType = right_->TsType(); exprType != nullptr) { in CheckIteratorMethod() 252 if (exprType->IsETSObjectType()) { in CheckIteratorMethod() 253 return CheckIteratorMethodForObject(checker, exprType->AsETSObjectType()); in CheckIteratorMethod() 256 if (exprType->IsETSUnionType()) { in CheckIteratorMethod() 257 return this->CreateUnionIteratorTypes(checker, exprType); in CheckIteratorMethod()
|
H A D | forOfStatement.h | 116 checker::Type *CreateUnionIteratorTypes(checker::ETSChecker *checker, checker::Type *exprType);
|
/arkcompiler/ets_frontend/es2panda/ir/statements/ |
H A D | switchStatement.cpp | 85 checker::Type *exprType = discriminant_->Check(checker); in Check() local 86 bool exprIsLiteral = checker::Checker::IsLiteralType(exprType); in Check() 92 checker::Type *comparedExprType = exprType; in Check() 96 comparedExprType = checker->GetBaseTypeOfLiteralType(exprType); in Check()
|
/arkcompiler/ets_frontend/ets2panda/compiler/core/ |
H A D | ETSCompiler.cpp | 149 const auto *exprType = expr->TypeReference()->TsType(); in Compile() local 152 expr->TypeReference()->IsETSTypeReference() && exprType->IsETSUnionType() && in Compile() 153 exprType->AsETSUnionType()->HasType(etsg->Checker()->GlobalETSUndefinedType()); in Compile() 168 const compiler::TargetTypeContext ttctx2(etsg, exprType); in Compile() 171 exprType = etsg->LoadDefaultValue(expr, exprType); in Compile() 175 etsg->StoreArrayElement(expr, arr, indexReg, exprType); in Compile() 251 static void HandleUnionTypeInForOf(compiler::ETSGen *etsg, checker::Type const *const exprType, in HandleUnionTypeInForOf() argument 256 for (auto it : exprType->AsETSUnionType()->ConstituentTypes()) { in HandleUnionTypeInForOf() 265 for (size_t i = 0; i < exprType in HandleUnionTypeInForOf() 299 GetSizeInForOf(compiler::ETSGen *etsg, checker::Type const *const exprType, const ir::ForOfStatement *st, VReg objReg) GetSizeInForOf() argument 419 auto *const exprType = expr->TsType(); Compile() local 1081 auto *const exprType = etsg->Checker()->GetApparentType(expr->TsType()); HandleEnumTypes() local 1420 checker::Type const *const exprType = st->Right()->TsType(); Compile() member in ark::es2panda::compiler::checker [all...] |
/arkcompiler/ets_frontend/ets2panda/checker/ |
H A D | ETSAnalyzer.cpp | 287 auto *exprType = literal->Check(checker); in Check() 289 if (exprType->IsETSVoidType()) { in Check() 296 typeArgTypes.push_back(exprType); // NOTE: Box it if it's a primitive type in Check() 349 auto exprType = [&checker](auto *tsType) { in Check() local 360 substitution, launchPromiseType->TypeArguments()[0]->AsETSTypeParameter()->GetOriginal(), exprType); in Check() 2125 checker::Type *const exprType = st->Right()->Check(checker); in Check() member in ark::es2panda::checker::checker 2126 if (exprType == nullptr) { in Check() 2133 if (exprType->IsETSStringType()) { in Check() 2135 } else if (exprType->IsETSArrayType()) { in Check() 2136 elemType = exprType in Check() 2659 auto exprType = expr->expr_->Check(checker); Check() local [all...] |
H A D | TSAnalyzer.cpp | 1254 checker::Type *exprType = st->Discriminant()->Check(checker); in Check() local 1255 bool exprIsLiteral = checker::TSChecker::IsLiteralType(exprType); in Check() 1261 checker::Type *comparedExprType = exprType; in Check() 1265 comparedExprType = checker->GetBaseTypeOfLiteralType(exprType); in Check() 1468 checker::Type *exprType = expr->Expr()->Check(checker); in Check() local 1477 return exprType; in Check() 1483 checker::Type *exprType = checker->GetBaseTypeOfLiteralType(expr->Expr()->Check(checker)); in Check() local 1487 targetType, exprType, in Check() 1488 {"Conversion of type '", exprType, "' to type '", targetType, in Check()
|
/arkcompiler/ets_frontend/ets2panda/checker/ets/ |
H A D | object.cpp | 1439 const auto *const exprType = expr->Property()->TsType(); 1440 ASSERT(exprType != nullptr); 1442 if (!exprType->HasTypeFlag(TypeFlag::CONSTANT) && !tuple->HasSpreadType()) { 1447 if (!exprType->HasTypeFlag(TypeFlag::ETS_ARRAY_INDEX | TypeFlag::LONG)) { 1452 auto exprValue = GetTupleElementAccessValue(exprType, expr->Property()->Start());
|