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
22namespace panda::es2panda::compiler {
23class PandaGen;
24}  // namespace panda::es2panda::compiler
25
26namespace panda::es2panda::checker {
27class Checker;
28class Type;
29}  // namespace panda::es2panda::checker
30
31namespace panda::es2panda::ir {
32
33class SpreadElement : public Expression {
34public:
35    explicit SpreadElement(AstNodeType nodeType, Expression *argument) : Expression(nodeType), argument_(argument) {}
36
37    const Expression *Argument() const
38    {
39        return argument_;
40    }
41
42    Expression *Argument()
43    {
44        return argument_;
45    }
46
47    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
62private:
63    Expression *argument_;
64    Expression *typeAnnotation_ {};
65};
66
67}  // namespace panda::es2panda::ir
68
69#endif
70