Elixir w Maguyva: grafy kodu dla aplikacji Phoenix i OTP

Gdzie Elixir sprawia kłopot powierzchownym narzędziom AI

Prawie wszystko w Elixirze jest wywołaniem makra. defmodule, def, use, alias i @impl są parsowane jako wywołania, a use GenServer wnosi zachowanie, które nigdy nie pojawia się w pliku. Narzędzie, które widzi tylko składnię wywołań, nie odróżni definicji od zależności ani callbacku GenServera od funkcji pomocniczej.

Maguyva zamienia te makra w relacje, więc agent widzi, które moduły implementują behaviour i kto wywołuje funkcję kontekstu.

Co Maguyva wyodrębnia w Elixirze

Maguyva obejmuje pliki .ex i .exs. Makra Elixira stają się relacjami:

• alias, import i require zapisują importy.
• use zapisuje import. W przypadku behaviours OTP i frameworków, takich jak GenServer, Supervisor, Agent, Task, Phoenix.Controller, Phoenix.LiveView i Ecto.Schema, zapisuje także, że moduł implementuje ten behaviour.
• Atrybuty @behaviour i bloki defimpl zapisują implementację behaviour lub protokołu.
• Zarezerwowane atrybuty modułu, takie jak @doc, @spec, @impl i @callback, są zapisywane jako adnotacje następującej po nich funkcji. Atrybuty przechowujące wartości, takie jak @timeout 5_000, nie są.
• Literały struktur %User{} liczą się jako tworzenie instancji, raise zapisuje rzucenie wyjątku, a rescue i catch zapisują jego przechwycenie.

Makra języka, takie jak def, defp, defmodule, case i with, są odfiltrowywane z wywołań, więc graf wywołań pokazuje twoje funkcje.

Przykładowe prompty dla agentów

• „Kto wywołuje Accounts.register_user i z których kontrolerów?” (find_symbol, potem dependency_search incoming)
• „Które moduły implementują GenServer?” (dependency_search)
• „Prześledź żądanie zakupu od kontrolera do bazy danych.” (get_task_context)

Znane ograniczenia

• Nazwane formy def, defmodule, alias i import są w gramatyce węzłami wywołań, więc w structural_search wyniki zwraca tylko preset functions, i to wyłącznie dla anonimowych funkcji fn. Dla nazwanych funkcji i modułów użyj find_symbol.
• Około 55 wywołań biblioteki standardowej, takich jak IO.puts, String.*, Enum.take i Process.*, jest odfiltrowywanych z relacji. Do ich wyszukania użyj text_pattern_search.
• Elixir nie ma dziedziczenia klas, więc relacje dziedziczenia są oznaczone jako nie mające zastosowania.

Kolejne kroki

Podłącz repozytorium za pomocą szybkiego startu, a potem sprawdź macierz obsługi na stronie zgodności. W przypadku innych funkcyjnych baz kodu przeczytaj przewodnik po Haskellu.