1 /*
2  * Copyright (c) 2021-2024 Huawei Device Co., Ltd.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at
6  *
7  * http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15 
16 #ifndef ES2PANDA_CHECKER_ETSANALYZER_H
17 #define ES2PANDA_CHECKER_ETSANALYZER_H
18 
19 #include "checker/SemanticAnalyzer.h"
20 #include "checker/ETSchecker.h"
21 #include "ETSAnalyzerHelpers.h"
22 
23 namespace ark::es2panda::checker {
24 
25 class ETSAnalyzer final : public SemanticAnalyzer {
26 public:
ETSAnalyzer(Checker *checker)27     explicit ETSAnalyzer(Checker *checker) : SemanticAnalyzer(checker) {};
28 
29 // NOLINTNEXTLINE(cppcoreguidelines-macro-usage)
30 #define DECLARE_ETSANALYZER_CHECK_METHOD(_, nodeType) checker::Type *Check(ir::nodeType *node) const override;
31     AST_NODE_MAPPING(DECLARE_ETSANALYZER_CHECK_METHOD)
32 #undef DECLARE_ETSANALYZER_CHECK_METHOD
33 
34 // NOLINTNEXTLINE(cppcoreguidelines-macro-usage)
35 #define DECLARE_ETSANALYZER_CHECK_METHOD(_, __, nodeType, ___) \
36     virtual checker::Type *Check(ir::nodeType *node) const override;
37     AST_NODE_REINTERPRET_MAPPING(DECLARE_ETSANALYZER_CHECK_METHOD)
38 #undef DECLARE_ETSANALYZER_CHECK_METHOD
39     checker::Type *PreferredType(ir::ObjectExpression *expr) const;
40     checker::Type *GetPreferredType(ir::ArrayExpression *expr) const;
41     void CheckObjectExprProps(const ir::ObjectExpression *expr, checker::PropertySearchFlags searchFlags) const;
42     std::tuple<Type *, ir::Expression *> CheckAssignmentExprOperatorType(ir::AssignmentExpression *expr,
43                                                                          Type *leftType) const;
44 
45 private:
46     ETSChecker *GetETSChecker() const;
47     void CheckInstantatedClass(ir::ETSNewClassInstanceExpression *expr, ETSObjectType *&calleeObj) const;
48     void CheckMethodModifiers(ir::MethodDefinition *node) const;
49     checker::Signature *ResolveSignature(ETSChecker *checker, ir::CallExpression *expr, checker::Type *calleeType,
50                                          bool isFunctionalInterface, bool isUnionTypeWithFunctionalInterface) const;
51     checker::Type *GetReturnType(ir::CallExpression *expr, checker::Type *calleeType) const;
52     checker::Type *GetFunctionReturnType(ir::ReturnStatement *st, ir::ScriptFunction *containingFunc) const;
53     checker::Type *GetCallExpressionReturnType(ir::CallExpression *expr, checker::Type *calleeType) const;
54     checker::Type *UnwrapPromiseType(checker::Type *type) const;
55     checker::Type *GetSmartType(ir::AssignmentExpression *expr, checker::Type *leftType,
56                                 checker::Type *rightType) const;
57     bool CheckInferredFunctionReturnType(ir::ReturnStatement *st, ir::ScriptFunction *containingFunc,
58                                          checker::Type *&funcReturnType, ir::TypeNode *returnTypeAnnotation,
59                                          ETSChecker *checker) const;
60 
GetCalleeType(ETSChecker *checker, ir::ETSNewClassInstanceExpression *expr) const61     checker::Type *GetCalleeType(ETSChecker *checker, ir::ETSNewClassInstanceExpression *expr) const
62     {
63         checker::Type *calleeType = expr->GetTypeRef()->Check(checker);
64         if (calleeType->IsTypeError()) {
65             expr->GetTypeRef()->SetTsType(checker->GlobalTypeError());
66             return checker->GlobalTypeError();
67         }
68 
69         if (!calleeType->IsETSObjectType()) {
70             checker->LogTypeError("This expression is not constructible.", expr->Start());
71             expr->GetTypeRef()->SetTsType(checker->GlobalTypeError());
72             return checker->GlobalTypeError();
73         }
74 
75         return calleeType;
76     }
77 
CheckVoidTypeExpression(ETSChecker *checker, const ir::Expression *expr) const78     void CheckVoidTypeExpression(ETSChecker *checker, const ir::Expression *expr) const
79     {
80         // Existing void expression inconsistency,refer to #17762
81         if (expr->TsType() == nullptr || !expr->TsType()->IsETSVoidType() || expr->Parent() == nullptr) {
82             return;
83         }
84         auto parent = expr->Parent();
85         while (parent->IsConditionalExpression()) {
86             parent = parent->Parent();
87             if (parent == nullptr) {
88                 return;
89             }
90         }
91         bool acceptVoid = parent->IsExpressionStatement() || parent->IsReturnStatement() ||
92                           parent->IsETSLaunchExpression() || parent->IsCallExpression();
93         if (!acceptVoid) {
94             checker->LogTypeError({"Cannot use type 'void' as value. "}, expr->Start());
95         }
96     }
97 };
98 
99 }  // namespace ark::es2panda::checker
100 
101 #endif  // ES2PANDA_CHECKER_ETSANALYZER_H
102