/*
 * Copyright (c) 2021-2025 Huawei Device Co., Ltd.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

#include "etsParameterExpression.h"

#include "checker/ETSchecker.h"
#include "checker/TSchecker.h"
#include "compiler/core/ETSGen.h"
#include "compiler/core/pandagen.h"

namespace ark::es2panda::ir {

ETSParameterExpression::ETSParameterExpression(AnnotatedExpression *const identOrSpread, bool isOptional,
                                               ArenaAllocator *const allocator)
    : AnnotationAllowed<Expression>(AstNodeType::ETS_PARAMETER_EXPRESSION, allocator)
{
    SetOptional(isOptional);

    if (identOrSpread == nullptr) {
        return;
    }
    identOrSpread->SetParent(this);
    SetRange(identOrSpread->Range());
    if (identOrSpread->IsIdentifier()) {
        ident_ = identOrSpread->AsIdentifier();
    } else if (identOrSpread->IsRestElement()) {
        spread_ = identOrSpread->AsRestElement();
        ES2PANDA_ASSERT(spread_->Argument()->IsIdentifier());
        ident_ = spread_->Argument()->AsIdentifier();
        ident_->SetParent(spread_);
    } else {
        ES2PANDA_UNREACHABLE();
    }
}

ETSParameterExpression::ETSParameterExpression(AnnotatedExpression *const identOrSpread, ir::Expression *initializer,
                                               ArenaAllocator *const allocator)
    : ETSParameterExpression(identOrSpread, true, allocator)
{
    SetInitializer(initializer);
}

const util::StringView &ETSParameterExpression::Name() const noexcept
{
    return ident_->Name();
}

const Identifier *ETSParameterExpression::Ident() const noexcept
{
    return ident_;
}

Identifier *ETSParameterExpression::Ident() noexcept
{
    return ident_;
}

const SpreadElement *ETSParameterExpression::RestParameter() const noexcept
{
    return spread_;
}

SpreadElement *ETSParameterExpression::RestParameter() noexcept
{
    return spread_;
}

const Expression *ETSParameterExpression::Initializer() const noexcept
{
    return initializer_;
}

Expression *ETSParameterExpression::Initializer() noexcept
{
    return initializer_;
}

varbinder::Variable *ETSParameterExpression::Variable() const noexcept
{
    return ident_->Variable();
}

TypeNode const *ETSParameterExpression::TypeAnnotation() const noexcept
{
    return !IsRestParameter() ? ident_->TypeAnnotation() : spread_->TypeAnnotation();
}

TypeNode *ETSParameterExpression::TypeAnnotation() noexcept
{
    return !IsRestParameter() ? ident_->TypeAnnotation() : spread_->TypeAnnotation();
}

void ETSParameterExpression::SetTypeAnnotation(TypeNode *typeNode) noexcept
{
    !IsRestParameter() ? ident_->SetTsTypeAnnotation(typeNode) : spread_->SetTsTypeAnnotation(typeNode);
}

void ETSParameterExpression::SetVariable(varbinder::Variable *const variable) noexcept
{
    ident_->SetVariable(variable);
}

void ETSParameterExpression::SetLexerSaved(util::StringView s) noexcept
{
    savedLexer_ = s;
}

util::StringView ETSParameterExpression::LexerSaved() const noexcept
{
    return savedLexer_;
}

void ETSParameterExpression::TransformChildren(const NodeTransformer &cb, std::string_view const transformationName)
{
    if (IsRestParameter()) {
        if (auto *transformedNode = cb(spread_); spread_ != transformedNode) {
            spread_->SetTransformedNode(transformationName, transformedNode);
            spread_ = transformedNode->AsRestElement();
        }
        ident_ = spread_->Argument()->AsIdentifier();
    } else {
        if (auto *transformedNode = cb(ident_); ident_ != transformedNode) {
            ident_->SetTransformedNode(transformationName, transformedNode);
            ident_ = transformedNode->AsIdentifier();
        }
    }

    if (initializer_ != nullptr) {
        if (auto *transformedNode = cb(initializer_); initializer_ != transformedNode) {
            initializer_->SetTransformedNode(transformationName, transformedNode);
            initializer_ = transformedNode->AsExpression();
        }
    }

    for (auto *&it : Annotations()) {
        if (auto *transformedNode = cb(it); it != transformedNode) {
            it->SetTransformedNode(transformationName, transformedNode);
            it = transformedNode->AsAnnotationUsage();
        }
    }
}

void ETSParameterExpression::Iterate(const NodeTraverser &cb) const
{
    if (IsRestParameter()) {
        cb(spread_);
    } else {
        cb(ident_);
    }

    if (initializer_ != nullptr) {
        cb(initializer_);
    }

    for (auto *it : Annotations()) {
        cb(it);
    }
}

void ETSParameterExpression::Dump(ir::AstDumper *const dumper) const
{
    if (!IsRestParameter()) {
        dumper->Add({{"type", "ETSParameterExpression"},
                     {"name", ident_},
                     {"initializer", AstDumper::Optional(initializer_)},
                     {"annotations", AstDumper::Optional(Annotations())}});
    } else {
        dumper->Add({{"type", "ETSParameterExpression"},
                     {"rest parameter", spread_},
                     {"annotations", AstDumper::Optional(Annotations())}});
    }
}

void ETSParameterExpression::Dump(ir::SrcDumper *const dumper) const
{
    for (auto *anno : Annotations()) {
        anno->Dump(dumper);
    }

    if (IsRestParameter()) {
        spread_->Dump(dumper);
    } else {
        if (ident_ != nullptr) {
            ES2PANDA_ASSERT(ident_->IsAnnotatedExpression());
            ident_->Dump(dumper);
            if (isOptional_ && initializer_ == nullptr) {
                dumper->Add("?");
            }
            auto typeAnnotation = ident_->AsAnnotatedExpression()->TypeAnnotation();
            if (typeAnnotation != nullptr) {
                dumper->Add(": ");
                typeAnnotation->Dump(dumper);
            }
        }
        if (initializer_ != nullptr) {
            dumper->Add(" = ");
            initializer_->Dump(dumper);
        }
    }
}

void ETSParameterExpression::Compile(compiler::PandaGen *const pg) const
{
    pg->GetAstCompiler()->Compile(this);
}

void ETSParameterExpression::Compile(compiler::ETSGen *const etsg) const
{
    etsg->GetAstCompiler()->Compile(this);
}

checker::Type *ETSParameterExpression::Check(checker::TSChecker *const checker)
{
    return checker->GetAnalyzer()->Check(this);
}

checker::VerifiedType ETSParameterExpression::Check(checker::ETSChecker *const checker)
{
    return {this, checker->GetAnalyzer()->Check(this)};
}

ETSParameterExpression *ETSParameterExpression::Clone(ArenaAllocator *const allocator, AstNode *const parent)
{
    AnnotatedExpression *identOrSpread = nullptr;
    if (spread_ != nullptr) {
        auto spreadClone = spread_->Clone(allocator, nullptr);
        ES2PANDA_ASSERT(spreadClone != nullptr);
        identOrSpread = spreadClone->AsAnnotatedExpression();
    } else {
        auto identClone = ident_->Clone(allocator, nullptr);
        ES2PANDA_ASSERT(identClone != nullptr);
        identOrSpread = identClone->AsAnnotatedExpression();
    }
    auto *const initializer =
        initializer_ != nullptr ? initializer_->Clone(allocator, nullptr)->AsExpression() : nullptr;

    auto *const clone = initializer_ != nullptr
                            ? allocator->New<ETSParameterExpression>(identOrSpread, initializer, allocator)
                            : allocator->New<ETSParameterExpression>(identOrSpread, isOptional_, allocator);
    identOrSpread->SetParent(clone);

    if (initializer != nullptr) {
        initializer->SetParent(clone);
    }

    ES2PANDA_ASSERT(clone != nullptr);
    if (parent != nullptr) {
        clone->SetParent(parent);
    }

    clone->SetRequiredParams(extraValue_);

    if (!Annotations().empty()) {
        ArenaVector<AnnotationUsage *> annotationUsages {allocator->Adapter()};
        for (auto *annotationUsage : Annotations()) {
            auto *const annotationClone = annotationUsage->Clone(allocator, clone);
            ES2PANDA_ASSERT(annotationClone != nullptr);
            annotationUsages.push_back(annotationClone->AsAnnotationUsage());
        }
        clone->SetAnnotations(std::move(annotationUsages));
    }

    return clone;
}

ETSParameterExpression *ETSParameterExpression::Construct(ArenaAllocator *allocator)
{
    return allocator->New<ETSParameterExpression>(nullptr, false, allocator);
}

void ETSParameterExpression::CopyTo(AstNode *other) const
{
    auto otherImpl = other->AsETSParameterExpression();

    otherImpl->ident_ = ident_;
    otherImpl->initializer_ = initializer_;
    otherImpl->spread_ = spread_;
    otherImpl->savedLexer_ = savedLexer_;
    otherImpl->extraValue_ = extraValue_;
    otherImpl->isOptional_ = isOptional_;

    AnnotationAllowed<Expression>::CopyTo(other);
}

}  // namespace ark::es2panda::ir