ciaopp

معالج برنامج CIAOPP

CIAOPP هو إطار معالج البرنامج لـ CIAO. يقوم CIAOPP بإجراء عدد من مهام التحليل والتحليل والمصدر إلى المصدر:

• استدلال خصائص المتنبئين والحرفيين للبرنامج ( الأنواع والأوضاع وغيرها من خصائص التثبيت المتغيرة ، غير الفاعل ، الحتمية ، الحدود على التكلفة الحسابية ، حدود على أحجام المصطلحات في البرنامج ، إلخ).

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

• عدة أنواع من مصادر التحولات البرمجية للمصدر مثل تخصص البرنامج ، التقطيع ، التقييم الجزئي ، موازاة البرنامج (مع مراعاة تحكم التفاصيل ) ، إدراج اختبارات وقت التشغيل للتأكيدات التي لا يمكن التحقق منها بالكامل في وقت الترجمة ، وما إلى ذلك.

تتم كتابة جميع المعلومات التي تم إنشاؤها عن طريق التحليل والتأكيدات في المواصفات بنفس لغة التأكيد ، والتي بدورها تستخدمها أيضًا مولد توثيق نظام CIAO ، lpdoc .

يحتوي هذا المستودع على إطار عمل ما قبل المعالج العام مع بعض التحليلات الأساسية والتحولات ودعم اللغة. يتم توزيع الميزات الأخرى (بما في ذلك دعم مجموعة متنوعة من لغات البرمجة) كحزم منفصلة.

يتم توزيع CIAOPP بموجب رخصة GNU العامة العامة.

تثبيت

بشكل افتراضي ، ستقوم CIAO باكتشاف وبناء CIAOPP أثناء تجميع النظام. من أجل تخصيص خيارات التكوين الافتراضية ، يرجى الرجوع إلى تعليمات تثبيت CIAO.

من الممكن القيام بإنشاء وتثبيت CIAOPP منفصل مع الأمر التالي:

 $ ciao get ciaopp