Scala in Maguyva: Code-Graphen für JVM-Services und Spark

Wo Scala oberflächliche KI-Tools ins Stolpern bringt

In Scala trägt ein Name viel. Ein Trait, sein Companion Object und eine Case Class können sich ein Konzept teilen. Pattern Matching bindet in case-Klauseln neue Namen, und eine Methode, die innerhalb einer Klasse ohne Receiver aufgerufen wird, ist ein Aufruf auf this. Ein Agent, der eine Datei nach der anderen liest, sieht die Namen, aber nicht, wohin sie aufgelöst werden.

Maguyva löst mehr davon schon beim Indexieren auf, sodass ein Agent fragen kann, wer eine Methode aufruft, und eine Antwort bekommt, mit der er arbeiten kann.

Was Maguyva in Scala extrahiert

Maguyva deckt .scala- und .sc-Dateien ab. Klassen, Objects und Traits werden als Typen extrahiert, und das Preset functions in structural_search umfasst def-Deklarationen, -Definitionen und Lambdas. Signaturen erfassen wiederholte (*) Parameter, und Importe verlieren das Präfix _root_.

Aufrufbeziehungen behalten klassenqualifizierte Namen, und ein Aufruf ohne Receiver innerhalb einer Klasse wird zur eigenen Methode dieser Klasse aufgelöst. Die Receiver-Typisierung folgt Parametern, Klassenparametern, val- und var-Definitionen, typisierten und Case-Class-Patterns in case-Klauseln, den Rückgabetypen von Methoden auf Klassen, Objects und Traits, Typaliasen sowie extends-Klauseln. new auf einem großgeschriebenen Typ zählt als Instanziierung.

Für Scala ist kein Beziehungstyp als nicht anwendbar markiert, daher erfasst der Graph außerdem Vererbung, Overrides, Typreferenzen, Lese- und Schreibzugriffe, Kontrollfluss und Exception-Kanten.

Beispiel-Prompts für Agenten

• „Wer ruft PaymentService.capture auf, und aus welchen Routen?“ (find_symbol, dann dependency_search incoming)
• „Welche Klassen und Objects erweitern EventHandler?“ (dependency_search)
• „Verfolge, wie ein Order-Event den Ledger-Writer erreicht.“ (get_task_context)

Bekannte Grenzen

• Etwa 320 Namen der Standardbibliothek werden aus den Beziehungen gefiltert: Collection-Operationen wie map, flatMap und foldLeft sowie Helfer aus Option, Either, Try, Future und Predef. Ein Aufruf auf this oder auf einem Wert, dessen Typ zu einer deiner Klassen aufgelöst wird, bleibt erhalten, auch wenn sein Name auf dieser Liste steht. Verwende text_pattern_search, wenn ein Aufrufer trotzdem zu fehlen scheint.
• Kurze Typparameter wie A, F und CC sowie Wurzeltypen wie Any, Unit und Nothing werden aus den Typreferenzen gefiltert.

Nächste Schritte

Verbinde ein Repository über den Schnellstart und prüfe dann die Unterstützungsmatrix auf der Kompatibilitätsseite. Für gemischte JVM-Codebasen lies auch den Java-Leitfaden und den Kotlin-Leitfaden.