qubit-json 0.12.4

Resource-aware infrastructure for lenient and strict JSON processing
Documentation 
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
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

// =============================================================================
//    Copyright (c) 2026 Haixing Hu.
//
//    SPDX-License-Identifier: Apache-2.0
//
//    Licensed under the Apache License, Version 2.0.
// =============================================================================
//! Tests for strict JSON number admission and representation.

use crate::encode::JsonIntegerSignedness;
use crate::encode::JsonSerializationErrorKind;
use crate::internal::StrictJsonNumber;

#[test]
fn test_from_i128_accepts_signed_and_unsigned_64_bit_range() {
    assert_eq!(
        StrictJsonNumber::from_i128(i64::MIN as i128).unwrap().as_i64(),
        Some(i64::MIN)
    );
    assert_eq!(StrictJsonNumber::from_i128(-1).unwrap().as_i64(), Some(-1));
    assert_eq!(StrictJsonNumber::from_i128(0).unwrap().as_i64(), Some(0));
    assert_eq!(
        StrictJsonNumber::from_i128(u64::MAX as i128).unwrap().as_u64(),
        Some(u64::MAX)
    );
}

#[test]
fn test_from_i128_rejects_values_outside_integer_union() {
    for value in [i64::MIN as i128 - 1, u64::MAX as i128 + 1] {
        assert_eq!(
            StrictJsonNumber::from_i128(value).unwrap_err().kind(),
            JsonSerializationErrorKind::IntegerOutOfRange {
                signedness: JsonIntegerSignedness::Signed
            },
        );
    }
}

#[test]
fn test_from_u128_enforces_u64_range() {
    assert_eq!(
        StrictJsonNumber::from_u128(u64::MAX as u128).unwrap().as_u64(),
        Some(u64::MAX)
    );
    assert_eq!(
        StrictJsonNumber::from_u128(u128::MAX).unwrap_err().kind(),
        JsonSerializationErrorKind::IntegerOutOfRange {
            signedness: JsonIntegerSignedness::Unsigned
        },
    );
}

#[test]
fn test_parse_preserves_negative_zero_and_finite_fraction() {
    let negative_zero = StrictJsonNumber::parse("-0").unwrap();
    assert_eq!(negative_zero.as_f64().unwrap().to_bits(), (-0.0_f64).to_bits());
    assert_eq!(StrictJsonNumber::parse("1.5").unwrap().as_f64(), Some(1.5));
}

#[test]
fn test_parse_accepts_zero_exponents_and_underflow() {
    for (text, expected) in [
        ("0e1", 0.0_f64),
        ("0e+10", 0.0),
        ("0.0e-10", 0.0),
        ("-0e1", -0.0),
        ("-0.0e+10", -0.0),
        ("1e-400", 0.0),
        ("-1e-400", -0.0),
        ("5e-324", f64::from_bits(1)),
        ("-5e-324", -f64::from_bits(1)),
    ] {
        let actual = StrictJsonNumber::parse(text).expect(text);
        assert_eq!(actual.as_f64().expect(text).to_bits(), expected.to_bits(), "{text}");
    }
}

#[test]
fn test_parse_maps_numeric_range_errors() {
    for text in ["1e400", "-1e400"] {
        assert_eq!(
            StrictJsonNumber::parse(text).unwrap_err().kind(),
            JsonSerializationErrorKind::NonFiniteFloat
        );
    }
    assert_eq!(
        StrictJsonNumber::parse("18446744073709551615").unwrap().as_u64(),
        Some(u64::MAX)
    );
    assert_eq!(
        StrictJsonNumber::parse("18446744073709551616").unwrap_err().kind(),
        JsonSerializationErrorKind::IntegerOutOfRange {
            signedness: JsonIntegerSignedness::Unsigned
        },
    );
}

#[test]
fn test_parse_rejects_non_single_number_tokens() {
    for text in [" 1", "1 ", "1 2", "{}", "\"1\"", "+1", "01", ""] {
        assert_eq!(
            StrictJsonNumber::parse(text).unwrap_err().kind(),
            JsonSerializationErrorKind::InvalidNumberRepresentation
        );
    }
}

#[test]
fn test_admitted_number_conversion_rejects_unrepresentable_values() {
    for (text, expected) in [
        ("1e", JsonSerializationErrorKind::InvalidNumberRepresentation),
        (
            "-9223372036854775809",
            JsonSerializationErrorKind::IntegerOutOfRange {
                signedness: JsonIntegerSignedness::Signed,
            },
        ),
        ("1e400", JsonSerializationErrorKind::NonFiniteFloat),
    ] {
        assert_eq!(
            StrictJsonNumber::from_admitted_lexeme(text).expect_err(text).kind(),
            expected
        );
    }
}