blob: 92fae9e0d2d9ea614b20dec4001e74e3e159a569 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
/*
* Copyright (c) 2022, Tim Flynn <trflynn89@serenityos.org>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
#include <AK/Checked.h>
#include <AK/Variant.h>
#include <LibCrypto/BigInt/SignedBigInteger.h>
#include <LibJS/Runtime/Value.h>
namespace JS::Intl {
// https://tc39.es/proposal-intl-numberformat-v3/out/numberformat/proposed.html#intl-mathematical-value
class MathematicalValue {
public:
enum class Symbol {
PositiveInfinity,
NegativeInfinity,
NegativeZero,
NotANumber,
};
MathematicalValue() = default;
explicit MathematicalValue(double value)
: m_value(value_from_number(value))
{
}
explicit MathematicalValue(Crypto::SignedBigInteger value)
: m_value(move(value))
{
}
explicit MathematicalValue(Symbol symbol)
: m_value(symbol)
{
}
MathematicalValue(Value value)
: m_value(value.is_number()
? value_from_number(value.as_double())
: ValueType(value.as_bigint().big_integer()))
{
}
bool is_number() const;
double as_number() const;
bool is_bigint() const;
Crypto::SignedBigInteger const& as_bigint() const;
bool is_mathematical_value() const;
bool is_positive_infinity() const;
bool is_negative_infinity() const;
bool is_negative_zero() const;
bool is_nan() const;
void negate();
MathematicalValue plus(Checked<i32> addition) const;
MathematicalValue plus(MathematicalValue const& addition) const;
MathematicalValue minus(Checked<i32> subtraction) const;
MathematicalValue minus(MathematicalValue const& subtraction) const;
MathematicalValue multiplied_by(Checked<i32> multiplier) const;
MathematicalValue multiplied_by(MathematicalValue const& multiplier) const;
MathematicalValue divided_by(Checked<i32> divisor) const;
MathematicalValue divided_by(MathematicalValue const& divisor) const;
MathematicalValue multiplied_by_power(Checked<i32> exponent) const;
MathematicalValue divided_by_power(Checked<i32> exponent) const;
bool modulo_is_zero(Checked<i32> mod) const;
int logarithmic_floor() const;
bool is_equal_to(MathematicalValue const&) const;
bool is_less_than(MathematicalValue const&) const;
bool is_negative() const;
bool is_positive() const;
bool is_zero() const;
String to_string() const;
Value to_value(GlobalObject&) const;
private:
using ValueType = Variant<double, Crypto::SignedBigInteger, Symbol>;
static ValueType value_from_number(double number);
// NOTE: The specific alignment is to avoid an UBSAN error with Clang i686, due to Clang
// disagreeing with UBSAN on the alignment of doubles. See:
// https://github.com/llvm/llvm-project/issues/54845
// https://github.com/SerenityOS/serenity/issues/13614
alignas(8) ValueType m_value { 0.0 };
};
}
|
