لغة Elixir في Maguyva: رسوم بيانية للشيفرة في تطبيقات Phoenix وOTP

أين تُربك Elixir أدوات الذكاء الاصطناعي السطحية

كل شيء تقريبًا في Elixir هو استدعاء ماكرو. تُحلَّل defmodule وdef وuse وalias و@impl كلها بوصفها استدعاءات، ويجلب use GenServer سلوكًا لا يظهر في الملف أبدًا. والأداة التي لا ترى إلا صيغة الاستدعاء لا تستطيع التمييز بين التعريف والاعتمادية، ولا بين دالة رد نداء في GenServer ودالة مساعدة.

يربط Maguyva وحدات الماكرو هذه بعلاقات، فيرى الوكيل أي الوحدات تنفّذ سلوكًا ومن يستدعي دالة سياق.

ما الذي يستخرجه Maguyva من Elixir

يغطي Maguyva ملفات .ex و.exs. وتُربط وحدات الماكرو في Elixir بالعلاقات على النحو التالي:

• تسجّل alias وimport وrequire عمليات استيراد.
• يسجّل use عملية استيراد. ولسلوكيات OTP والأطر مثل GenServer وSupervisor وAgent وTask وPhoenix.Controller وPhoenix.LiveView وEcto.Schema، يسجّل أيضًا أن الوحدة تنفّذ ذلك السلوك.
• تسجّل سمات @behaviour وكتل defimpl تنفيذ سلوك أو بروتوكول.
• تُسجَّل سمات الوحدة المحجوزة مثل @doc و@spec و@impl و@callback بوصفها توصيفات على الدالة التي تليها. أما سمات القيم مثل @timeout 5_000 فلا تُسجَّل.
• تُحتسب حرفيات البنية %User{} إنشاءً لنسخة، ويسجّل raise رمي استثناء، ويسجّل rescue وcatch التقاطه.

تُستبعد من الاستدعاءات وحدات الماكرو الخاصة باللغة مثل def وdefp وdefmodule وcase وwith، فيُظهر رسم الاستدعاءات دوالّك أنت.

أمثلة على مطالبات الوكلاء

• “من يستدعي Accounts.register_user، ومن أي متحكّمات؟” (find_symbol ثم dependency_search في الاتجاه الوارد)
• “ما الوحدات التي تنفّذ GenServer؟” (dependency_search)
• “تتبّع طلب الدفع من المتحكّم إلى قاعدة البيانات.” (get_task_context)

القيود المعروفة

• صيغ def وdefmodule وalias وimport المسمّاة هي عُقد استدعاء في القواعد النحوية، لذا لا يُرجع نتائج في structural_search إلا الإعداد المسبق functions، وللدوال المجهولة fn فقط. استخدم find_symbol للدوال والوحدات المسمّاة.
• يُستبعد من العلاقات نحو 55 استدعاءً من المكتبة القياسية، مثل IO.puts وString.* وEnum.take وProcess.*. استخدم text_pattern_search لها.
• لا تعرف Elixir وراثة الفئات، لذا تُعلَّم علاقات الوراثة بأنها غير قابلة للتطبيق.

الخطوات التالية

اربط مستودعًا عبر دليل البدء السريع، ثم راجع مصفوفة الدعم في صفحة التوافق. ولقواعد الشيفرة الوظيفية الأخرى، اقرأ دليل لغة Haskell.