Questo è il comando adactl che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
adactl - Controller delle regole Ada
SINOSSI
adatto [Opzioni] unità[+|-unità][[@]filetto ... [-- ASIS_opzioni]
adatto -H [regola id... | tutti | comandi | licenza | lista | opzioni | regole | versione]
DESCRIZIONE
AdaControl è un controller di regole Ada. Viene utilizzato per controllare che il software Ada soddisfi i
requisiti di una serie di regole parametrizzabili. Non intende integrare i controlli
compiute dal compilatore, ma piuttosto per ricercare particolari violazioni delle buone pratiche
regole o per verificare che alcune regole vengano rispettate a livello di progetto.
Il supporto commerciale è disponibile per AdaControl, vedere il file
/usr/share/doc/adacontrol/support.txt. Se prevedi di utilizzare AdaControl per applicazioni industriali
progetti, o se vuoi che sia personalizzato o esteso per soddisfare le tue esigenze, per favore
contattare Adalog a [email protected].
SPECIALE MODALITA '
-C Controlla solo la sintassi delle regole. Accetta -d, -f, -l, -v, -x.
-D Genera dipendenze. Accetta -o, -p, -r, -s, -w, -x.
-h Stampa un messaggio di aiuto generale.
-h regola
Descrivere regola.
-h contro tutti i Descrivi tutte le regole.
-h comandi|licenza|opzioni|versione
Descrivi tutti i comandi, la licenza (GPL), le opzioni o il numero di versione.
-h stratagemma
Elencare le regole in un formato adatto all'uso all'interno di GNAT Programming Studio.
-h norme
Elenca le regole in un formato normale.
-I Modalità interattiva. Accetta tutte le opzioni.
VERSIONI
-d Abilita la modalità di debug.
-e Considera gli avvisi (Cerca) come errori (Controlla)
-E Stampa solo errori (Check).
-f filetto
Usa il filetto per la specificazione delle regole
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | NESSUNO
Scegli il formato di output.
-i Ignora le disattivazioni locali.
-l regola...
Processo con le regole specificate; vedi sotto.
-o filetto
Invia l'output al specificato filetto.
-p filetto
Specificare un file di progetto emacs in modalità ada (.adp)
-r Ricorsivo
-s Elabora solo le specifiche dell'unità Ada
-S livello
Produrre statistiche; livello è un numero intero nell'intervallo 0 .. 4.
-t file_traccia
Invia una traccia al file specificato.
-T Riporta il tempo di esecuzione delle regole.
-u Tratta tutti i parametri come unità Ada
-v Abilita la modalità dettagliata.
-w Sovrascrivi file di output (funziona con -o)
-x Esci in caso di errore interno
REGOLE
Le seguenti regole sono disponibili per il -l opzione:
Abnormal_Function_Return allocatori
Array_Declarations Barrier_Expressions
Caratteri Case_Statement
Dichiarazioni Default_Parameter
Diretto_Accesso_Globale Duplicate_Inizializzazione_Chiamate
Entità Entity_Inside_Exception
Espressioni Exception_Propagation
Global_References Intestazione_Commenti
Istanziazioni di inizializzazione_impropria
Parametri_insufficienti Local_Hiding
Max_Linee_Vuote Max_Profondità_Chiamata
Max_Linea_Lunghezza Max_Nidificazione
Dimensione_max.Istruzione_max_Nesting
Movable_Accept_Statements Multiple_Assignments
Naming_Convention Non_statico
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Dichiarazioni
Altre_Dipendenze Parametro_Aliasing
Dichiarazioni_parametri potenzialmente_operazioni_di_blocco
Pragma Reduceable_Scope
Rappresentazione_clausole Return_Type
Side_Effect_Parameters Silent_Exceptions
Espressioni_simplificabili Dichiarazioni_semplificabili
Special_Comments Dichiarazioni
Stile Terminating_Tasks
Type_Initial_Values Uncheckable
Unità Unnecessary_Use_Clause
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
Utilizzo Use_Clauses
Con_clausole
Usa adactl online utilizzando i servizi onworks.net
