Scala i Maguyva: kodgrafer för JVM-tjänster och Spark

Där Scala får ytliga AI-verktyg att snubbla

I Scala bär ett namn mycket. En trait, dess companion object och en case class kan dela ett begrepp. Mönstermatchning binder nya namn i case-satser, och en metod som anropas utan mottagare inne i en klass är ett anrop på this. En agent som läser en fil i taget ser namnen men inte vad de pekar på.

Maguyva löser upp mer av det redan vid indexeringen, så att en agent kan fråga vem som anropar en metod och få ett svar den kan agera på.

Vad Maguyva extraherar i Scala

Maguyva täcker .scala- och .sc-filer. Klasser, objects och traits extraheras som typer, och presetet functions i structural_search omfattar def-deklarationer, -definitioner och lambdor. Signaturer registrerar upprepade (*) parametrar, och importer tappar prefixet _root_.

Anropsrelationer behåller klasskvalificerade namn, och ett anrop utan mottagare inne i en klass slås upp till klassens egen metod. Mottagartypningen följer parametrar, klassparametrar, val- och var-definitioner, typade mönster och case class-mönster i case-satser, returtyper för metoder på klasser, objects och traits, typalias samt extends-satser. new på en typ med stor begynnelsebokstav räknas som instansiering.

För Scala är ingen relationstyp markerad som ej tillämplig, så grafen registrerar också arv, overrides, typreferenser, läsningar och skrivningar, kontrollflöde och undantagskanter.

Exempel på prompter för agenter

• “Vem anropar PaymentService.capture, och från vilka routes?” (find_symbol, sedan dependency_search incoming)
• “Vilka klasser och objects utökar EventHandler?” (dependency_search)
• “Spåra hur en orderhändelse når huvudboksskrivaren.” (get_task_context)

Kända begränsningar

• Omkring 320 namn från standardbiblioteket filtreras bort från relationerna: samlingsoperationer som map, flatMap och foldLeft, plus hjälpare från Option, Either, Try, Future och Predef. Ett anrop på this, eller på ett värde vars typ slås upp till en av dina klasser, behålls även om namnet finns på listan. Använd text_pattern_search om en anropare fortfarande verkar saknas.
• Korta typparametrar som A, F och CC, och rottyper som Any, Unit och Nothing, filtreras bort från typreferenserna.

Nästa steg

Anslut ett repo med snabbstarten och kontrollera sedan stödmatrisen på kompatibilitetssidan. För blandade JVM-kodbaser, läs även guiden för Java och guiden för Kotlin.