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_ETS_OPAQUE_TYPE_NODE_H
17 #define ES2PANDA_IR_ETS_OPAQUE_TYPE_NODE_H
18 
19 #include "ir/typeNode.h"
20 
21 namespace ark::es2panda::ir {
22 
23 /* Synthetic type node, generated by a lowering, whose internal structure is of no interest for the subsequent steps. */
24 
25 class OpaqueTypeNode : public TypeNode {
26 public:
27     OpaqueTypeNode() = delete;
28     ~OpaqueTypeNode() override = default;
29 
30     NO_COPY_SEMANTIC(OpaqueTypeNode);
31     NO_MOVE_SEMANTIC(OpaqueTypeNode);
32 
OpaqueTypeNode(checker::Type *const type)33     explicit OpaqueTypeNode(checker::Type *const type) : TypeNode(AstNodeType::OPAQUE_TYPE_NODE)
34     {
35         ASSERT(type != nullptr);
36         SetTsType(type);
37     }
38 
39     void TransformChildren(const NodeTransformer &cb, std::string_view transformationName) override;
40     void Iterate(const NodeTraverser &cb) const override;
41     void Dump(ir::AstDumper *dumper) const override;
42     void Dump(ir::SrcDumper *dumper) const override;
43     void Compile([[maybe_unused]] compiler::PandaGen *pg) const override;
44     void Compile([[maybe_unused]] compiler::ETSGen *etsg) const override;
45     checker::Type *Check([[maybe_unused]] checker::TSChecker *checker) override;
46     checker::Type *GetType([[maybe_unused]] checker::TSChecker *checker) override;
47     checker::Type *Check([[maybe_unused]] checker::ETSChecker *checker) override;
48     checker::Type *GetType([[maybe_unused]] checker::ETSChecker *checker) override;
49 
50     void Accept(ASTVisitorT *v) override
51     {
52         v->Accept(this);
53     }
54 };
55 }  // namespace ark::es2panda::ir
56 
57 #endif /* ES2PANDA_IR_TYPE_NODE_H */
58