Scala dans Maguyva : des graphes de code pour services JVM et Spark

Là où Scala fait trébucher les outils d’IA superficiels

En Scala, un nom porte beaucoup. Un trait, son companion object et une case class peuvent partager un même concept. Le pattern matching lie de nouveaux noms dans les clauses case, et une méthode appelée sans receveur dans une classe est un appel sur this. Un agent qui lit un fichier à la fois voit les noms, mais pas ce vers quoi ils se résolvent.

Maguyva résout une plus grande part de tout cela dès l’indexation : l’agent peut demander qui appelle une méthode et obtenir une réponse exploitable.

Ce que Maguyva extrait en Scala

Maguyva couvre les fichiers .scala et .sc. Les classes, objects et traits sont extraits comme types, et le preset functions de structural_search couvre les déclarations et définitions def ainsi que les lambdas. Les signatures enregistrent les paramètres répétés (*), et les imports perdent le préfixe _root_.

Les relations d’appel conservent les noms qualifiés par classe, et un appel sans receveur dans une classe est résolu vers la méthode de cette classe. Le typage des receveurs suit les paramètres, les paramètres de classe, les définitions val et var, les patterns typés et de case class dans les clauses case, les types de retour des méthodes des classes, objects et traits, les alias de type et les clauses extends. new sur un type commençant par une majuscule compte comme une instanciation.

Aucun type de relation n’est marqué comme non applicable pour Scala : le graphe enregistre donc aussi l’héritage, les redéfinitions, les références de type, les lectures et écritures, le flux de contrôle et les arêtes d’exception.

Exemples de prompts pour agents

• « Qui appelle PaymentService.capture, et depuis quelles routes ? » (find_symbol, puis dependency_search en incoming)
• « Quelles classes et quels objects étendent EventHandler ? » (dependency_search)
• « Retrace comment un événement de commande atteint le service d’écriture comptable. » (get_task_context)

Limites connues

• Environ 320 noms de la bibliothèque standard sont filtrés des relations : des opérations de collection comme map, flatMap et foldLeft, ainsi que des helpers de Option, Either, Try, Future et Predef. Un appel sur this, ou sur une valeur dont le type se résout vers l’une de vos classes, est conservé même si son nom figure dans cette liste. Utilisez text_pattern_search si un appelant semble encore manquer.
• Les paramètres de type courts comme A, F et CC, et les types racines comme Any, Unit et Nothing, sont filtrés des références de type.

Étapes suivantes

Connectez un dépôt avec le démarrage rapide, puis consultez la matrice de prise en charge sur la page de compatibilité. Pour les bases de code JVM mixtes, lisez aussi le guide Java et le guide Kotlin.