Lines Matching refs:Check
38 checker::Type *ETSAnalyzer::Check(ir::CatchClause *st) const
53 st->Body()->Check(checker);
59 checker::Type *ETSAnalyzer::Check(ir::ClassDefinition *node) const
74 checker::Type *ETSAnalyzer::Check(ir::ClassProperty *st) const
96 checker::Type *ETSAnalyzer::Check(ir::ClassStaticBlock *st) const
117 func->Body()->Check(checker);
151 checker::Type *ETSAnalyzer::Check(ir::MethodDefinition *node) const
200 overload->Check(checker);
257 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::Property *expr) const
262 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::SpreadElement *expr) const
266 expr->AsSpreadElement()->Argument()->AsIdentifier()->Check(checker)->AsETSArrayType()->ElementType();
271 checker::Type *ETSAnalyzer::Check(ir::TemplateElement *expr) const
278 checker::Type *ETSAnalyzer::Check(ir::ETSClassLiteral *expr) const
287 auto *exprType = literal->Check(checker);
305 checker::Type *ETSAnalyzer::Check(ir::ETSFunctionType *node) const
336 checker::Type *ETSAnalyzer::Check(ir::ETSLaunchExpression *expr) const
339 expr->expr_->Check(checker);
366 checker::Type *ETSAnalyzer::Check(ir::ETSNewArrayInstanceExpression *expr) const
434 checker::Type *ETSAnalyzer::Check(ir::ETSNewClassInstanceExpression *expr) const
486 checker::Type *ETSAnalyzer::Check(ir::ETSNewMultiDimArrayInstanceExpression *expr) const
501 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::ETSPackageDeclaration *st) const
506 checker::Type *ETSAnalyzer::Check(ir::ETSParameterExpression *expr) const
515 paramType = !expr->IsRestParameter() ? expr->Ident()->Check(checker) : expr->spread_->Check(checker);
518 [[maybe_unused]] auto *const initType = expr->Initializer()->Check(checker);
528 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::ETSPrimitiveType *node) const
534 checker::Type *ETSAnalyzer::Check(ir::ETSStructDeclaration *node) const
537 node->Definition()->Check(checker);
541 checker::Type *ETSAnalyzer::Check(ir::ETSTypeReference *node) const
547 checker::Type *ETSAnalyzer::Check(ir::ETSTypeReferencePart *node) const
553 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::ETSNullType *node) const
558 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::ETSUndefinedType *node) const
563 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::ETSStringLiteralType *node) const
636 checker::Type *elementType = currentElement->Check(checker);
675 checker::Type *ETSAnalyzer::Check(ir::ArrayExpression *expr) const
695 expr->preferredType_ = checker->CreateETSArrayType(expr->Elements()[0]->Check(checker));
725 checker::Type *ETSAnalyzer::Check(ir::ArrowFunctionExpression *expr) const
767 expr->Function()->Body()->Check(checker);
835 checker::Type *ETSAnalyzer::Check(ir::AssignmentExpression *const expr) const
842 auto *const leftType = expr->Left()->Check(checker);
918 sourceType = expr->Right()->Check(checker);
930 checker::Type *ETSAnalyzer::Check(ir::AwaitExpression *expr) const
937 checker::Type *argType = checker->GetApparentType(expr->argument_->Check(checker));
938 // Check the argument type of await expression
980 checker::Type *ETSAnalyzer::Check(ir::BinaryExpression *expr) const
997 checker::Type *ETSAnalyzer::Check(ir::BlockExpression *st) const
1005 st->Statements()[idx]->Check(checker);
1169 expr->Signature()->OwnerVar()->Declaration()->Node()->Check(checker);
1182 checker::Type *ETSAnalyzer::Check(ir::CallExpression *expr) const
1191 checker::Type *calleeType = checker->GetApparentType(expr->Callee()->Check(checker));
1200 calleeType = checker->GetApparentType(expr->Callee()->Check(checker));
1236 checker::Type *ETSAnalyzer::Check(ir::ConditionalExpression *expr) const
1250 auto *consequentType = consequent->Check(checker);
1266 auto *alternateType = alternate->Check(checker);
1298 checker::Type *ETSAnalyzer::Check(ir::Identifier *expr) const
1354 checker::Type *ETSAnalyzer::Check(ir::MemberExpression *expr) const
1362 auto *baseType = checker->GetNonConstantType(checker->GetApparentType(expr->Object()->Check(checker)));
1438 checker::Type *ETSAnalyzer::Check(ir::ObjectExpression *expr) const
1455 value->Check(checker);
1552 value->SetTsType(value->Check(checker));
1568 checker::Type *ETSAnalyzer::Check(ir::OpaqueTypeNode *expr) const
1573 checker::Type *ETSAnalyzer::Check(ir::SequenceExpression *expr) const
1581 it->Check(checker);
1588 checker::Type *ETSAnalyzer::Check(ir::SuperExpression *expr) const
1599 checker::Type *ETSAnalyzer::Check(ir::TemplateLiteral *expr) const
1613 it->Check(checker);
1617 it->Check(checker);
1624 checker::Type *ETSAnalyzer::Check(ir::ThisExpression *expr) const
1723 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::TypeofExpression *expr) const
1730 expr->Argument()->Check(checker);
1735 checker::Type *ETSAnalyzer::Check(ir::UnaryExpression *expr) const
1743 auto argType = expr->argument_->Check(checker);
1795 checker::Type *ETSAnalyzer::Check(ir::UpdateExpression *expr) const
1802 checker::Type *operandType = expr->argument_->Check(checker);
1845 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::BigIntLiteral *expr) const
1852 checker::Type *ETSAnalyzer::Check(ir::BooleanLiteral *expr) const
1861 checker::Type *ETSAnalyzer::Check(ir::CharLiteral *expr) const
1870 checker::Type *ETSAnalyzer::Check(ir::NullLiteral *expr) const
1879 checker::Type *ETSAnalyzer::Check(ir::NamespaceDeclaration *st) const
1882 st->Definition()->Check(checker);
1886 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::NamespaceDefinition *st) const
1891 checker::Type *ETSAnalyzer::Check(ir::NumberLiteral *expr) const
1913 checker::Type *ETSAnalyzer::Check(ir::StringLiteral *expr) const
1922 checker::Type *ETSAnalyzer::Check(ir::ImportDeclaration *st) const
1928 type = spec->AsImportNamespaceSpecifier()->Check(checker);
1935 checker::Type *ETSAnalyzer::Check(ir::ImportNamespaceSpecifier *st) const
1958 checker::Type *ETSAnalyzer::Check(ir::AssertStatement *st) const
1961 if (!(st->Test()->Check(checker)->HasTypeFlag(TypeFlag::ETS_BOOLEAN | TypeFlag::BOOLEAN_LIKE) ||
1962 st->Test()->Check(checker)->ToString() == "Boolean")) {
1967 auto *msgType = st->second_->Check(checker);
1977 checker::Type *ETSAnalyzer::Check(ir::BlockStatement *st) const
1987 stmt->Check(checker);
1992 trailingBlock->Check(checker);
2020 checker::Type *ETSAnalyzer::Check(ir::BreakStatement *st) const
2033 checker::Type *ETSAnalyzer::Check(ir::ClassDeclaration *st) const
2036 st->Definition()->Check(checker);
2040 checker::Type *ETSAnalyzer::Check(ir::ContinueStatement *st) const
2053 checker::Type *ETSAnalyzer::Check(ir::DoWhileStatement *st) const
2062 st->Body()->Check(checker);
2068 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::EmptyStatement *st) const
2073 checker::Type *ETSAnalyzer::Check(ir::ExpressionStatement *st) const
2076 return st->GetExpression()->Check(checker);
2117 checker::Type *ETSAnalyzer::Check(ir::ForOfStatement *const st) const
2125 checker::Type *const exprType = st->Right()->Check(checker);
2150 st->Left()->Check(checker);
2156 st->Body()->Check(checker);
2162 checker::Type *ETSAnalyzer::Check(ir::ForUpdateStatement *st) const
2171 st->Init()->Check(checker);
2179 st->Update()->Check(checker);
2182 st->Body()->Check(checker);
2188 checker::Type *ETSAnalyzer::Check(ir::IfStatement *st) const
2202 st->Consequent()->Check(checker);
2217 st->Alternate()->Check(checker);
2241 checker::Type *ETSAnalyzer::Check(ir::LabelledStatement *st) const
2244 st->body_->Check(checker);
2286 checker::Type *argumentType = st->argument_->Check(checker);
2318 st->argument_->Check(checker);
2324 checker::Type *ETSAnalyzer::Check(ir::ReturnStatement *st) const
2351 checker::Type *ETSAnalyzer::Check(ir::SwitchStatement *st) const
2399 checker::Type *ETSAnalyzer::Check(ir::ThrowStatement *st) const
2402 auto *argType = st->argument_->Check(checker);
2413 checker::Type *ETSAnalyzer::Check(ir::TryStatement *st) const
2420 st->Block()->Check(checker);
2431 if (auto const exceptionType = catchClause->Check(checker);
2451 st->FinallyBlock()->Check(checker);
2457 checker::Type *ETSAnalyzer::Check(ir::VariableDeclarator *st) const
2496 checker::Type *ETSAnalyzer::Check(ir::VariableDeclaration *st) const
2500 it->Check(checker);
2506 checker::Type *ETSAnalyzer::Check(ir::WhileStatement *st) const
2515 st->Body()->Check(checker);
2521 checker::Type *ETSAnalyzer::Check(ir::TSArrayType *node) const
2524 node->elementType_->Check(checker);
2532 checker::Type *ETSAnalyzer::Check(ir::TSAsExpression *expr) const
2551 auto *const sourceType = expr->Expr()->Check(checker);
2601 checker::Type *ETSAnalyzer::Check(ir::TSEnumDeclaration *st) const
2609 Check(st->BoxedClass());
2629 checker::Type *ETSAnalyzer::Check(ir::TSInterfaceDeclaration *st) const
2649 it->Check(checker);
2655 checker::Type *ETSAnalyzer::Check(ir::TSNonNullExpression *expr) const
2659 auto exprType = expr->expr_->Check(checker);
2675 checker::Type *ETSAnalyzer::Check(ir::TSQualifiedName *expr) const
2678 checker::Type *baseType = expr->Left()->Check(checker);
2716 checker::Type *ETSAnalyzer::Check(ir::TSTypeAliasDeclaration *st) const
2724 st->TypeAnnotation()->Check(checker);
2759 st->TypeAnnotation()->Check(checker);