1 /*
2 * Copyright (c) 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 "etsKeyofType.h"
17
18 #include "checker/ETSchecker.h"
19
20 namespace ark::es2panda::ir {
TransformChildren(const NodeTransformer & cb,std::string_view const transformationName)21 void ETSKeyofType::TransformChildren(const NodeTransformer &cb, std::string_view const transformationName)
22 {
23 if (auto *transformedNode = cb(type_); type_ != transformedNode) {
24 type_->SetTransformedNode(transformationName, transformedNode);
25 type_ = static_cast<TypeNode *>(transformedNode);
26 }
27 }
28
Iterate(const NodeTraverser & cb) const29 void ETSKeyofType::Iterate(const NodeTraverser &cb) const
30 {
31 cb(type_);
32 }
33
Dump(ir::AstDumper * dumper) const34 void ETSKeyofType::Dump(ir::AstDumper *dumper) const
35 {
36 dumper->Add({{"type", "ETSKeyofType"}, {"types", type_}, {"annotations", AstDumper::Optional(Annotations())}});
37 }
38
Dump(ir::SrcDumper * dumper) const39 void ETSKeyofType::Dump(ir::SrcDumper *dumper) const
40 {
41 for (auto *anno : Annotations()) {
42 anno->Dump(dumper);
43 }
44 dumper->Add("keyof ");
45 type_->Dump(dumper);
46 }
47
Compile(compiler::PandaGen * pg) const48 void ETSKeyofType::Compile([[maybe_unused]] compiler::PandaGen *pg) const {}
49
Check(checker::TSChecker * checker)50 checker::Type *ETSKeyofType::Check([[maybe_unused]] checker::TSChecker *checker)
51 {
52 return nullptr;
53 }
54
Check(checker::ETSChecker * checker)55 checker::VerifiedType ETSKeyofType::Check([[maybe_unused]] checker::ETSChecker *checker)
56 {
57 return {this, checker->GetAnalyzer()->Check(this)};
58 }
59
GetType(checker::ETSChecker * checker)60 checker::Type *ETSKeyofType::GetType(checker::ETSChecker *checker)
61 {
62 if (TsType() != nullptr) {
63 return TsType();
64 }
65
66 auto *typeReference = type_->GetType(checker);
67 ES2PANDA_ASSERT(typeReference);
68
69 if (typeReference->IsETSPrimitiveType()) {
70 typeReference = checker->MaybeBoxType(typeReference);
71 }
72
73 if (!typeReference->IsETSObjectType()) {
74 checker->LogError(diagnostic::KEYOF_REFERENCE_TYPE, {}, Start());
75 SetTsType(checker->GlobalTypeError());
76 return checker->GlobalTypeError();
77 }
78
79 checker::TypeStackElement tse(checker, this, {{diagnostic::CYCLIC_TYPE_OF, {}}}, Start());
80 if (tse.HasTypeError()) {
81 return checker->GlobalTypeError();
82 }
83
84 SetTsType(checker->CreateUnionFromKeyofType(typeReference->AsETSObjectType()));
85 return TsType();
86 }
87
Clone(ArenaAllocator * const allocator,AstNode * const parent)88 ETSKeyofType *ETSKeyofType::Clone(ArenaAllocator *const allocator, AstNode *const parent)
89 {
90 TypeNode *type = type_->Clone(allocator, nullptr);
91 ETSKeyofType *clone = allocator->New<ir::ETSKeyofType>(type, allocator);
92 ES2PANDA_ASSERT(clone);
93 if (parent != nullptr) {
94 clone->SetParent(parent);
95 }
96 clone->type_->SetParent(clone);
97 return clone;
98 }
99 } // namespace ark::es2panda::ir