זוהי הפקודה gnatcheck שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות החינמיות שלנו כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS.
תָכְנִית:
שֵׁם
gnatcheck - כלי לבדיקת חוקי GNAT
תַקצִיר
בדיקת יתושים [אוֹפְּצִיָה] ... שם הקובץ [-מטעני gcc_switches] [-כללים מתגי_rule]
בדיקת יתושים [אוֹפְּצִיָה]... -קבצים=שם הקובץ [-מטעני gcc_switches] [-כללים מתגי_rule]
תיאור
בדיקת יתושים בודק את התאמת טקסט המקור של Ada לכללים ומפיק קובץ דוח
לניתוח מאוחר יותר וכן על פלט סטנדרטי.
בצורה הראשונה, בדיקת יתושים בוחן את קבצי המקור של Ada שצוינו (תווים כלליים הם
מוּתָר).
בצורה השנייה, בדיקת יתושים בוחן את קבצי המקור של Ada המפורטים בקובץ שצוין.
בדיקת יתושים היא אפליקציית ASIS שפותחה על גבי יישום ASIS עבור GNAT.
כך, הוא קורא קבצי עץ (*.adt) שנוצר על ידי המהדר כדי להשיג את מטרותיו, ו
מעורר gnatgcc לזה.
אפשרויות
-a עיבוד יחידות RTL.
-מטעני gcc_switches
לעבור gcc_switches ל-GCC בעת יצירת קבצי העץ.
-d מצב ניפוי באגים.
-dd מצב מחוון התקדמות, לשימוש באולפן התכנות GNAT.
-h הדפס את רשימת הכללים המובנים.
-l שרשראות מיקומי מקור מלאות בקובץ הדוח.
-q מצב שקט: אין לדווח על גילויים בפלט הסטנדרטי.
-כללים מתגי_rule
מתגי_rule יכול להיות כל שילוב של הדברים הבאים:
-מ=פילה
קרא אפשרויות כלל מ פילה
+הכל הפעל את כל הכללים.
-את כל בטל את כל הכללים.
+Rכלל_יד[:להפסיק[,להפסיק...]]
הפעל את הכלל שצוין, והעברתו פרמטרים אופציונליים.
-Rכלל_יד
בטל את הכלל שצוין.
+Rכלל_יד[:להפסיק[,להפסיק...]]
בטל חלק מהבדיקות עבור הכלל שצוין.
כלל_יד האם אחד מהכללים המפורטים עם ה- -h אוֹפְּצִיָה.
-s צורה מקוצרת של קובץ הדוח.
-sn כלול רק סעיף n (n ב-1 .. 3) בקובץ הדוח.
-v מצב מילולי.
השתמש ב-gnatcheck באינטרנט באמצעות שירותי onworks.net