• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /**
2  * Copyright (c) 2021-2025 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_H_CONTINUE_STATEMENT_H
17 #define ES2PANDA_IR_STATEMENT_H_CONTINUE_STATEMENT_H
18 
19 #include "ir/statement.h"
20 #include "ir/expressions/identifier.h"
21 
22 namespace ark::es2panda::checker {
23 class ETSAnalyzer;
24 }  // namespace ark::es2panda::checker
25 
26 namespace ark::es2panda::compiler {
27 class ETSCompiler;
28 }  // namespace ark::es2panda::compiler
29 
30 namespace ark::es2panda::ir {
31 class ContinueStatement : public Statement {
32 public:
33     ~ContinueStatement() override = default;
34 
35     NO_COPY_SEMANTIC(ContinueStatement);
36     NO_MOVE_SEMANTIC(ContinueStatement);
37 
ContinueStatement()38     explicit ContinueStatement() : Statement(AstNodeType::CONTINUE_STATEMENT) {}
ContinueStatement(Identifier * ident)39     explicit ContinueStatement(Identifier *ident) : Statement(AstNodeType::CONTINUE_STATEMENT), ident_(ident) {}
40 
Ident()41     [[nodiscard]] const Identifier *Ident() const noexcept
42     {
43         return ident_;
44     }
45 
Ident()46     Identifier *Ident() noexcept
47     {
48         return ident_;
49     }
50 
Target()51     [[nodiscard]] const ir::AstNode *Target() const
52     {
53         if (target_.has_value()) {
54             return target_.value();
55         }
56 
57         return nullptr;
58     }
59 
HasTarget()60     [[nodiscard]] bool HasTarget() const noexcept
61     {
62         return target_.has_value();
63     }
64 
SetTarget(ir::AstNode const * target)65     void SetTarget(ir::AstNode const *target) noexcept
66     {
67         target_ = target;
68     }
69 
70     void TransformChildren(const NodeTransformer &cb, std::string_view transformationName) override;
71     void Iterate(const NodeTraverser &cb) const override;
72     void Dump(ir::AstDumper *dumper) const override;
73     void Dump(ir::SrcDumper *dumper) const override;
74     void Compile(compiler::PandaGen *pg) const override;
75     void Compile(compiler::ETSGen *etsg) const override;
76     checker::Type *Check(checker::TSChecker *checker) override;
77     checker::VerifiedType Check(checker::ETSChecker *checker) override;
78 
Accept(ASTVisitorT * v)79     void Accept(ASTVisitorT *v) override
80     {
81         v->Accept(this);
82     }
83 
84     [[nodiscard]] ContinueStatement *Clone(ArenaAllocator *allocator, AstNode *parent) override;
85 
86 private:
87     Identifier *ident_ {};
88     std::optional<const ir::AstNode *> target_ {};
89 };
90 }  // namespace ark::es2panda::ir
91 
92 #endif
93