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
extern crate proc_macro;
use proc_macro_hack::proc_macro_hack;
use proc_macro::TokenStream;
use proc_macro2::TokenTree;
use quote::quote;
use syn::parse::{Parse, ParseStream, Result};
use syn::{parse_macro_input, Expr, Token};
struct Conditional {
condition: Expr,
r#true: Expr,
r#false: Expr,
}
fn get_until_question_mark(input: ParseStream) -> Result<Expr> {
let mut skipped_tokens = vec![];
while !input.peek(Token![?]) || (input.peek(Token![?]) && input.peek2(Token![?])) {
let tree = input.parse::<TokenTree>()?;
skipped_tokens.push(tree);
}
Ok(syn::parse2(skipped_tokens.into_iter().collect())?)
}
fn get_until_colon(input: ParseStream) -> Result<Expr> {
let mut skipped_tokens = vec![];
while !input.peek(Token![:]) || input.peek(Token![::]) {
let tree = input.parse::<TokenTree>()?;
skipped_tokens.push(tree);
}
Ok(syn::parse2(skipped_tokens.into_iter().collect())?)
}
impl Parse for Conditional {
fn parse(input: ParseStream) -> Result<Self> {
let condition = get_until_question_mark(input)?;
input.parse::<Token![?]>()?;
let r#true = get_until_colon(input)?;
input.parse::<Token![:]>()?;
let r#false: Expr = input.parse()?;
Ok(Conditional {
condition,
r#true,
r#false,
})
}
}
#[proc_macro_hack]
pub fn conditional(input: TokenStream) -> TokenStream {
let Conditional {
condition,
r#true,
r#false,
} = parse_macro_input!(input as Conditional);
let result = quote! {
if #condition {
#r#true
} else {
#r#false
}
};
result.into()
}