Lines Matching +full:checker +full:-

2  * Copyright (c) 2021-2025 Huawei Device Co., Ltd.
7  * http://www.apache.org/licenses/LICENSE-2.0
19 #include "checker/SemanticAnalyzer.h"
20 #include "checker/ETSchecker.h"
23 namespace ark::es2panda::checker {
27     explicit ETSAnalyzer(Checker *checker) : SemanticAnalyzer(checker) {};  in ETSAnalyzer()  argument
28 // CC-OFFNXT(G.PRE.02,G.PRE.09) name part
29 // NOLINTNEXTLINE(cppcoreguidelines-macro-usage)
30 #define DECLARE_ETSANALYZER_CHECK_METHOD(_, nodeType) checker::Type *Check(ir::nodeType *node) cons…
34 // NOLINTNEXTLINE(cppcoreguidelines-macro-usage)
36 …virtual checker::Type *Check(ir::nodeType *node) const override;  // CC-OFF(G.PRE.02,G.PRE.09) nam…
39     checker::Type *PreferredType(ir::ObjectExpression *expr) const;
40     checker::Type *CheckDynamic(ir::ObjectExpression *expr) const;
41     checker::Type *GetPreferredType(ir::ArrayExpression *expr) const;
43 …void CheckObjectExprProps(const ir::ObjectExpression *expr, checker::ETSObjectType *objectTypeForP…
44                               checker::PropertySearchFlags searchFlags) const;
47 …[[nodiscard]] checker::Type *ReturnTypeForStatement([[maybe_unused]] const ir::Statement *const st…
53     checker::Signature *ResolveSignature(ETSChecker *checker, ir::CallExpression *expr,
54                                          checker::Type *calleeType) const;
55     checker::Type *GetReturnType(ir::CallExpression *expr, checker::Type *calleeType) const;
56 …checker::Type *GetFunctionReturnType(ir::ReturnStatement *st, ir::ScriptFunction *containingFunc) …
57 …checker::Type *GetCallExpressionReturnType(ir::CallExpression *expr, checker::Type *calleeType) co…
58     checker::Type *UnwrapPromiseType(checker::Type *type) const;
59     checker::Type *GetSmartType(ir::AssignmentExpression *expr, checker::Type *leftType,
60                                 checker::Type *rightType) const;
62 …                                checker::Type *&funcReturnType, ir::TypeNode *returnTypeAnnotation,
63                                          ETSChecker *checker) const;
64     void CheckClassProperty(ETSChecker *checker, ir::ScriptFunction *scriptFunc) const;
66     checker::Type *ResolveMemberExpressionByBaseType(ETSChecker *checker, checker::Type *baseType,
69     void CheckVoidTypeExpression(ETSChecker *checker, const ir::Expression *expr) const  in CheckVoidTypeExpression()  argument
72 …  if (expr->TsType() == nullptr || !expr->TsType()->IsETSVoidType() || expr->Parent() == nullptr) {  in CheckVoidTypeExpression()
75         auto parent = expr->Parent();  in CheckVoidTypeExpression()
76         while (parent->IsConditionalExpression()) {  in CheckVoidTypeExpression()
77             parent = parent->Parent();  in CheckVoidTypeExpression()
82         bool acceptVoid = parent->IsExpressionStatement() || parent->IsReturnStatement();  in CheckVoidTypeExpression()
84             checker->LogError(diagnostic::VOID_VALUE, {}, expr->Start());  in CheckVoidTypeExpression()
90 }  // namespace ark::es2panda::checker