#![feature(proc_macro)]

extern crate syn;
extern crate synom;
#[macro_use]
extern crate quote;
extern crate proc_macro;
extern crate proc_macro2;
extern crate serde_json;
extern crate wasm_bindgen_shared;

use std::sync::atomic::*;

use proc_macro::TokenStream;
use proc_macro2::{Literal, Span};
use quote::{Tokens, ToTokens};

mod ast;

static MALLOC_GENERATED: AtomicBool = ATOMIC_BOOL_INIT;
static BOXED_STR_GENERATED: AtomicBool = ATOMIC_BOOL_INIT;

macro_rules! my_quote {
    ($($t:tt)*) => (quote_spanned!(Span::call_site(), $($t)*))
}

#[proc_macro]
pub fn wasm_bindgen(input: TokenStream) -> TokenStream {
    let file = syn::parse::<syn::File>(input)
        .expect("expected a set of valid Rust items");

    let mut ret = Tokens::new();

    let mut program = ast::Program {
        structs: Vec::new(),
        free_functions: Vec::new(),
    };

    for item in file.items.iter() {
        item.to_tokens(&mut ret);
        match *item {
            syn::Item::Fn(ref f) => {
                program.free_functions.push(ast::Function::from(f));
            }
            syn::Item::Struct(ref s) => {
                let s = ast::Struct::from(s);
                if program.structs.iter().any(|a| a.name == s.name) {
                    panic!("redefinition of struct: {}", s.name);
                }
                program.structs.push(s);
            }
            syn::Item::Impl(ref s) => program.push_impl(s),
            _ => panic!("unexpected item in bindgen macro"),
        }
    }

    for function in program.free_functions.iter() {
        bindgen_fn(function, &mut ret);
    }
    for s in program.structs.iter() {
        bindgen_struct(s, &mut ret);
    }

    static CNT: AtomicUsize = ATOMIC_USIZE_INIT;
    let generated_static_name = format!("__WASM_BINDGEN_GENERATED{}",
                                        CNT.fetch_add(1, Ordering::SeqCst));
    let generated_static_name = syn::Ident::from(generated_static_name);
    let mut generated_static = String::from("wbg:");
    generated_static.push_str(&serde_json::to_string(&program.shared()).unwrap());
    let generated_static_value = syn::Lit {
        value: syn::LitKind::Other(Literal::byte_string(generated_static.as_bytes())),
        span: Default::default(),
    };
    let generated_static_length = generated_static.len();

    (my_quote! {
        #[no_mangle]
        #[allow(non_upper_case_globals)]
        pub static #generated_static_name: [u8; #generated_static_length] =
            *#generated_static_value;
    }).to_tokens(&mut ret);

    // println!("{}", ret);

    ret.into()
}

fn bindgen_fn(function: &ast::Function, into: &mut Tokens) {
    bindgen(&function.free_function_export_name(),
            function.rust_symbol(None),
            Receiver::FreeFunction(function.name),
            &function.arguments,
            function.ret.as_ref(),
            into)
}

fn bindgen_struct(s: &ast::Struct, into: &mut Tokens) {
    for f in s.functions.iter() {
        bindgen_struct_fn(s, f, into);
    }
    for f in s.methods.iter() {
        bindgen_struct_method(s, f, into);
    }

    let name = &s.name;
    let free_fn = s.free_function();
    (my_quote! {
        #[no_mangle]
        pub unsafe extern fn #free_fn(ptr: *mut ::std::cell::RefCell<#name>) {
            assert!(!ptr.is_null());
            drop(Box::from_raw(ptr));
        }
    }).to_tokens(into);
}

fn bindgen_struct_fn(s: &ast::Struct, f: &ast::Function, into: &mut Tokens) {
    bindgen(&f.struct_function_export_name(s.name),
            f.rust_symbol(Some(s.name)),
            Receiver::StructFunction(s.name, f.name),
            &f.arguments,
            f.ret.as_ref(),
            into)
}

fn bindgen_struct_method(s: &ast::Struct, m: &ast::Method, into: &mut Tokens) {
    bindgen(&m.function.struct_function_export_name(s.name),
            m.function.rust_symbol(Some(s.name)),
            Receiver::StructMethod(s.name, m.mutable, m.function.name),
            &m.function.arguments,
            m.function.ret.as_ref(),
            into)
}

enum Receiver {
    FreeFunction(syn::Ident),
    StructFunction(syn::Ident, syn::Ident),
    StructMethod(syn::Ident, bool, syn::Ident),
}

