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 "whileStatement.h"
173af6ab5fSopenharmony_ci
183af6ab5fSopenharmony_ci#include "compiler/base/condition.h"
193af6ab5fSopenharmony_ci#include "compiler/core/labelTarget.h"
203af6ab5fSopenharmony_ci#include "compiler/core/pandagen.h"
213af6ab5fSopenharmony_ci#include "compiler/core/ETSGen.h"
223af6ab5fSopenharmony_ci#include "compiler/core/regScope.h"
233af6ab5fSopenharmony_ci#include "checker/TSchecker.h"
243af6ab5fSopenharmony_ci#include "ir/astDump.h"
253af6ab5fSopenharmony_ci#include "ir/srcDump.h"
263af6ab5fSopenharmony_ci#include "ir/expression.h"
273af6ab5fSopenharmony_ci
283af6ab5fSopenharmony_cinamespace ark::es2panda::ir {
293af6ab5fSopenharmony_civoid WhileStatement::TransformChildren(const NodeTransformer &cb, std::string_view transformationName)
303af6ab5fSopenharmony_ci{
313af6ab5fSopenharmony_ci    if (auto *transformedNode = cb(test_); test_ != transformedNode) {
323af6ab5fSopenharmony_ci        test_->SetTransformedNode(transformationName, transformedNode);
333af6ab5fSopenharmony_ci        test_ = transformedNode->AsExpression();
343af6ab5fSopenharmony_ci    }
353af6ab5fSopenharmony_ci
363af6ab5fSopenharmony_ci    if (auto *transformedNode = cb(body_); body_ != transformedNode) {
373af6ab5fSopenharmony_ci        body_->SetTransformedNode(transformationName, transformedNode);
383af6ab5fSopenharmony_ci        body_ = transformedNode->AsStatement();
393af6ab5fSopenharmony_ci    }
403af6ab5fSopenharmony_ci}
413af6ab5fSopenharmony_ci
423af6ab5fSopenharmony_civoid WhileStatement::Iterate(const NodeTraverser &cb) const
433af6ab5fSopenharmony_ci{
443af6ab5fSopenharmony_ci    cb(test_);
453af6ab5fSopenharmony_ci    cb(body_);
463af6ab5fSopenharmony_ci}
473af6ab5fSopenharmony_ci
483af6ab5fSopenharmony_civoid WhileStatement::Dump(ir::AstDumper *dumper) const
493af6ab5fSopenharmony_ci{
503af6ab5fSopenharmony_ci    dumper->Add({{"type", "WhileStatement"}, {"test", test_}, {"body", body_}});
513af6ab5fSopenharmony_ci}
523af6ab5fSopenharmony_ci
533af6ab5fSopenharmony_civoid WhileStatement::Dump(ir::SrcDumper *dumper) const
543af6ab5fSopenharmony_ci{
553af6ab5fSopenharmony_ci    dumper->Add("while (");
563af6ab5fSopenharmony_ci    if (test_ != nullptr) {
573af6ab5fSopenharmony_ci        test_->Dump(dumper);
583af6ab5fSopenharmony_ci    }
593af6ab5fSopenharmony_ci    dumper->Add(") {");
603af6ab5fSopenharmony_ci    if (body_ != nullptr) {
613af6ab5fSopenharmony_ci        dumper->IncrIndent();
623af6ab5fSopenharmony_ci        dumper->Endl();
633af6ab5fSopenharmony_ci        body_->Dump(dumper);
643af6ab5fSopenharmony_ci        dumper->DecrIndent();
653af6ab5fSopenharmony_ci        dumper->Endl();
663af6ab5fSopenharmony_ci    }
673af6ab5fSopenharmony_ci    dumper->Add("}");
683af6ab5fSopenharmony_ci}
693af6ab5fSopenharmony_ci
703af6ab5fSopenharmony_civoid WhileStatement::Compile([[maybe_unused]] compiler::PandaGen *pg) const
713af6ab5fSopenharmony_ci{
723af6ab5fSopenharmony_ci    pg->GetAstCompiler()->Compile(this);
733af6ab5fSopenharmony_ci}
743af6ab5fSopenharmony_ci
753af6ab5fSopenharmony_civoid WhileStatement::Compile([[maybe_unused]] compiler::ETSGen *etsg) const
763af6ab5fSopenharmony_ci{
773af6ab5fSopenharmony_ci    etsg->GetAstCompiler()->Compile(this);
783af6ab5fSopenharmony_ci}
793af6ab5fSopenharmony_ci
803af6ab5fSopenharmony_cichecker::Type *WhileStatement::Check([[maybe_unused]] checker::TSChecker *checker)
813af6ab5fSopenharmony_ci{
823af6ab5fSopenharmony_ci    return checker->GetAnalyzer()->Check(this);
833af6ab5fSopenharmony_ci}
843af6ab5fSopenharmony_ci
853af6ab5fSopenharmony_cichecker::Type *WhileStatement::Check([[maybe_unused]] checker::ETSChecker *checker)
863af6ab5fSopenharmony_ci{
873af6ab5fSopenharmony_ci    return checker->GetAnalyzer()->Check(this);
883af6ab5fSopenharmony_ci}
893af6ab5fSopenharmony_ci}  // namespace ark::es2panda::ir
90