هذا هو الأمر adactl الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
Adactl - تحكم قواعد Ada
موجز
Adactl [الخيارات] وحدة[+ | -وحدة] | [@]ملف ... [- خيارات ASIS]
Adactl -ح [حكم id... | الكل | أوامر | رخصة | قائمة | خيارات | القواعد | إصدار]
الوصف
AdaControl هي وحدة تحكم في قواعد Ada. يتم استخدامه للتحكم في أن برنامج Ada يفي بملف
متطلبات عدد من القواعد المعلمات. ليس الغرض منه استكمال الفحوصات
التي قام بها المترجم ، ولكن بدلاً من ذلك للبحث عن انتهاكات معينة للممارسات الجيدة
القواعد ، أو للتحقق من الامتثال لبعض القواعد على مستوى المشروع.
يتوفر الدعم التجاري لبرنامج AdaControl ، انظر الملف
/usr/share/doc/adacontrol/support.txt. إذا كنت تخطط لاستخدام AdaControl للأغراض الصناعية
المشاريع ، أو إذا كنت ترغب في تخصيصها أو توسيعها لتلائم احتياجاتك الخاصة ، من فضلك
الاتصال Adalog في [البريد الإلكتروني محمي].
خاص MODES
-C تحقق من بناء القواعد فقط. يقبل -d ، -f ، -l ، -v ، -x.
-D توليد التبعيات. يقبل -o ، -p ، -r ، -s ، -w ، -x.
-h يطبع رسالة تعليمات عامة.
-h حكم
وصف حكم.
-h من جميع صف جميع القواعد.
-h أوامر | ترخيص | خيارات | إصدار
صِف جميع الأوامر أو الترخيص (GPL) أو الخيارات أو رقم الإصدار.
-h قائمة
ضع القواعد بتنسيق مناسب للاستخدام داخل استوديو برمجة GNAT.
-h القواعد
ضع القواعد في شكل عادي.
-I الوضع التفاعلي. يقبل كل الخيارات.
OPTIONS
-d تفعيل وضع التصحيح.
-e التعامل مع التحذيرات (بحث) على أنها أخطاء (تحقق)
-E أخطاء الطباعة فقط (تحقق).
-f ملف
استعمل ملف لتحديد القواعد
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | لا أحد
اختار وحدة اخراج.
-i تجاهل التعطيل المحلي.
-l حكم
العملية مع القواعد المحددة ؛ انظر أدناه.
-o ملف
إرسال الإخراج إلى المحدد ملف.
-p ملف
حدد ملف مشروع emacs ada-mode (.adp)
-r العودية
-s معالجة مواصفات وحدة Ada فقط
-S مستوى
إنتاج الإحصائيات ؛ مستوى هو عدد صحيح في النطاق 0 .. 4.
-t Trace_file
إرسال تتبع للملف المحدد.
-T تقرير وقت تنفيذ القواعد.
-u تعامل مع جميع المعلمات كوحدات Ada
-v تفعيل الوضع المطول.
-w الكتابة فوق ملف الإخراج (يعمل مع -o)
-x الخروج عند حدوث خطأ داخلي
قواعد
القواعد التالية متاحة لـ -l الخيار:
المخصصات غير الطبيعية للوظيفة_إعادة الإرجاع
Array_Declarations Barrier_Expressions
أحرف الحالة_بيان
تعريفات Default_Parameter
Directly_Accessed_Globals Duplicate_Initialization_Calls
الكيانات Entity_Inside_Exception
Exception_Propagation Expression
Global_References Header_Comments
التهيئة غير الصحيحة للتهيئة
معلمات غير كافية Local_Hiding
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesting
الحد الأقصى للحجم الحد الأقصى للبيان
Movable_Accept_Statements Multi_Assignments
Naming_Convention غير_استاتيكية
Not_Elaboration_Calls_ Not_Selected_Name
No_Operator_Usage Object_Declarations
معلمة التبعيات الأخرى_التعرج
Parameter_Declarations يحتمل_منع_العمليات
براغماس Reduceable_Scope
التمثيل_الأسباب رجوع_نوع
Side_Effect_Parameters Silent_Exceptions
Simplifiable_Expressions عبارات مبسطة
بيانات Special_Comments
نمط Terminating_Tasks
لا يمكن التحقق من Type_Initial_Values
الوحدات غير ضرورية_Use_Clause
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
Use_Clauses الاستخدام
مع_خلاصة
استخدم adactl عبر الإنترنت باستخدام خدمات onworks.net
