Scala di Maguyva: graf kode untuk layanan JVM dan Spark

Di mana Scala menjebak alat AI yang dangkal

Di Scala, satu nama memikul banyak beban. Sebuah trait, objek pendampingnya, dan sebuah case class dapat berbagi satu konsep. Pencocokan pola mengikat nama baru di dalam klausa case, dan metode yang dipanggil tanpa penerima di dalam kelas sebenarnya adalah panggilan pada this. Agen yang membaca berkas satu per satu melihat nama-nama itu, tetapi tidak melihat ke mana nama itu diselesaikan.

Maguyva menyelesaikan lebih banyak hal saat pengindeksan, sehingga ketika agen bertanya siapa yang memanggil sebuah metode, ia mendapat jawaban yang bisa langsung ditindaklanjuti.

Apa yang diekstrak Maguyva dari Scala

Maguyva mencakup berkas .scala dan .sc. Kelas, objek, dan trait diekstrak sebagai tipe, dan preset functions di structural_search mencakup deklarasi dan definisi def serta lambda. Tanda tangan mencatat parameter berulang (*), dan prefiks _root_ dihapus dari impor.

Relasi panggilan mempertahankan nama yang dikualifikasi kelas, dan panggilan tanpa penerima di dalam kelas diselesaikan ke metode milik kelas itu sendiri. Penentuan tipe penerima melacak parameter, parameter kelas, definisi val dan var, pola bertipe dan pola case class dalam klausa case, tipe kembalian metode kelas, objek, dan trait, alias tipe, serta klausa extends. new pada tipe berhuruf kapital dihitung sebagai instansiasi.

Tidak ada tipe relasi yang ditandai tidak berlaku untuk Scala, sehingga graf juga mencatat pewarisan, penimpaan, referensi tipe, pembacaan dan penulisan, alur kendali, dan tepi pengecualian.

Contoh prompt agen

• “Siapa yang memanggil PaymentService.capture, dan dari rute mana saja?” (find_symbol, lalu dependency_search incoming)
• “Kelas dan objek mana saja yang memperluas EventHandler?” (dependency_search)
• “Telusuri bagaimana peristiwa pesanan mencapai penulis buku besar.” (get_task_context)

Batasan yang diketahui

• Sekitar 320 nama pustaka standar difilter dari relasi: operasi koleksi seperti map, flatMap, dan foldLeft, serta pembantu Option, Either, Try, Future, dan Predef. Panggilan pada this, atau pada nilai yang tipenya diselesaikan ke salah satu kelas Anda, tetap dipertahankan meskipun namanya ada di daftar itu. Jika sebuah pemanggil masih tampak hilang, gunakan text_pattern_search.
• Parameter tipe pendek seperti A, F, dan CC serta tipe akar seperti Any, Unit, dan Nothing difilter dari referensi tipe.

Langkah berikutnya

Hubungkan repositori dengan panduan memulai cepat, lalu periksa matriks dukungan di halaman kompatibilitas. Untuk basis kode JVM campuran, baca juga panduan Java dan panduan Kotlin.