use darling::FromMeta;
use proc_macro2::TokenStream;
use quote::{format_ident, quote};

use crate::util::ctxt::Ctxt;
use crate::util::path::ModulePrefix;

#[derive(Debug, FromMeta)]
struct Args {
    #[darling(default)]
    pool_size: Option<usize>,
    #[darling(default)]
    embassy_prefix: ModulePrefix,
}

pub fn run(args: syn::AttributeArgs, f: syn::ItemFn) -> Result<TokenStream, TokenStream> {
    let args = Args::from_list(&args).map_err(|e| e.write_errors())?;

    let embassy_prefix = args.embassy_prefix.append("embassy");
    let embassy_path = embassy_prefix.path();

    let pool_size: usize = args.pool_size.unwrap_or(1);

    let ctxt = Ctxt::new();

    if f.sig.asyncness.is_none() {
        ctxt.error_spanned_by(&f.sig, "task functions must be async");
    }
    if !f.sig.generics.params.is_empty() {
        ctxt.error_spanned_by(&f.sig, "task functions must not be generic");
    }
    if pool_size < 1 {
        ctxt.error_spanned_by(&f.sig, "pool_size must be 1 or greater");
    }

    let mut arg_types = Vec::new();
    let mut arg_names = Vec::new();
    let mut arg_indexes = Vec::new();
    let mut fargs = f.sig.inputs.clone();

    for (i, arg) in fargs.iter_mut().enumerate() {
        match arg {
            syn::FnArg::Receiver(_) => {
                ctxt.error_spanned_by(arg, "task functions must not have receiver arguments");
            }
            syn::FnArg::Typed(t) => match t.pat.as_mut() {
                syn::Pat::Ident(id) => {
                    arg_names.push(id.ident.clone());
                    arg_types.push(t.ty.clone());
                    arg_indexes.push(syn::Index::from(i));
                    id.mutability = None;
                }
                _ => {
                    ctxt.error_spanned_by(
                        arg,
                        "pattern matching in task arguments is not yet supported",
                    );
                }
            },
        }
    }

    ctxt.check()?;

    let task_ident = f.sig.ident.clone();
    let task_inner_ident = format_ident!("__{}_task", task_ident);
    let mod_ident = format_ident!("__{}_mod", task_ident);
    let args_ident = format_ident!("__{}_args", task_ident);

    let mut task_inner = f;
    let visibility = task_inner.vis.clone();
    task_inner.vis = syn::Visibility::Inherited;
    task_inner.sig.ident = task_inner_ident.clone();

    let result = quote! {
        #task_inner

        #[allow(non_camel_case_types)]
        type #args_ident = (#(#arg_types,)*);

        mod #mod_ident {
            use #embassy_path::executor::SpawnToken;
            use #embassy_path::executor::raw::TaskStorage;

            type Fut = impl ::core::future::Future + 'static;

            #[allow(clippy::declare_interior_mutable_const)]
            const NEW_TS: TaskStorage<Fut> = TaskStorage::new();

            static POOL: [TaskStorage<Fut>; #pool_size] = [NEW_TS; #pool_size];

            pub(super) fn task(args: super::#args_ident) -> SpawnToken<Fut> {
                unsafe { TaskStorage::spawn_pool(&POOL, move || super::#task_inner_ident(#(args.#arg_indexes),*)) }
            }
        }

        #visibility fn #task_ident(#fargs) -> #embassy_path::executor::SpawnToken<impl ::core::future::Future + 'static> {
            #mod_ident::task((#(#arg_names,)*))
        }
    };

    Ok(result)
}