Aceasta este comanda adactl care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
adactl - controlorul regulilor Ada
REZUMAT
adactl [Opțiuni] unitate[+|-unitate]|[@]fişier ... [-- ASIS_opțiuni]
adactl -h [pronunța id... | toate | comenzi | licență | lista | opțiuni | reguli | versiune]
DESCRIERE
AdaControl este un controler de reguli Ada. Este folosit pentru a controla dacă software-ul Ada îndeplinește
cerinţele unui număr de reguli parametrizabile. Nu este destinat să suplimenteze controalele
făcute de compilator, ci mai degrabă pentru a căuta anumite încălcări ale bunelor practici
reguli sau pentru a verifica dacă unele reguli sunt respectate la nivelul întregului proiect.
Asistența comercială este disponibilă pentru AdaControl, vezi fișierul
/usr/share/doc/adacontrol/support.txt. Dacă intenționați să utilizați AdaControl pentru industria
proiecte, sau dacă doriți să fie personalizat sau extins pentru a se potrivi propriilor nevoi, vă rugăm
contactați Adalog la [e-mail protejat].
SPECIAL MODURI
-C Verificați numai sintaxa regulilor. Acceptă -d, -f, -l, -v, -x.
-D Generați dependențe. Acceptă -o, -p, -r, -s, -w, -x.
-h Imprimă un mesaj de ajutor general.
-h pronunța
Descrie pronunța.
-h toate Descrieți toate regulile.
-h comenzi|licență|opțiuni|versiune
Descrieți toate comenzile, licența (GPL), opțiunile sau numărul versiunii.
-h listă
Enumerați regulile într-un format adecvat pentru utilizare în Studioul de programare GNAT.
-h norme
Enumerați regulile într-un format normal.
-I Modul interactiv. Acceptă toate opțiunile.
OPŢIUNI
-d Activați modul de depanare.
-e Tratați avertismentele (Căutare) ca erori (Verificați)
-E Tipăriți numai erori (Verificare).
-f fişier
Utilizare fişier pentru precizarea regulilor
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | NICI UNUL
Alegeți formatul de ieșire.
-i Ignorați dezactivările locale.
-l pronunța...
Procesare cu regulile specificate; Vezi mai jos.
-o fişier
Trimiteți ieșirea la cea specificată fişier.
-p fişier
Specificați un fișier proiect emacs ada-mode (.adp)
-r recursive
-s Procesați numai specificațiile unității Ada
-S nivel
Realizarea de statistici; nivel este un număr întreg în intervalul 0 .. 4.
-t fişier_urme
Trimiteți o urmă la fișierul specificat.
-T Raportați timpul de executare a regulilor.
-u Tratați toți parametrii ca unități Ada
-v Activați modul pronunțat.
-w Suprascrie fișierul de ieșire (funcționează cu -o)
-x Ieșire când eroare internă
REGULI
Următoarele reguli sunt disponibile pentru -l opţiune:
Alocatori anormale_funcție_return
Array_Declarations Barrier_Expressions
Case_Statement Caractere
Declarații Default_Parameter
Direct_Accessed_Globals Duplicate_Initialization_Calls
Entități Entity_Inside_Exception
Expresii Exception_Propagation
Global_References Header_Comments
Instanțieri de inițializare_improprie
Parametri_Insuficienți Ascundere_locală
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesting
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Multiple_Assignments
Naming_Convention Non_static
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Declarations
Aliasarea_parametrului Alte_Dependențe
Parameter_Declarations Potential_Blocking_Operations
Pragmas Reduceable_Scope
Reprezentare_Clauses Return_Type
Side_Effect_Parameters Silent_Exceptions
Simplifiable_Expressions Simplifiable_Statements
Declarații Special_Comments
Stil Terminating_Tasks
Type_Initial_Values Nu se bifează
Unități Unnecessary_Use_Clause
Apeluri_pereche_nesigure. Conversie_nesigură_necontrolată
Utilizare Use_Clauses
Cu_clauze
Utilizați adactl online folosind serviciile onworks.net
