qubit_codec_misc/
c_integer_literal_codec.rs

1// =============================================================================
2//    Copyright (c) 2026 Haixing Hu.
3//
4//    SPDX-License-Identifier: Apache-2.0
5//
6//    Licensed under the Apache License, Version 2.0.
7// =============================================================================
8//! C integer literal decoder.
9
10use qubit_codec::ValueDecoder;
11
12use crate::MiscCodecError;
13use crate::MiscCodecResult;
14use crate::internal::LiteralComponents;
15
16/// Decodes restricted non-negative C integer literal fragments.
17///
18/// This codec accepts decimal literals such as `123`, octal literals such as
19/// `0123`, and hexadecimal literals such as `0x123` or `0X123`. It trims
20/// surrounding whitespace and returns a `u64`. It intentionally accepts only
21/// a complete unsigned token: signs, integer suffixes, digit separators, and
22/// token-stream boundaries are outside this codec's contract.
23///
24/// # Examples
25///
26/// ```
27/// use qubit_codec_misc::CIntegerLiteralCodec;
28///
29/// let codec = CIntegerLiteralCodec::new();
30/// assert_eq!(codec.decode("0x2a").unwrap(), 42);
31/// ```
32#[must_use]
33#[derive(Debug, Clone, Copy, Default, PartialEq, Eq)]
34pub struct CIntegerLiteralCodec;
35
36impl CIntegerLiteralCodec {
37    /// Creates a C integer literal codec.
38    ///
39    /// # Returns
40    /// A stateless C integer literal codec.
41    #[inline]
42    pub fn new() -> Self {
43        Self
44    }
45
46    /// Decodes a C integer literal into a `u64`.
47    ///
48    /// # Parameters
49    /// - `text`: C integer literal text.
50    ///
51    /// # Returns
52    /// Parsed integer value.
53    ///
54    /// # Errors
55    /// Returns [`MiscCodecError::InvalidInput`] when the input is empty, lacks
56    /// digits, or overflows `u64`; returns [`MiscCodecError::InvalidDigit`]
57    /// when a character is not valid for the detected radix.
58    #[inline]
59    pub fn decode(&self, text: &str) -> MiscCodecResult<u64> {
60        let (trimmed, trim_offset) = trim_with_offset(text);
61        if trimmed.is_empty() {
62            return Err(invalid_c_integer_input("expected at least one digit"));
63        }
64        let components = LiteralComponents::parse(trimmed, trim_offset)?;
65        validate_digits(components)?;
66        u64::from_str_radix(components.digits, components.radix)
67            .map_err(|error| invalid_c_integer_input(&format!("integer literal is out of range: {error}")))
68    }
69}
70
71impl ValueDecoder<str> for CIntegerLiteralCodec {
72    type Error = MiscCodecError;
73    type Output = u64;
74
75    /// Decodes a C integer literal into a `u64`.
76    #[inline]
77    fn decode(&mut self, input: &str) -> Result<Self::Output, Self::Error> {
78        CIntegerLiteralCodec::decode(self, input)
79    }
80}
81
82/// Trims surrounding whitespace while preserving the start byte offset.
83///
84/// # Parameters
85/// - `text`: Input text.
86///
87/// # Returns
88/// Trimmed text and the byte offset where it starts in `text`.
89#[inline]
90fn trim_with_offset(text: &str) -> (&str, usize) {
91    let trimmed_start = text.trim_start();
92    let start = text.len() - trimmed_start.len();
93    (trimmed_start.trim_end(), start)
94}
95
96/// Validates that every character is valid for the detected radix.
97///
98/// # Parameters
99/// - `components`: Parsed literal components.
100///
101/// # Errors
102/// Returns [`MiscCodecError::InvalidDigit`] with the original input byte index
103/// of the invalid character.
104fn validate_digits(components: LiteralComponents<'_>) -> MiscCodecResult<()> {
105    for (index, character) in components.digits.char_indices() {
106        if character.is_digit(components.radix) {
107            continue;
108        }
109        return Err(MiscCodecError::InvalidDigit {
110            radix: components.radix,
111            index: components.digits_offset + index,
112            character,
113        });
114    }
115    Ok(())
116}
117
118/// Builds an invalid C integer literal input error.
119///
120/// # Parameters
121/// - `reason`: Human-readable reason the input was rejected.
122///
123/// # Returns
124/// An invalid input error for the C integer literal codec.
125fn invalid_c_integer_input(reason: &str) -> MiscCodecError {
126    MiscCodecError::InvalidInput {
127        codec: "c-integer-literal",
128        reason: reason.to_owned(),
129    }
130}
qubit_codec_misc/c_integer_literal_codec.rs

qubit_codec_misc/
c_integer_literal_codec.rs
