هذا هو الأمر gnatcheck الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
gnatcheck - أداة التحقق من قاعدة GNAT
موجز
gnatcheck [OPTION] ... اسم الملف [حمولات مفاتيح مجلس التعاون الخليجي] [-قواعد Rule_switches]
gnatcheck [OPTION]... -الملفات=اسم الملف [حمولات مفاتيح مجلس التعاون الخليجي] [-قواعد Rule_switches]
الوصف
gnatcheck يتحقق من توافق نص مصدر Ada مع القواعد وينتج ملف تقرير
للتحليل اللاحق وكذلك على الإخراج القياسي.
في الشكل الأول ، gnatcheck يفحص ملفات مصدر Ada المحددة (أحرف البدل هي
مسموح).
في الشكل الثاني ، gnatcheck يفحص ملفات مصدر Ada المدرجة في الملف المحدد.
gnatcheck هو تطبيق ASIS تم تطويره بالإضافة إلى تطبيق ASIS لـ GNAT. مثل
بحيث يقرأ ملفات الشجرة (*.إضافة) التي ينتجها المترجم لتحقيق أهدافه، و
يتضرع gnatgcc لهذا.
OPTIONS
-a معالجة وحدات RTL.
حمولات مفاتيح مجلس التعاون الخليجي
تجاوز مفاتيح مجلس التعاون الخليجي إلى دول مجلس التعاون الخليجي عند إنتاج ملفات الشجرة.
-d وضع التصحيح.
-د وضع مؤشر التقدم، للاستخدام في استوديو برمجة GNAT.
-h اطبع قائمة القواعد المضمنة.
-l سلاسل مواقع المصدر الكاملة في ملف التقرير.
-q الوضع الهادئ: لا تبلغ عن الاكتشافات على الإخراج القياسي.
-قواعد Rule_switches
Rule_switches يمكن أن يكون أي مزيج مما يلي:
-من عند=ملف
قراءة خيارات القاعدة من ملف
+ الكل قم بتشغيل كافة القواعد.
-الجميع قم بإيقاف تشغيل كافة القواعد.
+Rrule_id[:المعلمة[,المعلمة...]]
قم بتشغيل القاعدة المحددة، وتمرير المعلمات الاختيارية إليها.
-Rrule_id
قم بإيقاف تشغيل القاعدة المحددة.
+Rrule_id[:المعلمة[,المعلمة...]]
قم بإيقاف تشغيل بعض عمليات التحقق للقاعدة المحددة.
rule_id هو أي من القواعد المدرجة مع -h الخيار.
-s نموذج مختصر لملف التقرير.
-sn تضمين القسم فقط n (n في 1 .. 3) في ملف التقرير.
-v وضع مفصل.
استخدم gnatcheck عبر الإنترنت باستخدام خدمات onworks.net