Nullability Annotations

public class Repo {
    public String cari(String id) { ... }
}

import org.jetbrains.annotations.Nullable;
import org.jetbrains.annotations.NotNull;

public class Repo {
    @Nullable
    public String cariOpsional(String id) { ... }

    @NotNull
    public String cariWajib(String id) { ... }
}

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

// Demonstrasi cara Kotlin membaca anotasi nullability dari JDK.
// JDK modern mengannotasi method seperti Map.get dengan @Nullable
// (melalui jsr-305 yang dibungkus jdk.internal), sehingga Kotlin
// memperlakukan tipe kembalian sebagai nullable.
//
// Anotasi yang dibaca Kotlin:
// - @org.jetbrains.annotations.Nullable  -> T?
// - @org.jetbrains.annotations.NotNull   -> T
// - @javax.annotation.Nullable (JSR-305) -> T?  (bila library tersedia)
// - @javax.annotation.Nonnull (JSR-305)  -> T   (bila library tersedia)
//
// File ini memakai kelas JDK yang sudah memiliki anotasi built-in
// untuk mendemonstrasikan efeknya dari sisi Kotlin.

fun main() {
    // 1. HashMap.get(): JDK mengannotasi @Nullable -> Kotlin String?
    val peta: HashMap<String, String> = HashMap()
    peta["nama"] = "Budi"

    val namaAman: String? = peta["nama"]
    val namaTidakAda: String? = peta["tidakAda"]
    println("=== HashMap.get(): @Nullable dari JDK ===")
    println("namaAman     : $namaAman (tipe: ${if (namaAman == null) "null" else "non-null"})")
    println("namaTidakAda : $namaTidakAda (tipe: ${if (namaTidakAda == null) "null" else "non-null"})")

    // 2. HashMap.put(): mengembalikan nilai LAMA yang asosiasi dengan kunci,
    //    atau null bila tidak ada. Anotasi @Nullable -> V?
    val lama: String? = peta.put("nama", "Siti")
    println()
    println("=== HashMap.put(): nilai lama ===")
    println("nilai lama untuk 'nama': $lama")

    val lama2: String? = peta.put("baru", "NilaiBaru")
    println("nilai lama untuk 'baru': $lama2 (null = tidak ada)")

    // 3. ArrayList.remove(int): mengembalikan elemen yang dihapus (non-null bila E non-null)
    val daftar: ArrayList<String> = ArrayList()
    daftar.add("Pertama")
    daftar.add("Kedua")
    val dihapus: String = daftar.removeAt(0)  // tidak nullable karena E = String non-null
    println()
    println("=== ArrayList.removeAt(): non-null ===")
    println("dihapus      : $dihapus")
    println("daftar sekarang: $daftar")

    // 4. Map.getOrDefault: anotasi @Nullable pada parameter default, @NotNull pada return
    val nilaiDefault: String = peta.getOrDefault("tidakAda", "default")
    println()
    println("=== getOrDefault: non-null ===")
    println("nilaiDefault : $nilaiDefault")

    // 5. Contoh perbandingan: method Java tanpa anotasi jadi platform type
    println()
    println("=== Method tanpa anotasi: platform type ===")
    val berkas = java.io.File("/tmp/nullability_demo.txt")
    berkas.writeText("hello")
    val path: String? = berkas.absolutePath  // File.getAbsolutePath() tidak @Nullable, jadi String!
    val pathNonNull: String = berkas.absolutePath  // aman karena platform type, bisa non-null
    println("absolutePath : $path")
    println("nonNullPath  : $pathNonNull")
    berkas.delete()
}

=== HashMap.get(): @Nullable dari JDK ===
namaAman     : Budi (tipe: non-null)
namaTidakAda : null (tipe: null)

=== HashMap.put(): nilai lama ===
nilai lama untuk 'nama': Budi
nilai lama untuk 'baru': null (null = tidak ada)

=== ArrayList.removeAt(): non-null ===
dihapus      : Pertama
daftar sekarang: [Kedua]

=== getOrDefault: non-null ===
nilaiDefault : default

=== Method tanpa anotasi: platform type ===
absolutePath : /tmp/nullability_demo.txt
nonNullPath  : /tmp/nullability_demo.txt

@ParametersAreNonnullByDefault
package com.example.repo;

import javax.annotation.ParametersAreNonnullByDefault;
import javax.annotation.Nullable;

public class Repo {
    public String cari(String id) { ... }             // NonNull
    public @Nullable String cariOpsional(String id) { ... }  // Nullable
}