extern crate proc_macro;
use proc_macro2::{Ident, Span, TokenStream, TokenTree};
use quote::quote;
use syn::{parse_macro_input, BinOp, Expr, ExprBinary, ExprMethodCall, ExprUnary, UnOp};
#[proc_macro]
pub fn checked_expr(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
let input = parse_macro_input!(input as Expr);
let expr = expr(&input);
let tokens = quote! {
(|| Some(#expr) )()
};
tokens.into()
}
fn expr(expr: &Expr) -> TokenStream {
match expr {
Expr::Unary(expr) => unary_expr(expr),
Expr::Binary(expr) => binary_expr(expr),
Expr::Paren(expr) => crate::expr(&expr.expr),
Expr::MethodCall(expr) => method_call(expr),
_ => quote! {
(#expr)
},
}
}
fn binary_expr(expr: &ExprBinary) -> TokenStream {
let function_name = match expr.op {
BinOp::Add(_) => "checked_add",
BinOp::Sub(_) => "checked_sub",
BinOp::Mul(_) => "checked_mul",
BinOp::Div(_) => "checked_div",
BinOp::Rem(_) => "checked_rem",
BinOp::Shl(_) => "checked_shl",
BinOp::Shr(_) => "checked_shr",
_ => {
return quote! {
(#expr)
}
}
};
let fn_ident = TokenTree::Ident(Ident::new(function_name, Span::call_site()));
let left = crate::expr(&expr.left);
let right = crate::expr(&expr.right);
quote! {
#left.#fn_ident(#right)?
}
}
fn unary_expr(expr: &ExprUnary) -> TokenStream {
let function_name = match expr.op {
UnOp::Neg(_) => "checked_neg",
_ => {
return quote! {
(#expr)
}
}
};
let fn_ident = TokenTree::Ident(Ident::new(function_name, Span::call_site()));
let inner = crate::expr(&expr.expr);
quote! {
#inner.#fn_ident()?
}
}
fn method_call(expr: &ExprMethodCall) -> TokenStream {
let method_name = match expr.method.to_string().as_str() {
"abs" => "checked_abs",
"pow" => "checked_pow",
_ => {
return quote! {
(#expr)
}
}
};
let method_ident = TokenTree::Ident(Ident::new(method_name, Span::call_site()));
let left = crate::expr(&expr.receiver);
let args = &expr.args;
quote! {
#left.#method_ident(#args)?
}
}