alef-backend-kotlin 0.17.35

use alef_codegen::type_mapper::TypeMapper;
use alef_core::ir::PrimitiveType;
use std::borrow::Cow;

/// TypeMapper for Kotlin bindings.
///
/// Mirrors the Java backend's primitive mapping so that values cross the
/// JVM/Panama boundary without sign-flipping conversions: the JVM has no
/// native unsigned types, so unsigned integers map to the same signed
/// primitive Java already returns.
pub struct KotlinMapper;

impl TypeMapper for KotlinMapper {
    fn primitive(&self, prim: &PrimitiveType) -> Cow<'static, str> {
        use alef_core::ir::PrimitiveType;
        match prim {
            PrimitiveType::Bool => Cow::Borrowed("Boolean"),
            PrimitiveType::U8 | PrimitiveType::I8 => Cow::Borrowed("Byte"),
            PrimitiveType::U16 | PrimitiveType::I16 => Cow::Borrowed("Short"),
            PrimitiveType::U32 | PrimitiveType::I32 => Cow::Borrowed("Int"),
            PrimitiveType::U64 | PrimitiveType::I64 | PrimitiveType::Usize | PrimitiveType::Isize => {
                Cow::Borrowed("Long")
            }
            PrimitiveType::F32 => Cow::Borrowed("Float"),
            PrimitiveType::F64 => Cow::Borrowed("Double"),
        }
    }

    fn string(&self) -> Cow<'static, str> {
        Cow::Borrowed("String")
    }

    fn bytes(&self) -> Cow<'static, str> {
        Cow::Borrowed("ByteArray")
    }

    fn path(&self) -> Cow<'static, str> {
        Cow::Borrowed("java.nio.file.Path")
    }

    fn json(&self) -> Cow<'static, str> {
        // serde_json::Value can be any JSON shape (object, array, string,
        // number, bool, null) — map to `Any` (Kotlin equivalent of Java's
        // `Object`) so Jackson can deserialize whatever shape the wire format
        // produces.  Treating it as `String` was wrong: an OpenAPI tool's
        // `parameters` is a JSON object, but `String` typing forced Jackson
        // into START_OBJECT/String mismatches at deserialize time.
        Cow::Borrowed("Any")
    }

    fn unit(&self) -> Cow<'static, str> {
        Cow::Borrowed("Unit")
    }

    fn duration(&self) -> Cow<'static, str> {
        Cow::Borrowed("Duration")
    }

    fn optional(&self, inner: &str) -> String {
        format!("{inner}?")
    }

    fn vec(&self, inner: &str) -> String {
        format!("List<{inner}>")
    }

    fn map(&self, key: &str, value: &str) -> String {
        format!("Map<{key}, {value}>")
    }

    fn error_wrapper(&self) -> &str {
        "Result"
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use alef_core::ir::TypeRef;

    #[test]
    fn test_primitive_bool() {
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::Bool), "Boolean");
    }

    #[test]
    fn test_primitive_unsigned_maps_to_signed() {
        // Mirrors the Java backend — JVM has no native unsigned types.
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::U8), "Byte");
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::U32), "Int");
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::U64), "Long");
    }

    #[test]
    fn test_primitive_signed() {
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::I8), "Byte");
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::I32), "Int");
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::I64), "Long");
    }

    #[test]
    fn test_primitive_float() {
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::F32), "Float");
        assert_eq!(KotlinMapper.primitive(&PrimitiveType::F64), "Double");
    }

    #[test]
    fn test_string() {
        assert_eq!(KotlinMapper.string(), "String");
    }

    #[test]
    fn test_bytes() {
        assert_eq!(KotlinMapper.bytes(), "ByteArray");
    }

    #[test]
    fn test_path() {
        assert_eq!(KotlinMapper.path(), "java.nio.file.Path");
    }

    #[test]
    fn test_optional() {
        assert_eq!(KotlinMapper.optional("String"), "String?");
    }

    #[test]
    fn test_vec() {
        assert_eq!(KotlinMapper.vec("Int"), "List<Int>");
    }

    #[test]
    fn test_map() {
        assert_eq!(KotlinMapper.map("String", "Int"), "Map<String, Int>");
    }

    #[test]
    fn test_map_type_json() {
        assert_eq!(KotlinMapper.map_type(&TypeRef::Json), "Any");
    }

    #[test]
    fn test_optional_string() {
        assert_eq!(
            KotlinMapper.map_type(&TypeRef::Optional(Box::new(TypeRef::String))),
            "String?"
        );
    }

    #[test]
    fn test_duration() {
        assert_eq!(KotlinMapper.map_type(&TypeRef::Duration), "Duration");
    }
}