use std::{fmt::Write, str::FromStr};

use proc_macro2::TokenStream;
use quote::{quote, ToTokens};
use syn::{Data, DeriveInput, Generics, Lit, Meta};

use super::{
    super::TraitHandler,
    models::{FieldAttributeBuilder, TypeAttributeBuilder},
};
use crate::{panic, Trait};

pub struct DefaultUnionHandler;

impl TraitHandler for DefaultUnionHandler {
    fn trait_meta_handler(
        ast: &DeriveInput,
        tokens: &mut TokenStream,
        traits: &[Trait],
        meta: &Meta,
    ) {
        let type_attribute = TypeAttributeBuilder {
            enable_flag:       true,
            enable_new:        true,
            enable_expression: true,
            enable_bound:      true,
        }
        .from_default_meta(meta);

        let bound = type_attribute
            .bound
            .into_punctuated_where_predicates_by_generic_parameters(&ast.generics.params);

        let mut builder_tokens = TokenStream::new();

        if let Data::Union(data) = &ast.data {
            match type_attribute.expression {
                Some(expression) => {
                    for field in data.fields.named.iter() {
                        let _ = FieldAttributeBuilder {
                            enable_flag:       false,
                            enable_literal:    false,
                            enable_expression: false,
                        }
                        .from_attributes(&field.attrs, traits);
                    }

                    builder_tokens.extend(quote!(#expression));
                },
                None => {
                    let ident = ast.ident.to_string();

                    let (field_name, field_attribute, typ) = {
                        let fields = &data.fields.named;

                        if fields.len() == 1 {
                            let field = &fields[0];

                            let field_attribute = FieldAttributeBuilder {
                                enable_flag:       true,
                                enable_literal:    true,
                                enable_expression: true,
                            }
                            .from_attributes(&field.attrs, traits);

                            let field_name = field.ident.as_ref().unwrap().to_string();

                            (
                                field_name,
                                field_attribute,
                                field.ty.clone().into_token_stream().to_string(),
                            )
                        } else {
                            let mut fields_iter = fields.iter();

                            loop {
                                let field = fields_iter.next();

                                match field {
                                    Some(field) => {
                                        let field_attribute = FieldAttributeBuilder {
                                            enable_flag:       true,
                                            enable_literal:    true,
                                            enable_expression: true,
                                        }
                                        .from_attributes(&field.attrs, traits);

                                        if field_attribute.flag
                                            || field_attribute.literal.is_some()
                                            || field_attribute.expression.is_some()
                                        {
                                            let field_name =
                                                field.ident.as_ref().unwrap().to_string();

                                            loop {
                                                let field = fields_iter.next();

                                                match field {
                                                    Some(field) => {
                                                        let field_attribute =
                                                            FieldAttributeBuilder {
                                                                enable_flag:       true,
                                                                enable_literal:    true,
                                                                enable_expression: true,
                                                            }
                                                            .from_attributes(&field.attrs, traits);

                                                        if field_attribute.flag
                                                            || field_attribute.literal.is_some()
                                                            || field_attribute.expression.is_some()
                                                        {
                                                            panic::multiple_default_fields();
                                                        }
                                                    },
                                                    None => break,
                                                }
                                            }

                                            break (
                                                field_name,
                                                field_attribute,
                                                field.ty.clone().into_token_stream().to_string(),
                                            );
                                        }
                                    },
                                    None => panic::no_default_field(),
                                }
                            }
                        }
                    };

                    let mut union_tokens = format!(
                        "{ident} {{ {field_name}: ",
                        ident = ident,
                        field_name = field_name
                    );

                    match field_attribute.literal {
                        Some(value) => match &value {
                            Lit::Str(s) => {
                                union_tokens
                                    .write_fmt(format_args!(
                                        "core::convert::Into::into({s})",
                                        s = s.into_token_stream()
                                    ))
                                    .unwrap();
                            },
                            _ => {
                                union_tokens.push_str(&value.into_token_stream().to_string());
                            },
                        },
                        None => match field_attribute.expression {
                            Some(expression) => {
                                union_tokens.push_str(&expression);
                            },
                            None => {
                                union_tokens
                                    .write_fmt(format_args!(
                                        "<{typ} as core::default::Default>::default()",
                                        typ = typ
                                    ))
                                    .unwrap();
                            },
                        },
                    }

                    union_tokens.push('}');

                    builder_tokens.extend(TokenStream::from_str(&union_tokens).unwrap());
                },
            }
        }

        let ident = &ast.ident;

        let mut generics_cloned: Generics = ast.generics.clone();

        let where_clause = generics_cloned.make_where_clause();

        for where_predicate in bound {
            where_clause.predicates.push(where_predicate);
        }

        let (impl_generics, ty_generics, where_clause) = generics_cloned.split_for_impl();

        let default_impl = quote! {
            impl #impl_generics core::default::Default for #ident #ty_generics #where_clause {
                #[inline]
                fn default() -> Self {
                    #builder_tokens
                }
            }
        };

        tokens.extend(default_impl);

        if type_attribute.new {
            let new_impl = quote! {
                impl #impl_generics #ident #ty_generics #where_clause {
                    /// Returns the "default value" for a type.
                    #[inline]
                    pub fn new() -> Self {
                        <Self as core::default::Default>::default()
                    }
                }
            };

            tokens.extend(new_impl);
        }
    }
}