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 complete C integer token into a `u64`.
76 ///
77 /// # Parameters
78 /// - `input`: C integer literal text.
79 ///
80 /// # Returns
81 /// The decoded unsigned integer.
82 ///
83 /// # Errors
84 /// Returns [`MiscCodecError::InvalidInput`] when the input is empty, lacks
85 /// digits, or overflows `u64`; returns [`MiscCodecError::InvalidDigit`]
86 /// when a character is not valid for the detected radix.
87 #[inline]
88 fn decode(&mut self, input: &str) -> Result<Self::Output, Self::Error> {
89 CIntegerLiteralCodec::decode(self, input)
90 }
91}
92
93/// Trims surrounding whitespace while preserving the start byte offset.
94///
95/// # Parameters
96/// - `text`: Input text.
97///
98/// # Returns
99/// Trimmed text and the byte offset where it starts in `text`.
100#[inline]
101fn trim_with_offset(text: &str) -> (&str, usize) {
102 let trimmed_start = text.trim_start();
103 let start = text.len() - trimmed_start.len();
104 (trimmed_start.trim_end(), start)
105}
106
107/// Validates that every character is valid for the detected radix.
108///
109/// # Parameters
110/// - `components`: Parsed literal components.
111///
112/// # Errors
113/// Returns [`MiscCodecError::InvalidDigit`] with the original input byte index
114/// of the invalid character.
115fn validate_digits(components: LiteralComponents<'_>) -> MiscCodecResult<()> {
116 for (index, character) in components.digits.char_indices() {
117 if character.is_digit(components.radix) {
118 continue;
119 }
120 return Err(MiscCodecError::InvalidDigit {
121 radix: components.radix,
122 index: components.digits_offset + index,
123 character,
124 });
125 }
126 Ok(())
127}
128
129/// Builds an invalid C integer literal input error.
130///
131/// # Parameters
132/// - `reason`: Human-readable reason the input was rejected.
133///
134/// # Returns
135/// An invalid input error for the C integer literal codec.
136fn invalid_c_integer_input(reason: &str) -> MiscCodecError {
137 MiscCodecError::InvalidInput {
138 codec: "c-integer-literal",
139 reason: reason.to_owned(),
140 }
141}