1#![allow(
2 clippy::missing_const_for_fn, clippy::missing_docs_in_private_items, clippy::std_instead_of_core, clippy::std_instead_of_alloc, clippy::alloc_instead_of_core, missing_docs, )]
9
10#[allow(unused_macros)]
11macro_rules! bug {
12 () => { compile_error!("provide an error message to help fix a possible bug") };
13 ($descr:literal $($rest:tt)?) => {
14 unreachable!(concat!("internal error: ", $descr) $($rest)?)
15 }
16}
17
18#[macro_use]
19mod quote;
20
21mod date;
22mod datetime;
23mod error;
24#[cfg(any(feature = "formatting", feature = "parsing"))]
25mod format_description;
26mod helpers;
27mod offset;
28#[cfg(all(feature = "serde", any(feature = "formatting", feature = "parsing")))]
29mod serde_format_description;
30mod time;
31mod to_tokens;
32mod utc_datetime;
33
34#[cfg(any(feature = "formatting", feature = "parsing"))]
35use std::iter::Peekable;
36
37#[cfg(all(feature = "serde", any(feature = "formatting", feature = "parsing")))]
38use proc_macro::Delimiter;
39use proc_macro::TokenStream;
40#[cfg(any(feature = "formatting", feature = "parsing"))]
41use proc_macro::TokenTree;
42
43use self::error::Error;
44
45macro_rules! impl_macros {
46 ($($name:ident)*) => {$(
47 #[proc_macro]
48 pub fn $name(input: TokenStream) -> TokenStream {
49 use crate::to_tokens::ToTokenTree;
50
51 let mut iter = input.into_iter().peekable();
52 match $name::parse(&mut iter) {
53 Ok(value) => match iter.peek() {
54 Some(tree) => Error::UnexpectedToken { tree: tree.clone() }.to_compile_error(),
55 None => TokenStream::from(value.into_token_tree()),
56 },
57 Err(err) => err.to_compile_error(),
58 }
59 }
60 )*};
61}
62
63impl_macros![date datetime utc_datetime offset time];
64
65#[cfg(any(feature = "formatting", feature = "parsing"))]
66type PeekableTokenStreamIter = Peekable<proc_macro::token_stream::IntoIter>;
67
68#[cfg(any(feature = "formatting", feature = "parsing"))]
69enum FormatDescriptionVersion {
70 V1,
71 V2,
72}
73
74#[cfg(any(feature = "formatting", feature = "parsing"))]
75fn parse_format_description_version<const NO_EQUALS_IS_MOD_NAME: bool>(
76 iter: &mut PeekableTokenStreamIter,
77) -> Result<Option<FormatDescriptionVersion>, Error> {
78 let end_of_input_err = || {
79 if NO_EQUALS_IS_MOD_NAME {
80 Error::UnexpectedEndOfInput
81 } else {
82 Error::ExpectedString {
83 span_start: None,
84 span_end: None,
85 }
86 }
87 };
88 let version_ident = match iter.peek().ok_or_else(end_of_input_err)? {
89 version @ TokenTree::Ident(ident) if ident.to_string() == "version" => {
90 let version_ident = version.clone();
91 iter.next(); version_ident
93 }
94 _ => return Ok(None),
95 };
96
97 match iter.peek() {
98 Some(TokenTree::Punct(punct)) if punct.as_char() == '=' => iter.next(),
99 _ if NO_EQUALS_IS_MOD_NAME => {
100 *iter = std::iter::once(version_ident)
102 .chain(iter.clone())
103 .collect::<TokenStream>()
104 .into_iter()
105 .peekable();
106 return Ok(None);
107 }
108 Some(token) => {
109 return Err(Error::Custom {
110 message: "expected `=`".into(),
111 span_start: Some(token.span()),
112 span_end: Some(token.span()),
113 });
114 }
115 None => {
116 return Err(Error::Custom {
117 message: "expected `=`".into(),
118 span_start: None,
119 span_end: None,
120 });
121 }
122 };
123 let version_literal = match iter.next() {
124 Some(TokenTree::Literal(literal)) => literal,
125 Some(token) => {
126 return Err(Error::Custom {
127 message: "expected 1 or 2".into(),
128 span_start: Some(token.span()),
129 span_end: Some(token.span()),
130 });
131 }
132 None => {
133 return Err(Error::Custom {
134 message: "expected 1 or 2".into(),
135 span_start: None,
136 span_end: None,
137 });
138 }
139 };
140 let version = match version_literal.to_string().as_str() {
141 "1" => FormatDescriptionVersion::V1,
142 "2" => FormatDescriptionVersion::V2,
143 _ => {
144 return Err(Error::Custom {
145 message: "invalid format description version".into(),
146 span_start: Some(version_literal.span()),
147 span_end: Some(version_literal.span()),
148 });
149 }
150 };
151 helpers::consume_punct(',', iter)?;
152
153 Ok(Some(version))
154}
155
156#[cfg(all(feature = "serde", any(feature = "formatting", feature = "parsing")))]
157fn parse_visibility(iter: &mut PeekableTokenStreamIter) -> Result<TokenStream, Error> {
158 let mut visibility = match iter.peek().ok_or(Error::UnexpectedEndOfInput)? {
159 pub_ident @ TokenTree::Ident(ident) if ident.to_string() == "pub" => {
160 let visibility = quote! { #(pub_ident.clone()) };
161 iter.next(); visibility
163 }
164 _ => return Ok(quote! {}),
165 };
166
167 match iter.peek().ok_or(Error::UnexpectedEndOfInput)? {
168 group @ TokenTree::Group(path) if path.delimiter() == Delimiter::Parenthesis => {
169 visibility.extend(std::iter::once(group.clone()));
170 iter.next(); }
172 _ => {}
173 }
174
175 Ok(visibility)
176}
177
178#[cfg(any(feature = "formatting", feature = "parsing"))]
179#[proc_macro]
180pub fn format_description(input: TokenStream) -> TokenStream {
181 (|| {
182 let mut input = input.into_iter().peekable();
183 let version = parse_format_description_version::<false>(&mut input)?;
184 let (span, string) = helpers::get_string_literal(input)?;
185 let items = format_description::parse_with_version(version, &string, span)?;
186
187 Ok(quote! {{
188 const DESCRIPTION: &[::time::format_description::BorrowedFormatItem<'_>] = &[#S(
189 items
190 .into_iter()
191 .map(|item| quote! { #S(item), })
192 .collect::<TokenStream>()
193 )];
194 DESCRIPTION
195 }})
196 })()
197 .unwrap_or_else(|err: Error| err.to_compile_error())
198}
199
200#[cfg(all(feature = "serde", any(feature = "formatting", feature = "parsing")))]
201#[proc_macro]
202pub fn serde_format_description(input: TokenStream) -> TokenStream {
203 (|| {
204 let mut tokens = input.into_iter().peekable();
205
206 let version = parse_format_description_version::<true>(&mut tokens)?;
208
209 let visibility = parse_visibility(&mut tokens)?;
211
212 let mod_name = match tokens.next() {
214 Some(TokenTree::Ident(ident)) => Ok(ident),
215 Some(tree) => Err(Error::UnexpectedToken { tree }),
216 None => Err(Error::UnexpectedEndOfInput),
217 }?;
218
219 helpers::consume_punct(',', &mut tokens)?;
221
222 let formattable = match tokens.next() {
224 Some(tree @ TokenTree::Ident(_)) => Ok(tree),
225 Some(tree) => Err(Error::UnexpectedToken { tree }),
226 None => Err(Error::UnexpectedEndOfInput),
227 }?;
228
229 helpers::consume_punct(',', &mut tokens)?;
231
232 let (format, format_description_display) = match tokens.peek() {
236 Some(TokenTree::Literal(_)) => {
238 let (span, format_string) = helpers::get_string_literal(tokens)?;
239 let items = format_description::parse_with_version(version, &format_string, span)?;
240 let items: TokenStream =
241 items.into_iter().map(|item| quote! { #S(item), }).collect();
242 let items = quote! {
243 const ITEMS: &[::time::format_description::BorrowedFormatItem<'_>]
244 = &[#S(items)];
245 ITEMS
246 };
247
248 (items, String::from_utf8_lossy(&format_string).into_owned())
249 }
250 Some(_) => {
252 let tokens = tokens.collect::<TokenStream>();
253 let tokens_string = tokens.to_string();
254 (tokens, tokens_string)
255 }
256 None => return Err(Error::UnexpectedEndOfInput),
257 };
258
259 Ok(serde_format_description::build(
260 visibility,
261 mod_name,
262 formattable,
263 format,
264 format_description_display,
265 ))
266 })()
267 .unwrap_or_else(|err: Error| err.to_compile_error_standalone())
268}