זוהי הפקודה adactl שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
adactl - בקר חוקי Ada
תַקצִיר
adactl [אפשרויות] יחידה[+|-יחידה]|[@]פילה ... [-- ASIS_options]
adactl -ח [לשלוט id... | הכל | פקודות | רישיון | רשימה | אפשרויות | כללים | גִרְסָה]
תיאור
AdaControl הוא בקר חוקי Ada. הוא משמש כדי לשלוט על כך שתוכנת Ada פוגשת את
דרישות של מספר כללים הניתנים לפרמטרים. זה לא נועד להשלים צ'קים
נעשה על ידי המהדר, אלא כדי לחפש הפרות מסוימות של נוהגים טובים
כללים, או לבדוק שחלק מהכללים מצייתים בכל הפרויקט.
תמיכה מסחרית זמינה עבור AdaControl, ראה קובץ
/usr/share/doc/adacontrol/support.txt. אם אתה מתכנן להשתמש ב-AdaControl לתעשייה
פרויקטים, או אם אתה רוצה שזה יהיה מותאם אישית או מורחב כך שיתאים לצרכים שלך, בבקשה
צור קשר עם Adalog בכתובת [מוגן בדוא"ל].
מיוחד מצבים
-C בדוק את תחביר הכללים בלבד. מקבל -d, -f, -l, -v, -x.
-D ליצור תלות. מקבל -o, -p, -r, -s, -w, -x.
-h מדפיס הודעת עזרה כללית.
-h לשלוט
לתאר לשלוט.
-h את כל תאר את כל הכללים.
-h פקודות|רישיון|אפשרויות|גרסה
תאר את כל הפקודות, הרישיון (GPL), האפשרויות או מספר הגרסה.
-h רשימה
רשום את הכללים בפורמט המתאים לשימוש בתוך אולפן התכנות של GNAT.
-h כללי
רשום את הכללים בפורמט רגיל.
-I מצב אינטראקטיבי. מקבל את כל האפשרויות.
אפשרויות
-d הפעל מצב ניפוי באגים.
-e התייחס לאזהרות (חיפוש) כשגיאות (בדוק)
-E הדפס שגיאות בלבד (בדוק).
-f פילה
השתמש פילה למפרט הכללים
-F גנאט | 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 התייחסו לכל הפרמטרים כאל יחידות עדה
-v הפעל מצב מילולי.
-w החלף קובץ פלט (עובד עם -o)
-x צא כאשר שגיאה פנימית
RULES
הכללים הבאים זמינים עבור -l אפשרות:
מקצי החזרות_תפקוד חריגים
מערך_הצהרות מחסום_ביטויים
תווי_משפט_מקרה
הצהרות Default_Parameter
Directly_Accessed_Globals Duplicate_Initialization_Calls
ישויות Entity_Inside_Exception
Exception_Propagation Expressions
Global_References Header_Comments
מופעים לא תקין_אתחול
לא מספיק_פרמטרים מקומי_הסתרה
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesting
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Multiple_Assignments
שמות_מוסכמות לא_סטטיות
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Declarations
Other_Dependencies Parameter_Aliasing
Parameter_Declarations Potentially_Blocking_Operations
Pragmas Reduceable_Scope
Representation_Clauses Return_Type
Side_Effect_Parameters שקט_חריגים
Simplifiable_Expressions Simplifiable_Statements
הצהרות_הערות מיוחדות
סגנון סיום_משימות
Type_Initial_Values לא ניתן לסימון
Units Unnecessary_Use_Clause
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
Usage Use_Clauses
עם_סעיפים
השתמש ב-adactl באינטרנט באמצעות שירותי onworks.net
