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_IR_STATEMENT_SWITCH_CASE_STATEMENT_H
17 #define ES2PANDA_IR_STATEMENT_SWITCH_CASE_STATEMENT_H
18 
19 #include "ir/statement.h"
20 
21 namespace ark::es2panda::ir {
22 class Expression;
23 
24 class SwitchCaseStatement : public Statement {
25 public:
26     SwitchCaseStatement() = delete;
27     ~SwitchCaseStatement() override = default;
28 
29     NO_COPY_SEMANTIC(SwitchCaseStatement);
30     NO_MOVE_SEMANTIC(SwitchCaseStatement);
31 
SwitchCaseStatement(Expression *test, ArenaVector<Statement *> &&consequent)32     explicit SwitchCaseStatement(Expression *test, ArenaVector<Statement *> &&consequent)
33         : Statement(AstNodeType::SWITCH_CASE_STATEMENT), test_(test), consequent_(std::move(consequent))
34     {
35     }
36 
37     [[nodiscard]] Expression *Test() noexcept
38     {
39         return test_;
40     }
41 
42     [[nodiscard]] const Expression *Test() const noexcept
43     {
44         return test_;
45     }
46 
47     [[nodiscard]] const ArenaVector<Statement *> &Consequent() const noexcept
48     {
49         return consequent_;
50     }
51 
52     void TransformChildren(const NodeTransformer &cb, std::string_view transformationName) override;
53 
54     void Iterate(const NodeTraverser &cb) const override;
55     void Dump(ir::AstDumper *dumper) const override;
56     void Dump(ir::SrcDumper *dumper) const override;
57     void Compile(compiler::PandaGen *pg) const override;
58     void Compile(compiler::ETSGen *etsg) const override;
59     checker::Type *Check(checker::TSChecker *checker) override;
60     checker::Type *Check(checker::ETSChecker *checker) override;
61 
62     void CheckAndTestCase(checker::ETSChecker *checker, checker::Type *comparedExprType, checker::Type *unboxedDiscType,
63                           ir::Expression *node, bool &isDefaultCase);
64 
65     void Accept(ASTVisitorT *v) override
66     {
67         v->Accept(this);
68     }
69 
70 private:
71     Expression *test_;
72     ArenaVector<Statement *> consequent_;
73 };
74 }  // namespace ark::es2panda::ir
75 
76 #endif
77