#include "fiko/cekirdek/dunya.hpp"
#include "fiko_test.hpp"

using namespace fiko;

// (a) olustur() benzersiz ve artan kimlik uretir; hepsi yasar.
FIKO_TEST(dunya_olustur_benzersiz_artan) {
  Dunya d;
  const Varlik a = d.olustur();
  const Varlik b = d.olustur();
  const Varlik c = d.olustur();

  FIKO_KONTROL(a != VARLIK_YOK);
  FIKO_KONTROL(a < b && b < c);           // monoton artan
  FIKO_KONTROL(a != b && b != c && a != c);  // benzersiz
  FIKO_KONTROL(d.yasiyor(a) && d.yasiyor(b) && d.yasiyor(c));
  FIKO_KONTROL(d.varlikSayisi() == 3);
  FIKO_KONTROL(!d.yasiyor(VARLIK_YOK));
}

// (b) ekle / bul / var dogru sonuc verir.
FIKO_TEST(dunya_ekle_bul_var) {
  Dunya d;
  const Varlik v = d.olustur();

  FIKO_KONTROL(!d.var<AdBilesen>(v));
  FIKO_KONTROL(d.bul<AdBilesen>(v) == nullptr);

  d.ekle<AdBilesen>(v, {"Kutu"});
  d.ekle<GorunurBilesen>(v, {false});

  FIKO_KONTROL(d.var<AdBilesen>(v));
  AdBilesen* ad = d.bul<AdBilesen>(v);
  FIKO_KONTROL(ad != nullptr && ad->ad == "Kutu");

  GorunurBilesen* g = d.bul<GorunurBilesen>(v);
  FIKO_KONTROL(g != nullptr && g->gorunur == false);

  // Tekrar ekle -> uzerine yazar, cift kayit olusturmaz
  d.ekle<AdBilesen>(v, {"KutuYeni"});
  FIKO_KONTROL(d.bul<AdBilesen>(v)->ad == "KutuYeni");
  FIKO_KONTROL(d.depo<AdBilesen>().boyut() == 1);
}

// (c) sil sonrasi bul null; kalanlar bozulmaz (swap-remove dogrulamasi).
FIKO_TEST(depo_sil_swap_remove_kalanlar_bozulmaz) {
  Dunya d;
  const Varlik v1 = d.olustur();
  const Varlik v2 = d.olustur();
  const Varlik v3 = d.olustur();

  d.ekle<AdBilesen>(v1, {"bir"});
  d.ekle<AdBilesen>(v2, {"iki"});
  d.ekle<AdBilesen>(v3, {"uc"});
  FIKO_KONTROL(d.depo<AdBilesen>().boyut() == 3);

  // Ortadaki silinince son eleman (v3) onun yerine tasinir
  d.depo<AdBilesen>().sil(v2);
  FIKO_KONTROL(d.bul<AdBilesen>(v2) == nullptr);
  FIKO_KONTROL(d.depo<AdBilesen>().boyut() == 2);

  // Kalanlar dogru degerlerini korur
  FIKO_KONTROL(d.bul<AdBilesen>(v1) != nullptr && d.bul<AdBilesen>(v1)->ad == "bir");
  FIKO_KONTROL(d.bul<AdBilesen>(v3) != nullptr && d.bul<AdBilesen>(v3)->ad == "uc");

  // Ilkini de sil, sonuncusu hala erisilebilir olmali
  d.depo<AdBilesen>().sil(v1);
  FIKO_KONTROL(d.bul<AdBilesen>(v1) == nullptr);
  FIKO_KONTROL(d.bul<AdBilesen>(v3)->ad == "uc");
  FIKO_KONTROL(d.depo<AdBilesen>().boyut() == 1);
}

// (d) yokEt varligin TUM bilesenlerini siler ve varligi oldururur.
FIKO_TEST(dunya_yoket_tum_bilesenleri_siler) {
  Dunya d;
  const Varlik v = d.olustur();
  const Varlik baska = d.olustur();

  d.ekle<AdBilesen>(v, {"parca"});
  d.ekle<DonusumBilesen>(v, {});
  d.ekle<RenkBilesen>(v, {});
  d.ekle<AdBilesen>(baska, {"kalan"});

  FIKO_KONTROL(d.var<AdBilesen>(v) && d.var<DonusumBilesen>(v) && d.var<RenkBilesen>(v));

  d.yokEt(v);

  FIKO_KONTROL(!d.yasiyor(v));
  FIKO_KONTROL(!d.var<AdBilesen>(v));
  FIKO_KONTROL(!d.var<DonusumBilesen>(v));
  FIKO_KONTROL(!d.var<RenkBilesen>(v));
  FIKO_KONTROL(d.varlikSayisi() == 1);

  // Baska varlik etkilenmez
  FIKO_KONTROL(d.yasiyor(baska));
  FIKO_KONTROL(d.bul<AdBilesen>(baska) != nullptr && d.bul<AdBilesen>(baska)->ad == "kalan");
}

// (e) Depo yogun iterasyon tum girdileri (varlik + bilesen) gezer.
FIKO_TEST(depo_yogun_iterasyon_tum_girdiler) {
  Dunya d;
  const Varlik v1 = d.olustur();
  const Varlik v2 = d.olustur();
  const Varlik v3 = d.olustur();

  d.ekle<GorunurBilesen>(v1, {true});
  d.ekle<GorunurBilesen>(v2, {false});
  d.ekle<GorunurBilesen>(v3, {true});

  int say = 0;
  int gorunurSay = 0;
  Varlik toplamKimlik = 0;
  for (auto [varlik, bilesen] : d.depo<GorunurBilesen>()) {
    ++say;
    toplamKimlik += varlik;
    if (bilesen.gorunur) ++gorunurSay;
  }

  FIKO_KONTROL(say == 3);
  FIKO_KONTROL(toplamKimlik == v1 + v2 + v3);  // tum kimlikler gezildi
  FIKO_KONTROL(gorunurSay == 2);

  // Sabit (const) iterasyon da calisir
  const Dunya& sabit = d;
  int sabitSay = 0;
  for (auto giris : sabit.depo<GorunurBilesen>()) { (void)giris; ++sabitSay; }
  FIKO_KONTROL(sabitSay == 3);
}