الصفحة الرئيسية>المتعلقة بالبرمجة>شفرة المصدر الأخرى
تنزيل

الارتباطات اللغوية لمود

روابط اللغة للغة مواصفات Maude باستخدام SWIG. إنهم يستخدمون نسخة معدلة من Maude ممتدة مع مدقق نموذجي للنظام الذي يتم التحكم فيه بواسطة الاستراتيجيات، والذي يمكن الوصول إليه أيضًا من خلال الارتباطات.

حزمة Python متاحة على PyPI. بعد تثبيته باستخدام pip install maude ، يمكن استخدامه مباشرةً نظرًا لأن Maude مضمن في الحزمة: 

 import maude
maude . init ()
nat = maude . getModule ( 'NAT' )
t = nat . parseTerm ( '1 + 2' )
t . reduce ()
print ( t )

يمكن إنشاء روابط للغات الأخرى التي يدعمها SWIG من هذا المستودع، ولكن لم يتم منحها دعمًا واختبارًا محددين. تعليمات محددة لبعض منهم متاحة هنا.

مبنى

يتضمن هذا المستودع النسخة الموسعة من Maude كوحدة فرعية، والتي يجب استنساخها أولاً باستخدام git submodule update --init أو أمر Git مكافئ. لإنشاء حزمة Python، يتم استخدام scikit-build-core من خلال أي من الأوامر القياسية: 

 python -m build  # or
pip wheel .

سيؤدي هذا إلى إنشاء Maude في دليل subprojects ، والذي يتطلب نظام بناء Meson وNinja والعديد من المكتبات والأدوات الخارجية، كما هو موضح في مستودعه. وبدلاً من ذلك، يمكن تنزيل الإصدارات المجمعة من Maude كمكتبة من قسم الإصدارات الخاصة بها ووضعها في مواقعها المتوقعة:

  • subprojects/maudesmc/installdir/lib للمكتبات و
  • subprojects/maudesmc/build لملف رأس config.h .

في هذه الحالة أو عند إنشاء Maude مباشرة من الدليل الفرعي الخاص به، يجب إضافة CMAKE_ARGS="-DBUILD_LIBMAUDE=OFF" قبل الأمر السابق.

يمكن أيضًا إنشاء روابط للغات الأخرى باستخدام CMake مباشرة، حيث srcdir هو الدليل الذي تم استنساخ المستودع فيه، language هي إحدى اللغات التي يدعمها SWIG: 

 cmake <srcdir> -DLANGUAGE=<language>
cmake --build .

بالنسبة لبعض الأهداف اللغوية، سيكون هذا كافيًا، ولكن يمكن توقع خطوات إضافية للآخرين.

التوثيق

تتوفر هنا وثائق حزمة بايثون، والتي يمكن استقراءها إلى حد كبير للغات الهدف الأخرى. الوثائق التي تم إنشاؤها بواسطة Javadoc متاحة أيضًا. بالإضافة إلى ذلك، يمكن استخدام الأمثلة الموجودة في المستودع كمرجع لموضوعات مختلفة:

  • تحميل الملفات، وتحليل المصطلحات، والتصغير، وإعادة الكتابة، وإعادة الكتابة باستخدام الاستراتيجيات، والبحث في test.py
  • المطابقة في match.py ​​.
  • تطبيق القواعد بشكل انتقائي في apply.py .
  • التوحيد في unify.py .
  • معالجة الرسم البياني لإعادة الكتابة في graph.py .
  • التحقق من النموذج في modelcheck.py .
  • تضييق في vunarrow.py .
  • إنشاء المتغير في variants.py .
  • التكرار على وسيطات المصطلح في gui.py .
  • بناء المصطلحات من الرموز في buildTerm.py .
  • فحص الوحدات في maudedoc.py .
  • تحميل الملفات وإدخال النص الخام في loading.py .
  • معالجة Metalevel في metalevel.py .
  • عوامل تشغيل خاصة مخصصة في hooks.py .

علاوة على ذلك، يتوفر برنامج تعليمي عن المكتبة في المقالة Maude as a Library: واجهة برمجة فعالة لجميع الأغراض ، بالإضافة إلى وصف لتصميمها وتنفيذها.

يوسع
معلومات إضافية
تطبيقات ذات صلة
نوصي لك
أخبار ذات صلة الكل