fn bindgen(export_name: &syn::Lit,
           generated_name: syn::Ident,
           receiver: Receiver,
           arguments: &[ast::Type],
           ret_type: Option<&ast::Type>,
           into: &mut Tokens) {
    let mut args = vec![];
    let mut arg_conversions = vec![];
    let mut converted_arguments = vec![];
    let ret = syn::Ident::from("_ret");

    let mut malloc = false;
    let mut boxed_str = false;

    let mut offset = 0;
    if let Receiver::StructMethod(class, _, _) = receiver {
        args.push(my_quote! { me: *mut ::std::cell::RefCell<#class> });
        arg_conversions.push(my_quote! {
            assert!(!me.is_null());
            let me = unsafe { &*me };
        });
        offset = 1;
    }

    for (i, ty) in arguments.iter().enumerate() {
        let i = i + offset;
        let ident = syn::Ident::from(format!("arg{}", i));
        match *ty {
            ast::Type::Integer(i) => {
                args.push(my_quote! { #ident: #i });
            }
            ast::Type::BorrowedStr => {
                malloc = malloc || !MALLOC_GENERATED.swap(true, Ordering::SeqCst);
                let ptr = syn::Ident::from(format!("arg{}_ptr", i));
                let len = syn::Ident::from(format!("arg{}_len", i));
                args.push(my_quote! { #ptr: *const u8 });
                args.push(my_quote! { #len: usize });
                arg_conversions.push(my_quote! {
                    let #ident = unsafe {
                        let slice = ::std::slice::from_raw_parts(#ptr, #len);
                        ::std::str::from_utf8_unchecked(slice)
                    };
                });
            }
            ast::Type::String => {
                malloc = malloc || !MALLOC_GENERATED.swap(true, Ordering::SeqCst);
                let ptr = syn::Ident::from(format!("arg{}_ptr", i));
                let len = syn::Ident::from(format!("arg{}_len", i));
                args.push(my_quote! { #ptr: *mut u8 });
                args.push(my_quote! { #len: usize });
                arg_conversions.push(my_quote! {
                    let #ident = unsafe {
                        let vec = ::std::vec::Vec::from_raw_parts(#ptr, #len, #len);
                        ::std::string::String::from_utf8_unchecked(vec)
                    };
                });
            }
            ast::Type::ByValue(name) => {
                args.push(my_quote! { #ident: *mut ::std::cell::RefCell<#name> });
                arg_conversions.push(my_quote! {
                    assert!(!#ident.is_null());
                    let #ident = unsafe {
                        (*#ident).borrow_mut();
                        Box::from_raw(#ident).into_inner()
                    };
                });
            }
            ast::Type::ByRef(name) => {
                args.push(my_quote! { #ident: *mut ::std::cell::RefCell<#name> });
                arg_conversions.push(my_quote! {
                    assert!(!#ident.is_null());
                    let #ident = unsafe { (*#ident).borrow() };
                    let #ident = &*#ident;
                });
            }
            ast::Type::ByMutRef(name) => {
                args.push(my_quote! { #ident: *mut ::std::cell::RefCell<#name> });
                arg_conversions.push(my_quote! {
                    assert!(!#ident.is_null());
                    let mut #ident = unsafe { (*#ident).borrow_mut() };
                    let #ident = &mut *#ident;
                });
            }
        }
        converted_arguments.push(my_quote! { #ident });
    }
    let ret_ty;
    let convert_ret;
    match ret_type {
        Some(&ast::Type::Integer(i)) => {
            ret_ty = my_quote! { -> #i };
            convert_ret = my_quote! { #ret };
        }
        Some(&ast::Type::BorrowedStr) => panic!("can't return a borrowed string"),
        Some(&ast::Type::ByRef(_)) => panic!("can't return a borrowed ref"),
        Some(&ast::Type::ByMutRef(_)) => panic!("can't return a borrowed ref"),
        Some(&ast::Type::String) => {
            boxed_str = !BOXED_STR_GENERATED.swap(true, Ordering::SeqCst);
            ret_ty = my_quote! { -> *mut String };
            convert_ret = my_quote! { Box::into_raw(Box::new(#ret)) };
        }
        Some(&ast::Type::ByValue(name)) => {
            ret_ty = my_quote! { -> *mut ::std::cell::RefCell<#name> };
            convert_ret = my_quote! {
                Box::into_raw(Box::new(::std::cell::RefCell::new(#ret)))
            };
        }
        None => {
            ret_ty = my_quote! {};
            convert_ret = my_quote! {};
        }
    }

    let malloc = if malloc {
        my_quote! {
            #[no_mangle]
            pub extern fn __wbindgen_malloc(size: usize) -> *mut u8 {
                let mut ret = Vec::with_capacity(size);
                let ptr = ret.as_mut_ptr();
                ::std::mem::forget(ret);
                return ptr
            }

            #[no_mangle]
            pub unsafe extern fn __wbindgen_free(ptr: *mut u8, size: usize) {
                drop(Vec::<u8>::from_raw_parts(ptr, 0, size));
            }
        }
    } else {
        my_quote! {
        }
    };

    let boxed_str = if boxed_str {
        my_quote! {
            #[no_mangle]
            pub unsafe extern fn __wbindgen_boxed_str_len(ptr: *mut String) -> usize {
                (*ptr).len()
            }

            #[no_mangle]
            pub unsafe extern fn __wbindgen_boxed_str_ptr(ptr: *mut String) -> *const u8 {
                (*ptr).as_ptr()
            }

            #[no_mangle]
            pub unsafe extern fn __wbindgen_boxed_str_free(ptr: *mut String) {
                drop(Box::from_raw(ptr));
            }
        }
    } else {
        my_quote! {
        }
    };

    let tokens = my_quote! {
        #malloc
        #boxed_str

        #[export_name = #export_name]
        #[allow(non_snake_case)]
        pub extern fn #generated_name(#(#args),*) #ret_ty {
            #(#arg_conversions)*
            let #ret = #receiver(#(#converted_arguments),*);
            #convert_ret
        }
    };
    tokens.to_tokens(into);
}

impl ToTokens for Receiver {
    fn to_tokens(&self, tokens: &mut Tokens) {
        match *self {
            Receiver::FreeFunction(name) => name.to_tokens(tokens),
            Receiver::StructFunction(s, name) => {
                s.to_tokens(tokens);
                syn::tokens::Colon2::default().to_tokens(tokens);
                name.to_tokens(tokens);
            }
            Receiver::StructMethod(_, mutable, name) => {
                (my_quote! { me }).to_tokens(tokens);
                syn::tokens::Dot::default().to_tokens(tokens);
                if mutable {
                    syn::Ident::from("borrow_mut").to_tokens(tokens);
                } else {
                    syn::Ident::from("borrow").to_tokens(tokens);
                }
                tokens.append_delimited("(", Default::default(), |_| ());
                syn::tokens::Dot::default().to_tokens(tokens);
                name.to_tokens(tokens);
            }
        }
    }
}