Elixir sa Maguyva: mga code graph para sa Phoenix at OTP app

Saan nalilito ang mababaw na AI tool sa Elixir

Halos lahat sa Elixir ay macro call. Pare-parehong napa-parse bilang call ang defmodule, def, use, alias at @impl, at nagdadala ang use GenServer ng behavior na hindi kailanman lumalabas sa file. Hindi kayang paghiwalayin ng tool na call syntax lang ang nakikita ang definition at dependency, o ang GenServer callback at helper.

Ginagawang relationship ng Maguyva ang mga macro na iyon, para makita ng agent kung aling mga module ang nag-i-implement ng behaviour at kung sino ang tumatawag sa isang context function.

Ano ang kinukuha ng Maguyva mula sa Elixir

Sakop ng Maguyva ang mga .ex at .exs file. Nagiging relationship ang mga macro ng Elixir nang ganito:

• Nagtatala ng import ang alias, import at require.
• Nagtatala ng import ang use. Para sa mga OTP at framework behaviour tulad ng GenServer, Supervisor, Agent, Task, Phoenix.Controller, Phoenix.LiveView at Ecto.Schema, itinatala rin nito na ini-implement ng module ang behaviour na iyon.
• Nagtatala ng implementasyon ng behaviour o protocol ang mga @behaviour attribute at defimpl block.
• Itinatala bilang annotation sa kasunod na function ang mga reserved module attribute tulad ng @doc, @spec, @impl at @callback. Hindi itinatala ang mga attribute na may hawak na value, gaya ng @timeout 5_000.
• Bilang instantiation ang mga %User{} struct literal, nagtatala ng throw ang raise, at nagtatala ng catch ang rescue at catch.

Nifi-filter mula sa mga call ang mga language macro tulad ng def, defp, defmodule, case at with, kaya sarili mong mga function ang ipinapakita ng call graph.

Mga halimbawang agent prompt

• “Sino ang tumatawag sa Accounts.register_user, at mula sa aling mga controller?” (find_symbol, tapos dependency_search na incoming)
• “Aling mga module ang nag-i-implement ng GenServer?” (dependency_search)
• “I-trace ang isang payment request mula sa controller hanggang sa database.” (get_task_context)

Mga kilalang limitasyon

• Call node sa grammar ang mga named form na def, defmodule, alias at import, kaya ang functions preset lang sa structural_search ang may resulta, at para lang sa mga anonymous fn function. Gamitin ang find_symbol para sa mga named function at module.
• Mga 55 standard-library call tulad ng IO.puts, String.*, Enum.take at Process.* ang nifi-filter mula sa mga relationship. Gamitin ang text_pattern_search para sa mga iyon.
• Walang class inheritance ang Elixir, kaya minarkahang hindi naaangkop ang mga inheritance relationship.

Mga susunod na hakbang

Mag-connect ng repository gamit ang quickstart, tapos tingnan ang support matrix sa compatibility page. Para sa iba pang functional codebase, basahin ang gabay sa Haskell.