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