1#![allow(
2 clippy::missing_const_for_fn,
3 clippy::std_instead_of_core,
4 clippy::std_instead_of_alloc,
5 clippy::alloc_instead_of_core,
6 reason = "irrelevant for proc macros"
7)]
8#![allow(
9 clippy::missing_docs_in_private_items,
10 missing_docs,
11 reason = "may be removed eventually"
12)]
13
14#[allow(
15 unused_macros,
16 reason = "may not be used for all feature flag combinations"
17)]
18macro_rules! bug {
19 () => { compile_error!("provide an error message to help fix a possible bug") };
20 ($descr:literal $($rest:tt)?) => {
21 unreachable!(concat!("internal error: ", $descr) $($rest)?)
22 }
23}
24
25#[macro_use]
26mod quote;
27
28mod date;
29mod datetime;
30mod error;
31#[cfg(any(feature = "formatting", feature = "parsing"))]
32mod format_description;
33mod helpers;
34mod offset;
35#[cfg(all(feature = "serde", any(feature = "formatting", feature = "parsing")))]
36mod serde_format_description;
37mod time;
38mod to_tokens;
39mod utc_datetime;
40
41#[cfg(any(feature = "formatting", feature = "parsing"))]
42use std::iter::Peekable;
43
44#[cfg(all(feature = "serde", any(feature = "formatting", feature = "parsing")))]
45use proc_macro::Delimiter;
46use proc_macro::TokenStream;
47#[cfg(any(feature = "formatting", feature = "parsing"))]
48use proc_macro::TokenTree;
49
50use self::error::Error;
51
52macro_rules! impl_macros {
53 ($($name:ident)*) => {$(
54 #[proc_macro]
55 pub fn $name(input: TokenStream) -> TokenStream {
56 use crate::to_tokens::ToTokenStream;
57
58 let mut iter = input.into_iter().peekable();
59 match $name::parse(&mut iter) {
60 Ok(value) => match iter.peek() {
61 Some(tree) => Error::UnexpectedToken { tree: tree.clone() }.to_compile_error(),
62 None => quote_! { const { #S(value.into_token_stream()) } },
63 },
64 Err(err) => err.to_compile_error(),
65 }
66 }
67 )*};
68}
69
70impl_macros![date datetime utc_datetime offset time];
71
72#[cfg(any(feature = "formatting", feature = "parsing"))]
73type PeekableTokenStreamIter = Peekable<proc_macro::token_stream::IntoIter>;
74
75#[cfg(any(feature = "formatting", feature = "parsing"))]
76#[derive(Clone, Copy)]
77enum FormatDescriptionVersion {
78 V1,
79 V2,
80 V3,
81}
82
83#[cfg(any(feature = "formatting", feature = "parsing"))]
84impl FormatDescriptionVersion {
85 fn is_v1(self) -> bool {
86 match self {
87 Self::V1 => true,
88 Self::V2 | Self::V3 => false,
89 }
90 }
91
92 fn is_at_most_v2(self) -> bool {
93 match self {
94 Self::V1 | Self::V2 => true,
95 Self::V3 => false,
96 }
97 }
98
99 fn is_at_least_v2(self) -> bool {
100 match self {
101 Self::V1 => false,
102 Self::V2 | Self::V3 => true,
103 }
104 }
105
106 fn is_at_least_v3(self) -> bool {
107 match self {
108 Self::V1 | Self::V2 => false,
109 Self::V3 => true,
110 }
111 }
112}
113
114#[cfg(any(feature = "formatting", feature = "parsing"))]
115fn parse_format_description_version<const NO_EQUALS_IS_MOD_NAME: bool>(
116 iter: &mut PeekableTokenStreamIter,
117) -> Result<Option<FormatDescriptionVersion>, Error> {
118 let end_of_input_err = || {
119 if NO_EQUALS_IS_MOD_NAME {
120 Error::UnexpectedEndOfInput
121 } else {
122 Error::ExpectedString {
123 span_start: None,
124 span_end: None,
125 }
126 }
127 };
128 let version_ident = match iter.peek().ok_or_else(end_of_input_err)? {
129 version @ TokenTree::Ident(ident) if ident.to_string() == "version" => {
130 let version_ident = version.clone();
131 iter.next(); version_ident
133 }
134 _ => return Ok(None),
135 };
136
137 match iter.peek() {
138 Some(TokenTree::Punct(punct)) if punct.as_char() == '=' => iter.next(),
139 _ if NO_EQUALS_IS_MOD_NAME => {
140 *iter = std::iter::once(version_ident)
142 .chain(iter.clone())
143 .collect::<TokenStream>()
144 .into_iter()
145 .peekable();
146 return Ok(None);
147 }
148 Some(token) => {
149 return Err(Error::Custom {
150 message: "expected `=`".into(),
151 span_start: Some(token.span()),
152 span_end: Some(token.span()),
153 });
154 }
155 None => {
156 return Err(Error::Custom {
157 message: "expected `=`".into(),
158 span_start: None,
159 span_end: None,
160 });
161 }
162 };
163 let version_literal = match iter.next() {
164 Some(TokenTree::Literal(literal)) => literal,
165 Some(token) => {
166 return Err(Error::Custom {
167 message: "expected 1, 2, or 3".into(),
168 span_start: Some(token.span()),
169 span_end: Some(token.span()),
170 });
171 }
172 None => {
173 return Err(Error::Custom {
174 message: "expected 1, 2, or 3".into(),
175 span_start: None,
176 span_end: None,
177 });
178 }
179 };
180 let version = match version_literal.to_string().as_str() {
181 "1" => FormatDescriptionVersion::V1,
182 "2" => FormatDescriptionVersion::V2,
183 "3" => FormatDescriptionVersion::V3,
184 _ => {
185 return Err(Error::Custom {
186 message: "invalid format description version".into(),
187 span_start: Some(version_literal.span()),
188 span_end: Some(version_literal.span()),
189 });
190 }
191 };
192 helpers::consume_punct(',', iter)?;
193
194 Ok(Some(version))
195}
196
197#[cfg(all(feature = "serde", any(feature = "formatting", feature = "parsing")))]
198fn parse_visibility(iter: &mut PeekableTokenStreamIter) -> Result<TokenStream, Error> {
199 let mut visibility = match iter.peek().ok_or(Error::UnexpectedEndOfInput)? {
200 pub_ident @ TokenTree::Ident(ident) if ident.to_string() == "pub" => {
201 let visibility = quote_! { #(pub_ident.clone()) };
202 iter.next(); visibility
204 }
205 _ => return Ok(quote_! {}),
206 };
207
208 match iter.peek().ok_or(Error::UnexpectedEndOfInput)? {
209 group @ TokenTree::Group(path) if path.delimiter() == Delimiter::Parenthesis => {
210 visibility.extend(std::iter::once(group.clone()));
211 iter.next(); }
213 _ => {}
214 }
215
216 Ok(visibility)
217}
218
219#[cfg(any(feature = "formatting", feature = "parsing"))]
220fn expand_format_description(item: format_description::public::OwnedFormatItem) -> TokenStream {
221 match item.version {
222 FormatDescriptionVersion::V1 | FormatDescriptionVersion::V2 => match &item.inner {
223 format_description::public::OwnedFormatItemInner::Compound(items) => {
224 let items = items
225 .iter()
226 .map(|inner_item| {
227 quote_! {
228 #S(format_description::public::OwnedFormatItem {
229 version: item.version,
230 inner: inner_item.clone(),
231 }),
232 }
233 })
234 .collect::<TokenStream>();
235 quote_! {
236 const {
237 use ::time::format_description::{*, modifier::*};
238 &[#S(items)] as StaticFormatDescription
239 }
240 }
241 }
242 _ => quote_! {
243 const {
244 use ::time::format_description::{*, modifier::*};
245 &[#S(item)] as StaticFormatDescription
246 }
247 },
248 },
249 FormatDescriptionVersion::V3 => quote_! {
250 const {
251 use ::time::format_description::__private::*;
252 use ::time::format_description::modifier::*;
253 #S(item).into_opaque()
254 }
255 },
256 }
257}
258
259#[cfg(any(feature = "formatting", feature = "parsing"))]
260#[proc_macro]
261pub fn format_description(input: TokenStream) -> TokenStream {
262 (|| {
263 let mut input = input.into_iter().peekable();
264 let version = parse_format_description_version::<false>(&mut input)?
265 .unwrap_or(FormatDescriptionVersion::V1);
266 let (span, string) = helpers::get_string_literal(version.is_at_most_v2(), input)?;
267 let items = format_description::parse_with_version(version, &string, span)?;
268
269 Ok(expand_format_description(items))
270 })()
271 .unwrap_or_else(|err: Error| err.to_compile_error())
272}
273
274#[cfg(all(feature = "serde", any(feature = "formatting", feature = "parsing")))]
275#[proc_macro]
276pub fn serde_format_description(input: TokenStream) -> TokenStream {
277 (|| {
278 let mut tokens = input.into_iter().peekable();
279
280 let maybe_version = parse_format_description_version::<true>(&mut tokens)?;
282
283 let visibility = parse_visibility(&mut tokens)?;
285
286 let version = if let Some(version) = maybe_version {
289 version
290 } else if maybe_version.is_none()
291 && let Some(TokenTree::Ident(ident)) = tokens.peek()
292 && ident.to_string() == "mod"
293 {
294 FormatDescriptionVersion::V3
295 } else {
296 FormatDescriptionVersion::V1
297 };
298
299 let (mod_name, ty) = match version {
300 FormatDescriptionVersion::V1 | FormatDescriptionVersion::V2 => {
301 let mod_name = match tokens.next() {
303 Some(TokenTree::Ident(ident)) => Ok(ident),
304 Some(tree) => Err(Error::UnexpectedToken { tree }),
305 None => Err(Error::UnexpectedEndOfInput),
306 }?;
307
308 helpers::consume_punct(',', &mut tokens)?;
310
311 let ty = match tokens.next() {
313 Some(tree @ TokenTree::Ident(_)) => Ok(tree.into()),
314 Some(tree) => Err(Error::UnexpectedToken { tree }),
315 None => Err(Error::UnexpectedEndOfInput),
316 }?;
317
318 helpers::consume_punct(',', &mut tokens)?;
320
321 (mod_name, ty)
322 }
323 FormatDescriptionVersion::V3 => {
324 match tokens.next() {
326 Some(TokenTree::Ident(ident)) if ident.to_string() == "mod" => {}
327 Some(tree) => {
328 return Err(Error::Custom {
329 message: "expected `mod`".into(),
330 span_start: Some(tree.span().start()),
331 span_end: Some(tree.span().end()),
332 });
333 }
334 None => return Err(Error::UnexpectedEndOfInput),
335 };
336
337 let mod_name = match tokens.next() {
339 Some(TokenTree::Ident(ident)) => Ok(ident),
340 Some(tree) => Err(Error::UnexpectedToken { tree }),
341 None => Err(Error::UnexpectedEndOfInput),
342 }?;
343
344 let ty = match tokens.next() {
346 Some(TokenTree::Group(group)) if group.delimiter() == Delimiter::Bracket => {
347 Ok(group.stream())
348 }
349 Some(tree) => Err(Error::UnexpectedToken { tree }),
350 None => Err(Error::UnexpectedEndOfInput),
351 }?;
352
353 helpers::consume_punct('=', &mut tokens)?;
355
356 (mod_name, ty)
357 }
358 };
359
360 let (format, format_description_display) = match tokens.peek() {
364 Some(TokenTree::Literal(_)) => {
366 let (span, format_string) =
367 helpers::get_string_literal(version.is_at_most_v2(), tokens)?;
368 let items = format_description::parse_with_version(version, &format_string, span)?;
369 let items = expand_format_description(items);
370
371 (items, String::from_utf8_lossy(&format_string).into_owned())
372 }
373 Some(_) => {
375 let tokens = tokens.collect::<TokenStream>();
376 let tokens_string = tokens.to_string();
377 (tokens, tokens_string)
378 }
379 None => return Err(Error::UnexpectedEndOfInput),
380 };
381
382 Ok(serde_format_description::build(
383 version,
384 visibility,
385 mod_name,
386 ty,
387 format,
388 format_description_display,
389 ))
390 })()
391 .unwrap_or_else(|err: Error| err.to_compile_error_standalone())
392}