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_ASSERT_STATEMENT_H
17 #define ES2PANDA_IR_STATEMENT_ASSERT_STATEMENT_H
18 
19 #include "ir/statement.h"
20 
21 namespace ark::es2panda::checker {
22 class ETSAnalyzer;
23 }  // namespace ark::es2panda::checker
24 
25 namespace ark::es2panda::ir {
26 class Expression;
27 
28 class AssertStatement : public Statement {
29 public:
AssertStatement(Expression *test, Expression *second)30     explicit AssertStatement(Expression *test, Expression *second)
31         : Statement(AstNodeType::ASSERT_STATEMENT), test_(test), second_(second)
32     {
33     }
34     // NOTE (somas): this friend relationship can be removed once there are getters for private fields
35     friend class checker::ETSAnalyzer;
36 
Test() const37     const Expression *Test() const
38     {
39         return test_;
40     }
41 
Test()42     Expression *Test()
43     {
44         return test_;
45     }
46 
Second() const47     const Expression *Second() const
48     {
49         return second_;
50     }
51 
52     void TransformChildren(const NodeTransformer &cb, std::string_view transformationName) override;
53     void Iterate(const NodeTraverser &cb) const override;
54     void Dump(ir::AstDumper *dumper) const override;
55     void Dump(ir::SrcDumper *dumper) const override;
56     void Compile([[maybe_unused]] compiler::PandaGen *pg) const override;
57     void Compile([[maybe_unused]] compiler::ETSGen *etsg) const override;
58     checker::Type *Check([[maybe_unused]] checker::TSChecker *checker) override;
59     checker::Type *Check([[maybe_unused]] checker::ETSChecker *checker) override;
60 
61     void Accept(ASTVisitorT *v) override
62     {
63         v->Accept(this);
64     }
65 
66 private:
67     Expression *test_;
68     Expression *second_;
69 };
70 }  // namespace ark::es2panda::ir
71 
72 #endif
73