mirror of
https://github.com/RGBCube/serenity
synced 2025-10-31 18:32:45 +00:00
d37d6b3479
Explicitly disallow constructing a CanonicalIndex from a floating point type without going through a factory method that will throw when the provided index cannot fit in a u32.
59 lines
1.3 KiB
C++
59 lines
1.3 KiB
C++
/*
|
|
* 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;
|
|
};
|
|
|
|
}
|