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_PARSER_INCLUDE_AST_SPREAD_ELEMENT_H
17 #define ES2PANDA_PARSER_INCLUDE_AST_SPREAD_ELEMENT_H
18 
19 #include <ir/expression.h>
20 #include <ir/validationInfo.h>
21 
22 namespace panda::es2panda::compiler {
23 class PandaGen;
24 }  // namespace panda::es2panda::compiler
25 
26 namespace panda::es2panda::checker {
27 class Checker;
28 class Type;
29 }  // namespace panda::es2panda::checker
30 
31 namespace panda::es2panda::ir {
32 
33 class SpreadElement : public Expression {
34 public:
SpreadElement(AstNodeType nodeType, Expression *argument)35     explicit SpreadElement(AstNodeType nodeType, Expression *argument) : Expression(nodeType), argument_(argument) {}
36 
Argument() const37     const Expression *Argument() const
38     {
39         return argument_;
40     }
41 
Argument()42     Expression *Argument()
43     {
44         return argument_;
45     }
46 
TypeAnnotation() const47     const Expression *TypeAnnotation() const
48     {
49         return typeAnnotation_;
50     }
51 
52     ValidationInfo ValidateExpression();
53     bool ConvertibleToRest(bool isDeclaration, bool allowPattern = true);
54 
55     void SetTsTypeAnnotation(Expression *typeAnnotation) override;
56     void Iterate(const NodeTraverser &cb) const override;
57     void Dump(ir::AstDumper *dumper) const override;
58     void Compile([[maybe_unused]] compiler::PandaGen *pg) const override;
59     checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
60     void UpdateSelf(const NodeUpdater &cb, [[maybe_unused]] binder::Binder *binder) override;
61 
62 private:
63     Expression *argument_;
64     Expression *typeAnnotation_ {};
65 };
66 
67 }  // namespace panda::es2panda::ir
68 
69 #endif
70