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

// =============================================================================
//    Copyright (c) 2026 Haixing Hu.
//
//    SPDX-License-Identifier: Apache-2.0
//
//    Licensed under the Apache License, Version 2.0.
// =============================================================================
use crate::decode::JsonDecodeNumberModel;
use crate::decode::JsonNumberToken;
use crate::decode::JsonNumberTokenError;
use crate::encode::JsonSerializationErrorKind;
use crate::internal::StrictJsonNumber;

#[test]
fn test_exact_safe_integer_uses_decimal_arithmetic() {
    for (text, expected) in [
        ("90071992547409910e-1", 9_007_199_254_740_991_i64),
        ("1.00e2", 100),
        ("1.0e1", 10),
        ("-0", 0),
        ("-9007199254740991", -9_007_199_254_740_991),
    ] {
        assert_eq!(
            JsonNumberToken::from_validated(text, 7).exact_safe_integer().unwrap(),
            expected
        );
    }
    for text in ["9007199254740991001e-3", "9007199254740991.1", "0.1"] {
        assert!(matches!(
            JsonNumberToken::from_validated(text, 0).exact_safe_integer(),
            Err(JsonNumberTokenError::Fractional)
        ));
    }
    for text in ["9007199254740992", "-9007199254740992"] {
        assert!(matches!(
            JsonNumberToken::from_validated(text, 0).exact_safe_integer(),
            Err(JsonNumberTokenError::OutOfSafeIntegerRange)
        ));
    }
    assert_eq!(JsonNumberTokenError::Fractional.to_string(), "number is fractional");
    assert_eq!(
        JsonNumberTokenError::OutOfSafeIntegerRange.to_string(),
        "integer is outside the safe range"
    );
}

#[test]
fn test_exact_safe_integer_handles_extreme_exponents_in_constant_space() {
    let zero = format!("0e{}", "9".repeat(100_000));
    assert_eq!(
        JsonNumberToken::from_validated(&zero, 0).exact_safe_integer().unwrap(),
        0
    );
    let tiny = format!("1e-{}", "9".repeat(100_000));
    assert!(matches!(
        JsonNumberToken::from_validated(&tiny, 0).exact_safe_integer(),
        Err(JsonNumberTokenError::Fractional)
    ));
    let huge = format!("1e{}", "9".repeat(100_000));
    assert!(matches!(
        JsonNumberToken::from_validated(&huge, 0).exact_safe_integer(),
        Err(JsonNumberTokenError::OutOfSafeIntegerRange)
    ));
}

#[test]
fn test_number_model_fallback_only_covers_integer_range_overflow() {
    let strict = JsonDecodeNumberModel::Integer64;
    let fallback = JsonDecodeNumberModel::Integer64WithFiniteFallback;
    assert_eq!(
        StrictJsonNumber::from_admitted_lexeme_with_model("18446744073709551615", strict)
            .unwrap()
            .as_u64(),
        Some(u64::MAX)
    );
    assert!(matches!(
        StrictJsonNumber::from_admitted_lexeme_with_model("18446744073709551616", strict)
            .unwrap_err()
            .kind(),
        JsonSerializationErrorKind::IntegerOutOfRange { .. }
    ));
    let rounded = StrictJsonNumber::from_admitted_lexeme_with_model("18446744073709551616", fallback).unwrap();
    assert!(rounded.is_f64());
    assert!(matches!(
        StrictJsonNumber::from_admitted_lexeme_with_model("1e400", fallback)
            .unwrap_err()
            .kind(),
        JsonSerializationErrorKind::NonFiniteFloat
    ));
    assert!(matches!(
        StrictJsonNumber::from_admitted_lexeme_with_model("1e400", strict)
            .unwrap_err()
            .kind(),
        JsonSerializationErrorKind::NonFiniteFloat
    ));
    assert_eq!(
        StrictJsonNumber::from_admitted_lexeme_with_model("1e-400", fallback)
            .unwrap()
            .as_f64()
            .unwrap(),
        0.0
    );
    let negative_zero = StrictJsonNumber::from_admitted_lexeme_with_model("-0", fallback)
        .unwrap()
        .as_f64()
        .unwrap();
    assert!(negative_zero.is_sign_negative());
    assert!(matches!(
        StrictJsonNumber::from_admitted_lexeme_with_model("0.1", fallback)
            .unwrap()
            .as_f64(),
        Some(0.1)
    ));
}

#[test]
fn test_number_token_preserves_borrowed_slice_and_offset() {
    let source = "prefix 1.00e2 suffix";
    let raw = &source[7..13];
    let token = JsonNumberToken::from_validated(raw, 7);
    assert_eq!(token.raw().as_ptr(), raw.as_ptr());
    assert_eq!(token.raw().len(), raw.len());
    assert_eq!(token.offset(), 7);
}