Scala в Maguyva: графы кода для сервисов на JVM и Spark

Где Scala сбивает с толку поверхностные ИИ-инструменты

В Scala одно имя несёт большую нагрузку. Трейт, его объект-компаньон и case-класс могут разделять одно понятие. Сопоставление с образцом связывает новые имена внутри предложений case, а метод, вызванный без получателя внутри класса, на деле является вызовом на this. Агент, читающий файлы по одному, видит имена, но не то, во что они разрешаются.

Maguyva разрешает больше на этапе индексации, поэтому, когда агент спрашивает, кто вызывает метод, он получает ответ, по которому можно действовать.

Что Maguyva извлекает из Scala

Maguyva охватывает файлы .scala и .sc. Классы, объекты и трейты извлекаются как типы, а пресет functions в structural_search охватывает объявления и определения def и лямбды. Сигнатуры фиксируют повторяющиеся (*) параметры, а префикс _root_ удаляется из импортов.

Связи вызовов сохраняют имена, квалифицированные классом, а вызов без получателя внутри класса разрешается в собственный метод этого класса. Типизация получателя отслеживает параметры, параметры класса, определения val и var, типизированные образцы и образцы case-классов в предложениях case, возвращаемые типы методов классов, объектов и трейтов, псевдонимы типов и предложения extends. new для типа с заглавной буквы считается созданием экземпляра.

Ни один тип связей не помечен как неприменимый для Scala, поэтому граф также фиксирует наследование, переопределения, ссылки на типы, чтение и запись, поток управления и рёбра исключений.

Примеры промптов для агентов

• «Кто вызывает PaymentService.capture и из каких маршрутов?» (find_symbol, затем dependency_search по входящим связям)
• «Какие классы и объекты расширяют EventHandler?» (dependency_search)
• «Проследи, как событие заказа доходит до записи в реестр.» (get_task_context)

Известные ограничения

• Около 320 имён стандартной библиотеки отфильтрованы из связей: операции над коллекциями, такие как map, flatMap и foldLeft, и вспомогательные Option, Either, Try, Future и Predef. Вызов на this или на значении, тип которого разрешается в один из ваших классов, сохраняется, даже если имя есть в этом списке. Если вызывающий код всё равно кажется пропавшим, используйте text_pattern_search.
• Короткие параметры типов, такие как A, F и CC, и корневые типы вроде Any, Unit и Nothing отфильтрованы из ссылок на типы.

Следующие шаги

Подключите репозиторий по быстрому старту, затем изучите матрицу поддержки на странице совместимости. Для смешанных кодовых баз на JVM прочитайте и руководство по Java, и руководство по Kotlin.