این دستور gnatcheck است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
gnatcheck - ابزار بررسی قوانین GNAT
خلاصه
چکمه [گزینه] ... نام فایل [-محموله ها gcc_switches] [-قوانین rule_switches]
چکمه [گزینه]... -files=نام فایل [-محموله ها gcc_switches] [-قوانین rule_switches]
شرح
چکمه مطابقت متن منبع آدا را با قوانین بررسی می کند و یک فایل گزارش تولید می کند
برای تجزیه و تحلیل بعدی و همچنین بر روی خروجی استاندارد.
در شکل اول، چکمه فایل های منبع مشخص شده Ada را بررسی می کند (کارت های عام هستند
مجاز).
در شکل دوم، چکمه فایل های منبع Ada فهرست شده در فایل مشخص شده را بررسی می کند.
چکمه یک برنامه ASIS است که در بالای پیاده سازی ASIS برای GNAT توسعه یافته است. مانند
به این ترتیب، فایل های درختی را می خواند (*.adt) تولید شده توسط کامپایلر برای دستیابی به اهداف خود، و
فراخوانی میکند gnatgcc برای این.
OPTIONS
-a واحدهای RTL را پردازش کنید.
-محموله ها gcc_switches
عبور gcc_switches به GCC هنگام تولید فایل های درختی.
-d حالت اشکال زدایی.
-DD حالت نشانگر پیشرفت، برای استفاده در استودیوی برنامه نویسی GNAT.
-h لیست قوانین داخلی را چاپ کنید.
-l زنجیره های مکان منبع کامل در فایل گزارش.
-q حالت بی صدا: تشخیص ها را در خروجی استاندارد گزارش نکنید.
-قوانین rule_switches
rule_switches می تواند هر ترکیبی از موارد زیر باشد:
-از جانب=پرونده
گزینه های قانون را بخوانید پرونده
+ALL همه قوانین را روشن کنید
-همه همه قوانین را خاموش کنید
+Rrule_id[:پارامتر[,پارامتر...]]
قانون مشخص شده را روشن کنید و پارامترهای اختیاری را به آن منتقل کنید.
-Rrule_id
قانون مشخص شده را خاموش کنید.
+Rrule_id[:پارامتر[,پارامتر...]]
برخی از چک ها را برای قانون مشخص شده خاموش کنید.
rule_id هر یک از قوانین ذکر شده با -h گزینه.
-s فرم کوتاه فایل گزارش
-sn فقط بخش را شامل شود n (n در 1 .. 3) در فایل گزارش.
-v حالت پرمخاطب.
با استفاده از خدمات onworks.net از gnatcheck آنلاین استفاده کنید
