Scala no Maguyva: grafos de código para serviços JVM e Spark

Onde Scala derruba ferramentas de IA superficiais

Em Scala, um nome carrega muita coisa. Um trait, seu companion object e uma case class podem compartilhar um mesmo conceito. O pattern matching vincula novos nomes dentro de cláusulas case, e um método chamado sem receiver dentro de uma classe é uma chamada em this. Um agente que lê um arquivo por vez vê os nomes, mas não o que eles resolvem.

O Maguyva resolve mais disso na indexação, para que um agente possa perguntar quem chama um método e receber uma resposta com a qual consiga agir.

O que o Maguyva extrai em Scala

O Maguyva cobre arquivos .scala e .sc. Classes, objects e traits são extraídos como tipos, e o preset functions do structural_search cobre declarações e definições def, além de lambdas. As assinaturas registram parâmetros repetidos (*), e os imports perdem o prefixo _root_.

As relações de chamada mantêm nomes qualificados pela classe, e uma chamada sem receiver dentro de uma classe é resolvida para o próprio método dessa classe. A tipagem de receivers segue parâmetros, parâmetros de classe, definições val e var, patterns tipados e de case class dentro de cláusulas case, os tipos de retorno de métodos de classes, objects e traits, aliases de tipo e cláusulas extends. new em um tipo com inicial maiúscula conta como instanciação.

Nenhum tipo de relação está marcado como não aplicável para Scala, então o grafo também registra herança, overrides, referências de tipo, leituras e escritas, fluxo de controle e arestas de exceção.

Exemplos de prompts para agentes

• “Quem chama PaymentService.capture, e de quais rotas?” (find_symbol, depois dependency_search incoming)
• “Quais classes e objects estendem EventHandler?” (dependency_search)
• “Rastreie como um evento de pedido chega ao gravador do razão contábil.” (get_task_context)

Limitações conhecidas

• Cerca de 320 nomes da biblioteca padrão são filtrados das relações: operações de coleção como map, flatMap e foldLeft, mais helpers de Option, Either, Try, Future e Predef. Uma chamada em this, ou em um valor cujo tipo resolve para uma das suas classes, é mantida mesmo quando o nome está nessa lista. Use text_pattern_search se ainda parecer faltar um chamador.
• Parâmetros de tipo curtos como A, F e CC, e tipos raiz como Any, Unit e Nothing, são filtrados das referências de tipo.

Próximos passos

Conecte um repositório pelo início rápido e depois confira a matriz de suporte na página de compatibilidade. Para bases de código JVM mistas, leia também o guia de Java e o guia de Kotlin.