Dart dans Maguyva : des graphes de code pour les apps Flutter et Dart

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

Dart répartit un même type sur plusieurs constructions. Une classe peut hériter d’une classe de base, implémenter plusieurs interfaces et intégrer du comportement de mixins via with. Les méthodes d’extension attachent des membres à des types définis ailleurs, et les constructeurs nommés et factory masquent la classe réellement construite. Une recherche textuelle trouve les noms, mais pas la structure qui se cache derrière.

Maguyva fournit cette structure à l’agent, qui peut alors suivre un changement depuis un widget jusqu’au service dont il dépend.

Ce que Maguyva extrait en Dart

Maguyva couvre les fichiers .dart. Les classes, mixins et extensions sont extraits comme types. Le preset functions de structural_search couvre les fonctions, méthodes, fonctions locales, lambdas, ainsi que les constructeurs génératifs, const et factory. Les signatures enregistrent les groupes de paramètres positionnels et nommés optionnels ainsi que les membres static, et les noms de définition perdent leur ? ou ! final.

Les imports normalisent les directives import, part et library et suppriment leurs clauses show, hide et as. Un appel via un préfixe d’import, comme http.get après import 'package:http/http.dart' as http, reste dans le graphe.

Le typage des receveurs suit les paramètres, les variables typées et initialisées, les getters et les boucles for-in sur des listes, des ensembles et des itérables, et traite var et dynamic comme des types inférés. Les clauses extends, implements et with sont suivies pour résoudre les membres hérités. Le graphe enregistre aussi l’instanciation, les références de type, les lectures et écritures et les arêtes d’exception.

Exemples de prompts pour agents

• « Qui appelle CartRepository.addItem, et depuis quels widgets ? » (find_symbol, puis dependency_search en incoming)
• « Quelles classes implémentent PaymentGateway ? » (dependency_search)
• « Retrace comment le bouton de paiement atteint l’API de paiement. » (get_task_context)

Limites connues

• Environ 200 noms des bibliothèques de base de Dart sont filtrés des relations, dont des helpers de collection comme map, where et forEach, des méthodes de Future et Stream comme then et listen, et les bibliothèques dart:. Utilisez text_pattern_search pour les retrouver.
• Les nœuds de signature Dart gardent le corps comme nœud frère : dans les résultats de structural_search, une fonction locale ou une lambda peut donc chevaucher l’appelable qui la contient, et les getters et setters apparaissent comme des signatures de méthode.

É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 d’autres bases de code mobiles, lisez le guide Kotlin et le guide Swift.