Elixir no Maguyva: grafos de código para apps Phoenix e OTP

Onde Elixir derruba ferramentas de IA superficiais

Quase tudo em Elixir é uma chamada de macro. defmodule, def, use, alias e @impl são analisados como chamadas, e use GenServer traz comportamento que nunca aparece no arquivo. Uma ferramenta que só vê a sintaxe de chamada não distingue uma definição de uma dependência, nem um callback de GenServer de um helper.

O Maguyva transforma essas macros em relações, para que um agente veja quais módulos implementam um behaviour e quem chama uma função de contexto.

O que o Maguyva extrai em Elixir

O Maguyva cobre arquivos .ex e .exs. As macros do Elixir viram relações:

• alias, import e require registram imports.
• use registra um import. Para behaviours de OTP e de frameworks como GenServer, Supervisor, Agent, Task, Phoenix.Controller, Phoenix.LiveView e Ecto.Schema, também registra que o módulo implementa esse behaviour.
• Atributos @behaviour e blocos defimpl registram a implementação de um behaviour ou protocolo.
• Atributos de módulo reservados como @doc, @spec, @impl e @callback são registrados como anotações da função seguinte. Atributos de valor como @timeout 5_000 não são.
• Literais de struct %User{} contam como instanciação, raise registra um throw, e rescue e catch registram um catch.

Macros da linguagem como def, defp, defmodule, case e with são filtradas das chamadas, então o grafo de chamadas mostra as suas funções.

Exemplos de prompts para agentes

• “Quem chama Accounts.register_user, e de quais controllers?” (find_symbol, depois dependency_search incoming)
• “Quais módulos implementam GenServer?” (dependency_search)
• “Rastreie uma requisição de checkout do controller até o banco de dados.” (get_task_context)

Limitações conhecidas

• As formas nomeadas def, defmodule, alias e import são nós de chamada na gramática, então em structural_search só o preset functions retorna resultados, e apenas para funções fn anônimas. Use find_symbol para funções e módulos nomeados.
• Cerca de 55 chamadas da biblioteca padrão, como IO.puts, String.*, Enum.take e Process.*, são filtradas das relações. Use text_pattern_search para encontrá-las.
• Elixir não tem herança de classes, então as relações de herança estão marcadas como não aplicáveis.

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 outras bases de código funcionais, leia o guia de Haskell.