TSAnalyzer.cpp - OpenGrok cross reference for /arkcompiler/ets_frontend/ets2panda/checker/TSAnalyzer.cpp

Lines Matching refs:Check
29 checker::Type *TSAnalyzer::Check(ir::CatchClause *st) const
35         checker::Type *catchParamType = typeAnnotation->Check(checker);
43     st->Body()->Check(checker);
48 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassDefinition *node) const
55 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::MetaProperty *expr) const
62 checker::Type *TSAnalyzer::Check(ir::TSIndexSignature *node) const
70     node->typeAnnotation_->Check(checker);
87 checker::Type *TSAnalyzer::Check(ir::TSMethodSignature *node) const
109     returnType->Check(checker);
115 checker::Type *TSAnalyzer::Check(ir::TSPropertySignature *node) const
119         node->TypeAnnotation()->Check(checker);
135 checker::Type *TSAnalyzer::Check(ir::TSSignatureDeclaration *node) const
161     node->ReturnTypeAnnotation()->Check(checker);
242 checker::Type *TSAnalyzer::Check(ir::ArrayExpression *expr) const
252             checker::Type *spreadType = it->AsSpreadElement()->Argument()->Check(checker);
265         checker::Type *elementType = it->Check(checker);
306 checker::Type *TSAnalyzer::Check(ir::ArrowFunctionExpression *expr) const
333         expr->Function()->Body()->Check(checker);
377 checker::Type *TSAnalyzer::Check(ir::AssignmentExpression *expr) const
403     auto *leftType = expr->Left()->Check(checker);
414     auto *rightType = expr->Right()->Check(checker);
419 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::AwaitExpression *expr) const
458 checker::Type *TSAnalyzer::Check(ir::BinaryExpression *expr) const
462     leftRightType.leftType = expr->Left()->Check(checker);
463     leftRightType.rightType = expr->Right()->Check(checker);
514 checker::Type *TSAnalyzer::Check(ir::CallExpression *expr) const
517     checker::Type *calleeType = expr->callee_->Check(checker);
529 checker::Type *TSAnalyzer::Check(ir::ChainExpression *expr) const
532     return expr->expression_->Check(checker);
535 checker::Type *TSAnalyzer::Check(ir::ConditionalExpression *expr) const
538     checker::Type *testType = expr->Test()->Check(checker);
543     checker::Type *consequentType = expr->Consequent()->Check(checker);
544     checker::Type *alternateType = expr->Alternate()->Check(checker);
549 checker::Type *TSAnalyzer::Check(ir::FunctionExpression *expr) const
575     expr->Function()->Body()->Check(checker);
580 checker::Type *TSAnalyzer::Check(ir::Identifier *expr) const
641 checker::Type *TSAnalyzer::Check(ir::MemberExpression *expr) const
644     checker::Type *baseType = checker->CheckNonNullType(expr->Object()->Check(checker), expr->Object()->Start());
647         checker::Type *indexType = expr->Property()->Check(checker);
685 checker::Type *TSAnalyzer::Check(ir::NewExpression *expr) const
688     checker::Type *calleeType = expr->callee_->Check(checker);
730         checker::Type *funcType = prop->Value()->Check(checker);
741         return prop->Key()->Check(checker);
744     return prop->Value()->Check(checker);
753     checker::Type *const spreadType = it->AsSpreadElement()->Argument()->Check(checker);
822 checker::Type *TSAnalyzer::Check(ir::ObjectExpression *expr) const
841                 computedNumberPropTypes.push_back(prop->Value()->Check(checker));
847                 computedStringPropTypes.push_back(prop->Value()->Check(checker));
884 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::OmittedExpression *expr) const
890 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::OpaqueTypeNode *expr) const
895 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::SequenceExpression *expr) const
902 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::SuperExpression *expr) const
909 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TaggedTemplateExpression *expr) const
916 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TemplateLiteral *expr) const
923 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ThisExpression *expr) const
930 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TypeofExpression *expr) const
939     checker::Type *propType = expr->argument_->Check(checker);
976 checker::Type *TSAnalyzer::Check(ir::UnaryExpression *expr) const
979     checker::Type *operandType = expr->argument_->Check(checker);
1033 checker::Type *TSAnalyzer::Check(ir::UpdateExpression *expr) const
1036     checker::Type *operandType = expr->argument_->Check(checker);
1051 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::YieldExpression *expr) const
1058 checker::Type *TSAnalyzer::Check(ir::BigIntLiteral *expr) const
1071 checker::Type *TSAnalyzer::Check(ir::BooleanLiteral *expr) const
1077 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::NullLiteral *expr) const
1083 checker::Type *TSAnalyzer::Check(ir::NumberLiteral *expr) const
1096 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::RegExpLiteral *expr) const
1103 checker::Type *TSAnalyzer::Check(ir::StringLiteral *expr) const
1117 checker::Type *TSAnalyzer::Check(ir::BlockStatement *st) const
1123         it->Check(checker);
1129 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::BreakStatement *st) const
1134 checker::Type *TSAnalyzer::Check(ir::DoWhileStatement *st) const
1139     checker::Type *testType = st->Test()->Check(checker);
1141     st->Body()->Check(checker);
1146 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::EmptyStatement *st) const
1151 checker::Type *TSAnalyzer::Check(ir::ExpressionStatement *st) const
1154     return st->GetExpression()->Check(checker);
1157 checker::Type *TSAnalyzer::Check(ir::ForUpdateStatement *st) const
1163         st->Init()->Check(checker);
1167         checker::Type *testType = st->Test()->Check(checker);
1172         st->Update()->Check(checker);
1175     st->Body()->Check(checker);
1180 checker::Type *TSAnalyzer::Check(ir::FunctionDeclaration *st) const
1197     st->Function()->Body()->Check(checker);
1202 checker::Type *TSAnalyzer::Check(ir::IfStatement *st) const
1205     checker::Type *testType = st->Test()->Check(checker);
1209     st->Consequent()->Check(checker);
1212         st->Alternate()->Check(checker);
1218 checker::Type *TSAnalyzer::Check(ir::ReturnStatement *st) const
1249 checker::Type *TSAnalyzer::Check(ir::SwitchStatement *st) const
1254     checker::Type *exprType = st->Discriminant()->Check(checker);
1259             checker::Type *caseType = it->Test()->Check(checker);
1276             caseStmt->Check(checker);
1283 checker::Type *TSAnalyzer::Check(ir::TryStatement *st) const
1286     st->Block()->Check(checker);
1290             catchClause->Check(checker);
1295         st->finalizer_->Check(checker);
1315         typeAnnotation->Check(checker);
1354 checker::Type *TSAnalyzer::Check(ir::VariableDeclarator *st) const
1390 checker::Type *TSAnalyzer::Check(ir::VariableDeclaration *st) const
1394         it->Check(checker);
1400 checker::Type *TSAnalyzer::Check(ir::WhileStatement *st) const
1405     checker::Type *testType = st->Test()->Check(checker);
1408     st->Body()->Check(checker);
1412 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSAnyKeyword *node) const
1417 checker::Type *TSAnalyzer::Check(ir::TSArrayType *node) const
1420     node->elementType_->Check(checker);
1463 checker::Type *TSAnalyzer::Check(ir::TSAsExpression *expr) const
1468         checker::Type *exprType = expr->Expr()->Check(checker);
1482     expr->TypeAnnotation()->Check(checker);
1483     checker::Type *exprType = checker->GetBaseTypeOfLiteralType(expr->Expr()->Check(checker));
1496 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSBigintKeyword *node) const
1501 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSBooleanKeyword *node) const
1506 checker::Type *TSAnalyzer::Check(ir::TSConstructorType *node) const
1513     node->ReturnType()->Check(checker);
1833 checker::Type *TSAnalyzer::Check(ir::TSEnumDeclaration *st) const
1849 checker::Type *TSAnalyzer::Check(ir::TSFunctionType *node) const
1856     node->ReturnType()->Check(checker);
1863 checker::Type *TSAnalyzer::Check(ir::TSIndexedAccessType *node) const
1866     node->objectType_->Check(checker);
1867     node->indexType_->Check(checker);
1888 checker::Type *TSAnalyzer::Check(ir::TSInterfaceBody *expr) const
1892         it->Check(checker);
1937 checker::Type *TSAnalyzer::Check(ir::TSInterfaceDeclaration *st) const
1967     st->Body()->Check(checker);
1972 checker::Type *TSAnalyzer::Check(ir::TSLiteralType *node) const
1979 checker::Type *TSAnalyzer::Check(ir::TSNamedTupleMember *node) const
1982     node->ElementType()->Check(checker);
1986 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSNeverKeyword *node) const
1991 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSNullKeyword *node) const
1996 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSNumberKeyword *node) const
2001 checker::Type *TSAnalyzer::Check(ir::TSParenthesizedType *node) const
2004     node->type_->Check(checker);
2008 checker::Type *TSAnalyzer::Check(ir::TSQualifiedName *expr) const
2011     checker::Type *baseType = checker->CheckNonNullType(expr->Left()->Check(checker), expr->Left()->Start());
2031 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSStringKeyword *node) const
2036 checker::Type *TSAnalyzer::Check(ir::TSTupleType *node) const
2040         it->Check(checker);
2047 checker::Type *TSAnalyzer::Check(ir::TSTypeAliasDeclaration *st) const
2050     st->TypeAnnotation()->Check(checker);
2054 checker::Type *TSAnalyzer::Check(ir::TSTypeLiteral *node) const
2059         it->Check(checker);
2068 checker::Type *TSAnalyzer::Check(ir::TSTypeQuery *node) const
2075     node->SetTsType(node->exprName_->Check(checker));
2079 checker::Type *TSAnalyzer::Check(ir::TSTypeReference *node) const
2086 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSUndefinedKeyword *node) const
2091 checker::Type *TSAnalyzer::Check(ir::TSUnionType *node) const
2095         it->Check(checker);
2102 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSUnknownKeyword *node) const
2107 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::TSVoidKeyword *node) const