13af6ab5fSopenharmony_ci/** 23af6ab5fSopenharmony_ci * Copyright (c) 2021-2024 Huawei Device Co., Ltd. 33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License"); 43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License. 53af6ab5fSopenharmony_ci * You may obtain a copy of the License at 63af6ab5fSopenharmony_ci * 73af6ab5fSopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0 83af6ab5fSopenharmony_ci * 93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software 103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS, 113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and 133af6ab5fSopenharmony_ci * limitations under the License. 143af6ab5fSopenharmony_ci */ 153af6ab5fSopenharmony_ci 163af6ab5fSopenharmony_ci#include "tsNonNullExpression.h" 173af6ab5fSopenharmony_ci 183af6ab5fSopenharmony_ci#include "checker/ETSchecker.h" 193af6ab5fSopenharmony_ci#include "checker/TSchecker.h" 203af6ab5fSopenharmony_ci#include "compiler/core/ETSGen.h" 213af6ab5fSopenharmony_ci#include "compiler/core/pandagen.h" 223af6ab5fSopenharmony_ci#include "ir/astDump.h" 233af6ab5fSopenharmony_ci#include "ir/srcDump.h" 243af6ab5fSopenharmony_ci 253af6ab5fSopenharmony_cinamespace ark::es2panda::ir { 263af6ab5fSopenharmony_civoid TSNonNullExpression::TransformChildren(const NodeTransformer &cb, std::string_view transformationName) 273af6ab5fSopenharmony_ci{ 283af6ab5fSopenharmony_ci if (auto *transformedNode = cb(expr_); expr_ != transformedNode) { 293af6ab5fSopenharmony_ci expr_->SetTransformedNode(transformationName, transformedNode); 303af6ab5fSopenharmony_ci expr_ = transformedNode->AsExpression(); 313af6ab5fSopenharmony_ci } 323af6ab5fSopenharmony_ci} 333af6ab5fSopenharmony_ci 343af6ab5fSopenharmony_civoid TSNonNullExpression::Iterate(const NodeTraverser &cb) const 353af6ab5fSopenharmony_ci{ 363af6ab5fSopenharmony_ci cb(expr_); 373af6ab5fSopenharmony_ci} 383af6ab5fSopenharmony_ci 393af6ab5fSopenharmony_civoid TSNonNullExpression::Dump(ir::AstDumper *dumper) const 403af6ab5fSopenharmony_ci{ 413af6ab5fSopenharmony_ci dumper->Add({{"type", "TSNonNullExpression"}, {"expression", expr_}}); 423af6ab5fSopenharmony_ci} 433af6ab5fSopenharmony_ci 443af6ab5fSopenharmony_civoid TSNonNullExpression::Dump(ir::SrcDumper *dumper) const 453af6ab5fSopenharmony_ci{ 463af6ab5fSopenharmony_ci ASSERT(expr_ != nullptr); 473af6ab5fSopenharmony_ci expr_->Dump(dumper); 483af6ab5fSopenharmony_ci dumper->Add("!"); 493af6ab5fSopenharmony_ci} 503af6ab5fSopenharmony_ci 513af6ab5fSopenharmony_civoid TSNonNullExpression::Compile([[maybe_unused]] compiler::PandaGen *pg) const 523af6ab5fSopenharmony_ci{ 533af6ab5fSopenharmony_ci pg->GetAstCompiler()->Compile(this); 543af6ab5fSopenharmony_ci} 553af6ab5fSopenharmony_ci 563af6ab5fSopenharmony_civoid TSNonNullExpression::Compile(compiler::ETSGen *etsg) const 573af6ab5fSopenharmony_ci{ 583af6ab5fSopenharmony_ci etsg->GetAstCompiler()->Compile(this); 593af6ab5fSopenharmony_ci} 603af6ab5fSopenharmony_ci 613af6ab5fSopenharmony_cichecker::Type *TSNonNullExpression::Check([[maybe_unused]] checker::TSChecker *checker) 623af6ab5fSopenharmony_ci{ 633af6ab5fSopenharmony_ci return checker->GetAnalyzer()->Check(this); 643af6ab5fSopenharmony_ci} 653af6ab5fSopenharmony_ci 663af6ab5fSopenharmony_cichecker::Type *TSNonNullExpression::Check(checker::ETSChecker *checker) 673af6ab5fSopenharmony_ci{ 683af6ab5fSopenharmony_ci return checker->GetAnalyzer()->Check(this); 693af6ab5fSopenharmony_ci} 703af6ab5fSopenharmony_ci 713af6ab5fSopenharmony_ciTSNonNullExpression *TSNonNullExpression::Clone(ArenaAllocator *const allocator, AstNode *const parent) 723af6ab5fSopenharmony_ci{ 733af6ab5fSopenharmony_ci auto *const expr = expr_->Clone(allocator, nullptr)->AsExpression(); 743af6ab5fSopenharmony_ci 753af6ab5fSopenharmony_ci if (auto *const clone = allocator->New<TSNonNullExpression>(expr); clone != nullptr) { 763af6ab5fSopenharmony_ci expr->SetParent(clone); 773af6ab5fSopenharmony_ci if (parent != nullptr) { 783af6ab5fSopenharmony_ci clone->SetParent(parent); 793af6ab5fSopenharmony_ci } 803af6ab5fSopenharmony_ci return clone; 813af6ab5fSopenharmony_ci } 823af6ab5fSopenharmony_ci throw Error(ErrorType::GENERIC, "", CLONE_ALLOCATION_ERROR); 833af6ab5fSopenharmony_ci} 843af6ab5fSopenharmony_ci 853af6ab5fSopenharmony_ci} // namespace ark::es2panda::ir 86