1/**
2 * Copyright (c) 2021 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_IF_STATEMENT_H
17#define ES2PANDA_IR_STATEMENT_IF_STATEMENT_H
18
19#include "ir/statement.h"
20
21namespace panda::es2panda::compiler {
22class PandaGen;
23}  // namespace panda::es2panda::compiler
24
25namespace panda::es2panda::checker {
26class Checker;
27class Type;
28}  // namespace panda::es2panda::checker
29
30namespace panda::es2panda::ir {
31
32class Expression;
33
34class IfStatement : public Statement {
35public:
36    explicit IfStatement(Expression *test, Statement *consequent, Statement *alternate)
37        : Statement(AstNodeType::IF_STATEMENT),
38          test_(test),
39          consequent_(consequent),
40          alternate_(alternate)
41    {
42    }
43
44    const Expression *Test() const
45    {
46        return test_;
47    }
48
49    const Statement *Consequent() const
50    {
51        return consequent_;
52    }
53
54    const Statement *Alternate() const
55    {
56        return alternate_;
57    }
58    void Iterate(const NodeTraverser &cb) const override;
59    void Dump(ir::AstDumper *dumper) const override;
60    void Compile(compiler::PandaGen *pg) const override;
61    checker::Type *Check(checker::Checker *checker) const override;
62    void UpdateSelf(const NodeUpdater &cb, binder::Binder *binder) override;
63
64protected:
65    Statement *UpdateIfStatementChildStatement(const NodeUpdater &cb,
66                                               const binder::Binder *binder,
67                                               Statement *statement) const;
68
69    Expression *test_;
70    Statement *consequent_;
71    Statement *alternate_;
72};
73
74}  // namespace panda::es2panda::ir
75
76#endif
77