use crate::cache::container::{add_cached_container, cached_container_by_name, cached_containers};
use crate::container::disk::DiskContainer;
use crate::container::{
    ContainerSearchItem, ContainerSearchItemKind, ContainerSearchQuery, SourcePath, SourceTag,
};
use crate::plugin::ffi::{
    BNWARPConstraintGUID, BNWARPContainer, BNWARPFunction, BNWARPFunctionGUID, BNWARPSource,
    BNWARPTarget, BNWARPType, BNWARPTypeGUID,
};
use binaryninja::string::BnString;
use std::collections::HashMap;
use std::ffi::{c_char, CStr};
use std::mem::ManuallyDrop;
use std::ops::Deref;
use std::sync::Arc;
use warp::r#type::guid::TypeGUID;

pub type BNWARPContainerSearchQuery = ContainerSearchQuery;
pub type BNWARPContainerSearchItem = ContainerSearchItem;

#[repr(C)]
pub enum BNWARPContainerSearchItemKind {
    Source = 0,
    Function = 1,
    Type = 2,
    Symbol = 3,
}

#[repr(C)]
pub struct BNWARPContainerSearchResponse {
    pub count: usize,
    pub items: *mut *mut BNWARPContainerSearchItem,
    pub offset: usize,
    pub total: usize,
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPNewContainerSearchQuery(
    query: *mut c_char,
    offset: *const usize,
    limit: *const usize,
    source: *const BNWARPSource,
    source_tags: *mut *mut c_char,
    source_tags_count: usize,
) -> *mut BNWARPContainerSearchQuery {
    let query_cstr = unsafe { CStr::from_ptr(query) };
    let Ok(query) = query_cstr.to_str() else {
        return std::ptr::null_mut();
    };
    let mut search_query = ContainerSearchQuery::new(query.to_string());
    if !offset.is_null() {
        search_query.offset = Some(*offset);
    }
    if !limit.is_null() {
        search_query.limit = Some(*limit);
    }
    if !source.is_null() {
        search_query.source = Some(*source);
    }
    if !source_tags.is_null() {
        let source_tags_raw = unsafe { std::slice::from_raw_parts(source_tags, source_tags_count) };
        let source_tags: Vec<SourceTag> = source_tags_raw
            .iter()
            .filter_map(|&ptr| CStr::from_ptr(ptr).to_str().ok())
            .map(|s| s.into())
            .collect();
        search_query.tags = source_tags;
    }
    Box::into_raw(Box::new(search_query))
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerSearchItemGetKind(
    item: *mut BNWARPContainerSearchItem,
) -> BNWARPContainerSearchItemKind {
    let item = ManuallyDrop::new(Arc::from_raw(item));
    match &item.kind {
        ContainerSearchItemKind::Source { .. } => BNWARPContainerSearchItemKind::Source,
        ContainerSearchItemKind::Function(_) => BNWARPContainerSearchItemKind::Function,
        ContainerSearchItemKind::Type(_) => BNWARPContainerSearchItemKind::Type,
        ContainerSearchItemKind::Symbol(_) => BNWARPContainerSearchItemKind::Symbol,
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerSearchItemGetSource(
    item: *mut BNWARPContainerSearchItem,
) -> BNWARPSource {
    let item = ManuallyDrop::new(Arc::from_raw(item));
    item.source
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerSearchItemGetType(
    item: *mut BNWARPContainerSearchItem,
) -> *mut BNWARPType {
    let item = ManuallyDrop::new(Arc::from_raw(item));
    match &item.kind {
        ContainerSearchItemKind::Source { .. } => std::ptr::null_mut(),
        ContainerSearchItemKind::Function(func) => {
            match &func.ty {
                None => std::ptr::null_mut(),
                Some(func_ty) => {
                    let arc_func_ty = Arc::new(func_ty.clone());
                    // NOTE: Freed by BNWARPFreeTypeReference
                    Arc::into_raw(arc_func_ty) as *mut BNWARPType
                }
            }
        }
        ContainerSearchItemKind::Type(ty) => {
            let arc_ty = Arc::new(ty.clone());
            // NOTE: Freed by BNWARPFreeTypeReference
            Arc::into_raw(arc_ty) as *mut BNWARPType
        }
        ContainerSearchItemKind::Symbol(_) => std::ptr::null_mut(),
    }
}

// NOTE: In the future we should allow for the possibility of this returning a null pointer.
#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerSearchItemGetName(
    item: *mut BNWARPContainerSearchItem,
) -> *mut c_char {
    let item = ManuallyDrop::new(Arc::from_raw(item));
    match &item.kind {
        ContainerSearchItemKind::Source { path, .. } => {
            let bn_name = BnString::new(path.to_string());
            BnString::into_raw(bn_name)
        }
        ContainerSearchItemKind::Function(func) => {
            let bn_name = BnString::new(func.symbol.name.clone());
            BnString::into_raw(bn_name)
        }
        ContainerSearchItemKind::Type(ty) => {
            // TODO: Maybe un-named types should return std::ptr::null_mut()?
            let ty_name = ty
                .name
                .clone()
                .unwrap_or_else(|| TypeGUID::from(ty).to_string());
            let bn_name = BnString::new(ty_name);
            BnString::into_raw(bn_name)
        }
        ContainerSearchItemKind::Symbol(sym) => {
            let bn_name = BnString::new(sym.name.clone());
            BnString::into_raw(bn_name)
        }
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerSearchItemGetFunction(
    item: *mut BNWARPContainerSearchItem,
) -> *mut BNWARPFunction {
    let item = ManuallyDrop::new(Arc::from_raw(item));
    match &item.kind {
        ContainerSearchItemKind::Source { .. } => std::ptr::null_mut(),
        ContainerSearchItemKind::Function(func) => {
            Arc::into_raw(Arc::new(func.clone())) as *mut BNWARPFunction
        }
        ContainerSearchItemKind::Type(_) => std::ptr::null_mut(),
        ContainerSearchItemKind::Symbol(_) => std::ptr::null_mut(),
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPAddContainer(name: *const c_char) -> *mut BNWARPContainer {
    let name_cstr = unsafe { CStr::from_ptr(name) };
    let name_str = name_cstr.to_str().unwrap();
    // TODO: Using this generic API name for disk container, I think anything like the network container
    // TODO: should probably be a second class name so something like BNWARPAddNetworkContainer.
    let disk_container = DiskContainer::new(name_str.to_string(), HashMap::new());
    let container_name = disk_container.to_string();
    add_cached_container(disk_container);
    match cached_container_by_name(&container_name) {
        Some(container) => Arc::into_raw(container) as *mut BNWARPContainer,
        None => std::ptr::null_mut(),
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPGetContainers(count: *mut usize) -> *mut *mut BNWARPContainer {
    // NOTE: Leak the arc pointers to be freed by BNWARPFreeContainerList
    let boxed_raw_containers: Box<[_]> =
        cached_containers().into_iter().map(Arc::into_raw).collect();
    *count = boxed_raw_containers.len();
    let leaked_raw_containers = Box::into_raw(boxed_raw_containers);
    leaked_raw_containers as *mut *mut BNWARPContainer
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerGetName(container: *mut BNWARPContainer) -> *const c_char {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null();
    };
    let name = container.to_string();
    // NOTE: Leak the container name to be freed by BNFreeString
    BnString::into_raw(name.into())
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerFetchFunctions(
    container: *mut BNWARPContainer,
    target: *mut BNWARPTarget,
    source_tags: *mut *mut c_char,
    source_tags_count: usize,
    guids: *const BNWARPFunctionGUID,
    count: usize,
    constraints: *const BNWARPConstraintGUID,
    constraints_count: usize,
) {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return;
    };

    let target = unsafe { ManuallyDrop::new(Arc::from_raw(target)) };

    let source_tags_raw = unsafe { std::slice::from_raw_parts(source_tags, source_tags_count) };
    let source_tags: Vec<SourceTag> = source_tags_raw
        .iter()
        .filter_map(|&ptr| CStr::from_ptr(ptr).to_str().ok())
        .map(|s| s.into())
        .collect();

    let guids = unsafe { std::slice::from_raw_parts(guids, count) };
    let constraints = unsafe { std::slice::from_raw_parts(constraints, constraints_count) };

    if let Err(e) = container.fetch_functions(&target, &source_tags, guids, constraints) {
        tracing::error!("Failed to fetch functions: {}", e);
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerGetSources(
    container: *mut BNWARPContainer,
    count: *mut usize,
) -> *mut BNWARPSource {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null_mut();
    };

    // NOTE: Leak the sources to be freed by BNWARPFreeUUIDList
    let boxed_sources: Box<[_]> = container.sources().unwrap_or_default().into_boxed_slice();
    *count = boxed_sources.len();
    Box::into_raw(boxed_sources) as *mut BNWARPSource
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerAddSource(
    container: *mut BNWARPContainer,
    source_path: *const c_char,
    result: *mut BNWARPSource,
) -> bool {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(mut container) = arc_container.write() else {
        return false;
    };

    let source_path_cstr = unsafe { CStr::from_ptr(source_path) };
    let source_path_str = source_path_cstr.to_str().unwrap();
    let source_path = SourcePath::new_with_str(source_path_str);

    match container.add_source(source_path) {
        Ok(source) => {
            // NOTE: Leak the source to be freed by BNFreeString
            *result = source;
            true
        }
        Err(_) => false,
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerCommitSource(
    container: *mut BNWARPContainer,
    source: *const BNWARPSource,
) -> bool {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(mut container) = arc_container.write() else {
        return false;
    };

    let source = unsafe { *source };

    container
        .commit_source(&source)
        .is_ok_and(|committed| committed)
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerIsSourceUncommitted(
    container: *mut BNWARPContainer,
    source: *const BNWARPSource,
) -> bool {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return false;
    };

    let source = unsafe { *source };

    container
        .is_source_uncommitted(&source)
        .is_ok_and(|uncommitted| uncommitted)
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerIsSourceWritable(
    container: *mut BNWARPContainer,
    source: *const BNWARPSource,
) -> bool {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return false;
    };

    let source = unsafe { *source };

    container
        .is_source_writable(&source)
        .is_ok_and(|writable| writable)
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerGetSourcePath(
    container: *mut BNWARPContainer,
    source: *const BNWARPSource,
) -> *const c_char {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null();
    };

    let source = unsafe { *source };

    match container.source_path(&source) {
        Ok(path) => {
            let path = path.to_string();
            // NOTE: Leak the source path to be freed by BNFreeString
            BnString::into_raw(path.into())
        }
        Err(_) => std::ptr::null(),
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerAddFunctions(
    container: *mut BNWARPContainer,
    target: *mut BNWARPTarget,
    source: *const BNWARPSource,
    functions: *mut *mut BNWARPFunction,
    count: usize,
) -> bool {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(mut container) = arc_container.write() else {
        return false;
    };

    let target = unsafe { ManuallyDrop::new(Arc::from_raw(target)) };

    let source = unsafe { *source };

    let functions_ptr = std::slice::from_raw_parts(functions, count);
    // TODO: We have to clone the objects here to make the type checker happy.
    // TODO: See about avoiding this later.
    let functions: Vec<_> = functions_ptr
        .iter()
        .map(|&f| unsafe { ManuallyDrop::new(Arc::from_raw(f)).as_ref().clone() })
        .collect();
    container
        .add_functions(&target, &source, &functions)
        .is_ok()
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerAddTypes(
    container: *mut BNWARPContainer,
    source: *const BNWARPSource,
    types: *mut *mut BNWARPType,
    count: usize,
) -> bool {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(mut container) = arc_container.write() else {
        return false;
    };

    let source = unsafe { *source };

    let types_ptr = std::slice::from_raw_parts(types, count);
    // TODO: We have to clone the objects here to make the type checker happy.
    // TODO: See about avoiding this later.
    let types: Vec<_> = types_ptr
        .iter()
        .map(|&t| unsafe { ManuallyDrop::new(Arc::from_raw(t)).as_ref().clone() })
        .collect();
    container.add_types(&source, &types).is_ok()
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerRemoveFunctions(
    container: *mut BNWARPContainer,
    target: *mut BNWARPTarget,
    source: *const BNWARPSource,
    functions: *mut *mut BNWARPFunction,
    count: usize,
) -> bool {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(mut container) = arc_container.write() else {
        return false;
    };

    let target = unsafe { ManuallyDrop::new(Arc::from_raw(target)) };

    let source = unsafe { *source };

    let functions_ptr = std::slice::from_raw_parts(functions, count);
    // TODO: We have to clone the objects here to make the type checker happy.
    // TODO: See about avoiding this later.
    let functions: Vec<_> = functions_ptr
        .iter()
        .map(|&f| unsafe { ManuallyDrop::new(Arc::from_raw(f)).as_ref().clone() })
        .collect();
    container
        .remove_functions(&target, &source, &functions)
        .is_ok()
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerRemoveTypes(
    container: *mut BNWARPContainer,
    source: *const BNWARPSource,
    guids: *mut BNWARPTypeGUID,
    count: usize,
) -> bool {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(mut container) = arc_container.write() else {
        return false;
    };

    let source = unsafe { *source };

    let guids = std::slice::from_raw_parts(guids, count);
    container.remove_types(&source, &guids).is_ok()
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerGetSourcesWithFunctionGUID(
    container: *mut BNWARPContainer,
    target: *mut BNWARPTarget,
    guid: *const BNWARPFunctionGUID,
    count: *mut usize,
) -> *mut BNWARPSource {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null_mut();
    };

    let target = unsafe { ManuallyDrop::new(Arc::from_raw(target)) };

    let guid = unsafe { *guid };

    // NOTE: Leak the sources to be freed by BNWARPFreeUUIDList
    let boxed_sources: Box<[_]> = container
        .sources_with_function_guid(&target, &guid)
        .unwrap_or_default()
        .into_boxed_slice();
    *count = boxed_sources.len();
    Box::into_raw(boxed_sources) as *mut BNWARPSource
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerGetSourcesWithTypeGUID(
    container: *mut BNWARPContainer,
    guid: *const BNWARPTypeGUID,
    count: *mut usize,
) -> *mut BNWARPSource {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null_mut();
    };

    let guid = unsafe { *guid };

    // NOTE: Leak the sources to be freed by BNWARPFreeUUIDList
    let boxed_sources: Box<[_]> = container
        .sources_with_type_guid(&guid)
        .unwrap_or_default()
        .into_boxed_slice();
    *count = boxed_sources.len();
    Box::into_raw(boxed_sources) as *mut BNWARPSource
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerGetFunctionsWithGUID(
    container: *mut BNWARPContainer,
    target: *mut BNWARPTarget,
    source: *const BNWARPSource,
    guid: *const BNWARPFunctionGUID,
    count: *mut usize,
) -> *mut *mut BNWARPFunction {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null_mut();
    };

    let source = unsafe { *source };

    let target = unsafe { ManuallyDrop::new(Arc::from_raw(target)) };

    let guid = unsafe { *guid };

    // NOTE: Leak the functions to be freed by BNWARPFreeFunctionList
    let raw_boxed_functions: Box<[_]> = container
        .functions_with_guid(&target, &source, &guid)
        .unwrap_or_default()
        .into_iter()
        .map(Arc::new)
        .map(Arc::into_raw)
        .collect();
    *count = raw_boxed_functions.len();
    Box::into_raw(raw_boxed_functions) as *mut *mut BNWARPFunction
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerGetTypeWithGUID(
    container: *mut BNWARPContainer,
    source: *const BNWARPSource,
    guid: *const BNWARPTypeGUID,
) -> *mut BNWARPType {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null_mut();
    };

    let source = unsafe { *source };

    let guid = unsafe { *guid };

    let Some(ty) = container.type_with_guid(&source, &guid).unwrap_or_default() else {
        return std::ptr::null_mut();
    };

    let arc_ty = Arc::new(ty);
    // NOTE: Freed by BNWARPFreeTypeReference
    Arc::into_raw(arc_ty) as *mut BNWARPType
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerGetTypeGUIDsWithName(
    container: *mut BNWARPContainer,
    source: *const BNWARPSource,
    name: *const c_char,
    count: *mut usize,
) -> *mut BNWARPTypeGUID {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null_mut();
    };

    let source = unsafe { *source };

    let name_cstr = unsafe { CStr::from_ptr(name) };
    let name = name_cstr.to_str().unwrap();

    // NOTE: Leak the guids to be freed by BNWARPFreeTypeGUIDList
    let boxed_guids = container
        .type_guids_with_name(&source, name)
        .unwrap_or_default()
        .into_boxed_slice();
    *count = boxed_guids.len();
    Box::into_raw(boxed_guids) as *mut BNWARPTypeGUID
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPContainerSearch(
    container: *mut BNWARPContainer,
    query: *mut BNWARPContainerSearchQuery,
) -> *mut BNWARPContainerSearchResponse {
    let arc_container = ManuallyDrop::new(Arc::from_raw(container));
    let Ok(container) = arc_container.read() else {
        return std::ptr::null_mut();
    };

    let query = unsafe { ManuallyDrop::new(Arc::from_raw(query)) };

    let result = match container.search(&query) {
        Ok(result) => result,
        Err(err) => {
            tracing::error!("Failed to search container {:?}: {}", query.deref(), err);
            return std::ptr::null_mut();
        }
    };

    let boxed_raw_items: Box<[_]> = result
        .items
        .into_iter()
        .map(Arc::new)
        .map(Arc::into_raw)
        .collect();
    let count = boxed_raw_items.len();
    // NOTE: Leak the functions to be freed by BNWARPFreeContainerSearchItemList
    let leaked_raw_items = Box::into_raw(boxed_raw_items) as *mut *mut BNWARPContainerSearchItem;
    let raw_result = BNWARPContainerSearchResponse {
        count,
        items: leaked_raw_items,
        total: result.total,
        offset: result.offset,
    };
    // NOTE: Leak the result to be freed by BNWARPFreeContainerSearchResult
    Box::into_raw(Box::new(raw_result))
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPNewContainerReference(
    container: *mut BNWARPContainer,
) -> *mut BNWARPContainer {
    Arc::increment_strong_count(container);
    container
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPFreeContainerReference(container: *mut BNWARPContainer) {
    if container.is_null() {
        return;
    }
    Arc::decrement_strong_count(container);
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPFreeContainerList(
    containers: *mut *mut BNWARPContainer,
    count: usize,
) {
    let containers_ptr = std::ptr::slice_from_raw_parts_mut(containers, count);
    let containers = unsafe { Box::from_raw(containers_ptr) };
    for container in containers {
        BNWARPFreeContainerReference(container);
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPNewContainerSearchQueryReference(
    query: *mut BNWARPContainerSearchQuery,
) -> *mut BNWARPContainerSearchQuery {
    Arc::increment_strong_count(query);
    query
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPFreeContainerSearchQueryReference(
    query: *mut BNWARPContainerSearchQuery,
) {
    if query.is_null() {
        return;
    }
    Arc::decrement_strong_count(query);
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPNewContainerSearchItemReference(
    item: *mut BNWARPContainerSearchItem,
) -> *mut BNWARPContainerSearchItem {
    Arc::increment_strong_count(item);
    item
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPFreeContainerSearchItemReference(
    item: *mut BNWARPContainerSearchItem,
) {
    if item.is_null() {
        return;
    }
    Arc::decrement_strong_count(item);
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPFreeContainerSearchItemList(
    items: *mut *mut BNWARPContainerSearchItem,
    count: usize,
) {
    let items_ptr = std::ptr::slice_from_raw_parts_mut(items, count);
    let items = unsafe { Box::from_raw(items_ptr) };
    for item in items {
        BNWARPFreeContainerSearchItemReference(item);
    }
}

#[no_mangle]
pub unsafe extern "C" fn BNWARPFreeContainerSearchResponse(
    response: *mut BNWARPContainerSearchResponse,
) {
    if response.is_null() {
        return;
    }
    let response = unsafe { Box::from_raw(response) };
    BNWARPFreeContainerSearchItemList(response.items, response.count);
}