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_TS_NON_NULL_EXPRESSION_H
17 #define ES2PANDA_IR_TS_NON_NULL_EXPRESSION_H
18 
19 #include "ir/expression.h"
20 
21 namespace ark::es2panda::checker {
22 class ETSAnalyzer;
23 }  // namespace ark::es2panda::checker
24 namespace ark::es2panda::ir {
25 class TSNonNullExpression : public Expression {
26 public:
TSNonNullExpression(Expression *expr)27     explicit TSNonNullExpression(Expression *expr) : Expression(AstNodeType::TS_NON_NULL_EXPRESSION), expr_(expr) {}
28 
29     // NOTE (vivienvoros): these friend relationships can be removed once there are getters for private fields
30     friend class checker::ETSAnalyzer;
31 
32     const Expression *Expr() const noexcept
33     {
34         return expr_;
35     }
36 
37     Expression *Expr() noexcept
38     {
39         return expr_;
40     }
41 
42     void SetExpr(Expression *expr) noexcept
43     {
44         expr_ = expr;
45     }
46 
47     checker::Type *OriginalType() const noexcept
48     {
49         return originalType_;
50     }
51 
52     void SetOriginalType(checker::Type *type) noexcept
53     {
54         originalType_ = type;
55     }
56 
57     void TransformChildren(const NodeTransformer &cb, std::string_view transformationName) override;
58     void Iterate(const NodeTraverser &cb) const override;
59     void Dump(ir::AstDumper *dumper) const override;
60     void Dump(ir::SrcDumper *dumper) const override;
61     void Compile([[maybe_unused]] compiler::PandaGen *pg) const override;
62     void Compile([[maybe_unused]] compiler::ETSGen *etsg) const override;
63     checker::Type *Check([[maybe_unused]] checker::TSChecker *checker) override;
64     checker::Type *Check([[maybe_unused]] checker::ETSChecker *checker) override;
65 
66     void Accept(ASTVisitorT *v) override
67     {
68         v->Accept(this);
69     }
70 
71     [[nodiscard]] TSNonNullExpression *Clone(ArenaAllocator *allocator, AstNode *parent) override;
72 
73 private:
74     Expression *expr_;
75     checker::Type *originalType_ = nullptr;
76 };
77 }  // namespace ark::es2panda::ir
78 
79 #endif
80