/*

 * Copyright (c) 2022, the SerenityOS developers.

 *

 * SPDX-License-Identifier: BSD-2-Clause

 */

#pragma once

#include <AK/Concepts.h>

#include <AK/NumericLimits.h>

#include <AK/Types.h>

#include <LibJS/Runtime/Completion.h>

#include <LibJS/Runtime/VM.h>

namespace JS {

class CanonicalIndex {

public:

    enum class Type {

        Index,

        Numeric,

        Undefined,

    };

    CanonicalIndex(Type type, u32 index)

        : m_type(type)

        , m_index(index)

    {

    }

    template<FloatingPoint T>

    CanonicalIndex(Type type, T index) = delete;

    template<FloatingPoint T>

    static ThrowCompletionOr<CanonicalIndex> from_double(VM& vm, Type type, T index)

    {

        if (index < static_cast<double>(NumericLimits<u32>::min()))

            return vm.throw_completion<RangeError>(ErrorType::TypedArrayInvalidIntegerIndex, index);

        if (index > static_cast<double>(NumericLimits<u32>::max()))

            return vm.throw_completion<RangeError>(ErrorType::TypedArrayInvalidIntegerIndex, index);

        return CanonicalIndex { type, static_cast<u32>(index) };

    }

    u32 as_index() const

    {

        VERIFY(is_index());

        return m_index;

    }

    bool is_index() const { return m_type == Type::Index; }

    bool is_undefined() const { return m_type == Type::Undefined; }

private:

    Type m_type;

    u32 m_index;

};

}