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 #include "chainExpression.h"
17
18 #include "checker/TSchecker.h"
19 #include "compiler/core/ETSGen.h"
20 #include "compiler/core/pandagen.h"
21
22 namespace ark::es2panda::ir {
TransformChildren(const NodeTransformer & cb,std::string_view transformationName)23 void ChainExpression::TransformChildren(const NodeTransformer &cb, std::string_view transformationName)
24 {
25 if (auto *transformedNode = cb(expression_); expression_ != transformedNode) {
26 expression_->SetTransformedNode(transformationName, transformedNode);
27 expression_ = transformedNode->AsExpression();
28 }
29 }
30
Iterate(const NodeTraverser & cb) const31 void ChainExpression::Iterate(const NodeTraverser &cb) const
32 {
33 cb(expression_);
34 }
35
Dump(ir::AstDumper * dumper) const36 void ChainExpression::Dump(ir::AstDumper *dumper) const
37 {
38 dumper->Add({{"type", "ChainExpression"}, {"expression", expression_}});
39 }
40
Dump(ir::SrcDumper * dumper) const41 void ChainExpression::Dump(ir::SrcDumper *dumper) const
42 {
43 dumper->Add("("); // affects precedence
44 expression_->Dump(dumper);
45 dumper->Add(")");
46 }
47
Compile(compiler::PandaGen * pg) const48 void ChainExpression::Compile(compiler::PandaGen *pg) const
49 {
50 pg->GetAstCompiler()->Compile(this);
51 }
52
CompileToReg(compiler::PandaGen * pg,compiler::VReg & objReg) const53 void ChainExpression::CompileToReg(compiler::PandaGen *pg, compiler::VReg &objReg) const
54 {
55 compiler::OptionalChain chain(pg, this);
56
57 if (expression_->IsMemberExpression()) {
58 objReg = pg->AllocReg();
59 expression_->AsMemberExpression()->CompileToReg(pg, objReg);
60 } else {
61 objReg = compiler::VReg::Invalid();
62 expression_->Compile(pg);
63 }
64 }
65
Compile(compiler::ETSGen * etsg) const66 void ChainExpression::Compile(compiler::ETSGen *etsg) const
67 {
68 etsg->GetAstCompiler()->Compile(this);
69 }
70
Check(checker::TSChecker * checker)71 checker::Type *ChainExpression::Check(checker::TSChecker *checker)
72 {
73 return checker->GetAnalyzer()->Check(this);
74 }
75
Check(checker::ETSChecker * checker)76 checker::VerifiedType ChainExpression::Check(checker::ETSChecker *checker)
77 {
78 return {this, checker->GetAnalyzer()->Check(this)};
79 }
80
Clone(ArenaAllocator * const allocator,AstNode * const parent)81 ChainExpression *ChainExpression::Clone(ArenaAllocator *const allocator, AstNode *const parent)
82 {
83 auto *const expression = expression_ != nullptr ? expression_->Clone(allocator, nullptr)->AsExpression() : nullptr;
84 auto *const clone = allocator->New<ChainExpression>(expression);
85
86 if (expression != nullptr) {
87 expression->SetParent(clone);
88 }
89
90 ES2PANDA_ASSERT(clone != nullptr);
91 if (parent != nullptr) {
92 clone->SetParent(parent);
93 }
94
95 clone->SetRange(Range());
96 return clone;
97 }
98 } // namespace ark::es2panda::ir
99