Il s'agit de la commande adactl qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
adactl - contrôleur de règles Ada
SYNOPSIS
adaptable [Options] unité[+|-unité]|[@]filet ... [-- ASIS_options]
adaptable -h [exclure id... | tous | commandes | licence | liste | options | règles | version]
DESCRIPTION
AdaControl est un contrôleur de règles Ada. Il est utilisé pour contrôler que le logiciel Ada répond aux
exigences d'un certain nombre de règles paramétrables. Il n'est pas destiné à compléter les contrôles
faites par le compilateur, mais plutôt de rechercher des violations particulières des bonnes pratiques
règles, ou pour vérifier que certaines règles sont respectées à l'échelle du projet.
Un support commercial est disponible pour AdaControl, voir fichier
/usr/share/doc/adacontrol/support.txt. Si vous prévoyez d'utiliser AdaControl pour l'industrie
projets, ou si vous souhaitez qu'il soit personnalisé ou étendu pour correspondre à vos propres besoins, veuillez
contactez Adalog au [email protected].
SPÉCIALITÉS MODES
-C Vérifiez uniquement la syntaxe des règles. Accepte -d, -f, -l, -v, -x.
-D Générer des dépendances. Accepte -o, -p, -r, -s, -w, -x.
-h Imprime un message d'aide générale.
-h exclure
Décrire exclure.
-h tous Décrivez toutes les règles.
-h commandes|licence|options|version
Décrivez toutes les commandes, la licence (GPL), les options ou le numéro de version.
-h liste
Répertoriez les règles dans un format adapté à une utilisation dans le studio de programmation GNAT.
-h
Énumérez les règles dans un format normal.
-I Mode interactif. Accepte toutes les options.
OPTIONS
-d Activer le mode de débogage.
-e Traiter les avertissements (Rechercher) comme des erreurs (Vérifier)
-E Imprimer uniquement les erreurs (Vérifier).
-f filet
Utilisez le filet pour la spécification des règles
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | RIEN
Choisissez le format de sortie.
-i Ignorer les désactivations locales.
-l exclure...
Traiter avec les règles spécifiées ; voir ci-dessous.
-o filet
Envoyer la sortie au spécifié filet.
-p filet
Spécifiez un fichier de projet emacs en mode ada (.adp)
-r Récursif
-s Traiter uniquement les spécifications de l'unité Ada
-S niveau
Produire des statistiques; niveau est un entier compris entre 0 .. 4.
-t fichier_trace
Envoie une trace vers le fichier spécifié.
-T Rapporter le temps d'exécution des règles.
-u Traiter tous les paramètres comme des unités Ada
-v Activer le mode détaillé.
-w Écraser le fichier de sortie (fonctionne avec -o)
-x Quitter en cas d'erreur interne
DES RÈGLES
Les règles suivantes sont disponibles pour le -l option:
Allocateurs Abnormal_Function_Return
Array_Declarations Barrier_Expressions
Case_Statement Caractères
Déclarations Default_Parameter
Directement_Accessed_Globals Duplicate_Initialization_Calls
Entités Entity_Inside_Exception
Expressions Exception_Propagation
Global_References Header_Comments
Instanciations d'initialisation_incorrecte
Paramètres_insuffisants Local_Hiding
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesting
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Multiple_Assignments
Nom_Convention Non_Statique
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Declarations
Autres_dépendances Parameter_Aliasing
Parameter_Declarations Opérations_de_blocage_potentiel
Pragmas Reduction_Scope
Representation_Clauses Return_Type
Side_Effect_Parameters Silent_Exceptions
Expressions_simplifiables Déclarations_simplifiables
Déclarations Special_Comments
Style Terncing_Tasks
Type_Initial_Values non coché
Unités Unnecessary_Use_Clause
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
Utilisation Use_Clauses
Avec_Clauses
Utiliser adactl en ligne à l'aide des services onworks.net
