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
75
76
77
78
79
80
81
82
extern crate proc_macro;
extern crate proc_macro2;
extern crate quote;
extern crate syn;

use proc_macro::TokenStream;
use quote::quote;
use syn::{
    parse::{Parse, Parser},
    parse_quote,
    spanned::Spanned,
};

#[proc_macro_attribute]
pub fn quickcheck(_args: TokenStream, input: TokenStream) -> TokenStream {
    let output = match syn::Item::parse.parse(input.clone()) {
        Ok(syn::Item::Fn(mut item_fn)) => {
            let mut inputs = syn::punctuated::Punctuated::new();
            let mut errors = Vec::new();

            item_fn.sig.inputs.iter().for_each(|input| match *input {
                syn::FnArg::Typed(syn::PatType { ref ty, .. }) => {
                    inputs.push(parse_quote!(_: #ty));
                }
                _ => errors.push(syn::parse::Error::new(
                    input.span(),
                    "unsupported kind of function argument",
                )),
            });

            if errors.is_empty() {
                let attrs = std::mem::take(&mut item_fn.attrs);
                let name = &item_fn.sig.ident;
                let fn_type = syn::TypeBareFn {
                    lifetimes: None,
                    unsafety: item_fn.sig.unsafety,
                    abi: item_fn.sig.abi.clone(),
                    fn_token: <syn::Token![fn]>::default(),
                    paren_token: syn::token::Paren::default(),
                    inputs,
                    variadic: item_fn.sig.variadic.clone(),
                    output: item_fn.sig.output.clone(),
                };

                quote! {
                    #[test]
                    #(#attrs)*
                    fn #name() {
                        #item_fn
                       ::qcheck::quickcheck(#name as #fn_type)
                    }
                }
            } else {
                errors
                    .iter()
                    .map(syn::parse::Error::to_compile_error)
                    .collect()
            }
        }
        Ok(syn::Item::Static(mut item_static)) => {
            let attrs = std::mem::take(&mut item_static.attrs);
            let name = &item_static.ident;

            quote! {
                #[test]
                #(#attrs)*
                fn #name() {
                    #item_static
                    ::qcheck::quickcheck(#name)
                }
            }
        }
        _ => {
            let span = proc_macro2::TokenStream::from(input).span();
            let msg = "#[quickcheck] is only supported on statics and functions";

            syn::parse::Error::new(span, msg).to_compile_error()
        }
    };

    output.into()
}