Java Collections Interoperability

import java.util.ArrayList
import java.util.HashMap

// Demonstrasi interoperabilitas koleksi Java <-> Kotlin:
// - Kotlin List<T> (read-only) <-> java.util.List<T> (mutable di Java)
// - Kotlin MutableList<T> <-> java.util.List<T> (mutable)
// - Elemen dari koleksi Java adalah platform type T!
// - Konversi eksplisit: toList(), toMutableList(), asList()

// Function Kotlin yang menerima List read-only (secara Java: List yang bisa dimutasi)
fun hitungTotal(harga: List<Int>): Int {
    return harga.sum()
}

// Function Kotlin yang menerima MutableList
fun tambahDiskon(harga: MutableList<Int>) {
    for (i in harga.indices) {
        harga[i] = harga[i] - (harga[i] / 10)  // diskon 10%
    }
}

// Function Kotlin yang menerima java.util.ArrayList eksplisit
fun prosesArrayListJava(daftar: ArrayList<String>): Int {
    return daftar.size
}

fun main() {
    // 1. List Kotlin read-only vs ArrayList Java
    val listKotlin: List<Int> = listOf(100, 200, 300)
    val arrJava: ArrayList<Int> = ArrayList()
    arrJava.add(100)
    arrJava.add(200)
    arrJava.add(300)

    println("=== List Kotlin vs ArrayList Java ===")
    println("listKotlin          : $listKotlin (${listKotlin::class.simpleName})")
    println("arrJava             : $arrJava (${arrJava::class.simpleName})")

    // 2. List Kotlin dapat dipass ke function yang minta ArrayList? Tidak langsung.
    // ArrayList Java dapat dipass ke function yang minta List Kotlin? Ya.
    println()
    println("=== ArrayList Java -> List Kotlin ===")
    println("hitungTotal(arrJava) : ${hitungTotal(arrJava)}")
    // arrJava adalah ArrayList yang IS-A List, jadi accepted.

    // 3. MutableList Kotlin dapat dimodifikasi
    println()
    println("=== MutableList dimodifikasi ===")
    val harga: MutableList<Int> = mutableListOf(1000, 2000, 3000)
    println("sebelum  : $harga")
    tambahDiskon(harga)
    println("setelah  : $harga")

    // 4. List read-only TIDAK dapat dipass ke MutableList parameter
    // hitungTotal(listKotlin)  // OK
    // tambahDiskon(listKotlin) // COMPILE ERROR: List<Int> not MutableList<Int>

    // 5. Konversi eksplisit: List <-> MutableList
    println()
    println("=== Konversi eksplisit ===")
    val readOnly: List<Int> = listOf(1, 2, 3)
    val mutable: MutableList<Int> = readOnly.toMutableList()
    mutable.add(4)
    println("readOnly : $readOnly")
    println("mutable  : $mutable")

    val readOnlyBaru: List<Int> = mutable.toList()
    println("backToRO : $readOnlyBaru")

    // 6. Elemen dari koleksi Java adalah platform type
    println()
    println("=== Platform type dari koleksi Java ===")
    val peta: HashMap<String, String?> = HashMap()
    peta["a"] = "Budi"
    peta["b"] = null

    // elemen dari peta["a"] adalah platform type (bisa null)
    for (k in listOf("a", "b", "c")) {
        val nilai: String? = peta[k]
        println("peta[$k] = ${nilai ?: "null (tidak ada)"}")
    }

    // 7. ArrayList Java mutable -> Kotlin view read-only via toList()
    println()
    println("=== toList(): snapshot read-only ===")
    val arr: ArrayList<Int> = ArrayList()
    arr.add(10); arr.add(20); arr.add(30)
    val viewReadOnly: List<Int> = arr.toList()  // snapshot, tidak bisa dimutasi

    // arr masih bisa dimutasi, viewReadOnly tidak bisa
    arr.add(40)
    println("arr             : $arr")
    println("viewReadOnly    : $viewReadOnly")
    // viewReadOnly.add(50) // ERROR: List tidak punya add()

    // 8. Tipe primitif vs boxed di koleksi Java
    println()
    println("=== Primitif vs boxed ===")
    val ints: MutableList<Int> = mutableListOf(1, 2, 3)
    println("ints class       : ${ints::class}")
}

=== List Kotlin vs ArrayList Java ===
listKotlin          : [100, 200, 300] (ArrayList)
arrJava             : [100, 200, 300] (ArrayList)

=== ArrayList Java -> List Kotlin ===
hitungTotal(arrJava) : 600

=== MutableList dimodifikasi ===
sebelum  : [1000, 2000, 3000]
setelah  : [900, 1800, 2700]

=== Konversi eksplisit ===
readOnly : [1, 2, 3]
mutable  : [1, 2, 3, 4]
backToRO : [1, 2, 3, 4]

=== Platform type dari koleksi Java ===
peta[a] = Budi
peta[b] = null (tidak ada)
peta[c] = null (tidak ada)

=== toList(): snapshot read-only ===
arr             : [10, 20, 30, 40]
viewReadOnly    : [10, 20, 30]

=== Primitif vs boxed ===
ints class       : class java.util.ArrayList