Kotlin dans Maguyva : des graphes de code pour Android et la JVM

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

Kotlin est concis parce qu’il cache le câblage. apply, let, also, run et with changent ce que désignent this et it. Les fonctions d’extension ajoutent du comportement à des types définis ailleurs. Les coroutines déplacent le travail entre launch, async et withContext. Un agent qui lit un fichier à la fois voit les appels, mais pas les receveurs qui se trouvent derrière.

Maguyva résout une plus grande partie de cette structure dès l’indexation, pour qu’un agent puisse demander qui appelle une fonction et obtenir la vraie réponse.

Ce que Maguyva extrait en Kotlin

Maguyva couvre .kt et .kts. Les fonctions, classes, objets et objets compagnons sont extraits, et les signatures de fonctions enregistrent les receveurs d’extension, les noms de paramètres, les valeurs par défaut et les paramètres vararg.

Les relations d’appel conservent les noms qualifiés par la classe, si bien que OrderRepository.save reste distinct d’un autre save. Le typage des receveurs suit this dans apply et run, it dans let et also, ainsi que l’argument de with, pour que les appels dans les fonctions de portée se résolvent vers le bon type. Les constructeurs de coroutines et les opérateurs Flow (launch, async, withContext, coroutineScope, supervisorScope, flow, emit, delay, Channel) sont conservés volontairement dans le graphe.

Le graphe enregistre aussi l’héritage, l’implémentation d’interfaces, les surcharges, l’instanciation, les annotations, les références de type, les lectures et écritures, ainsi que les arêtes de levée et de capture d’exceptions.

Exemples de prompts pour agents

• « Qui appelle CheckoutUseCase.invoke, et depuis quels ViewModels ? » (find_symbol, puis dependency_search en incoming)
• « Retrace le flux de synchronisation de SyncWorker jusqu’au client réseau. » (get_task_context)
• « Quelles classes implémentent PaymentGateway ? » (dependency_search)

Limites connues

• Environ 250 appels de la bibliothèque standard Kotlin et de la plateforme sont filtrés des relations ; des helpers comme listOf, map, filter et println ne sont donc pas des arêtes du graphe. Utilisez text_pattern_search pour les retrouver.

É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 mixtes, lisez aussi le guide Java.