Este es el comando adactl que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
adactl - controlador de reglas Ada
SINOPSIS
adáctl [opciones] unidad[+ | -unidad] | [@]presentar ... [- ASIS_opciones]
adáctl -h [gobernar id... | todo | comandos | licencia | lista | opciones | reglas | versión]
DESCRIPCIÓN
AdaControl es un controlador de reglas Ada. Se utiliza para controlar que el software Ada cumpla con
requisitos de una serie de reglas parametrizables. No pretende complementar los cheques.
realizado por el compilador, sino más bien para buscar violaciones particulares de buenas prácticas
reglas, o para verificar que algunas reglas se obedezcan en todo el proyecto.
El soporte comercial está disponible para AdaControl, ver archivo
/usr/share/doc/adacontrol/soporte.txt. Si planea utilizar AdaControl para aplicaciones industriales
proyectos, o si desea que se personalice o amplíe para satisfacer sus propias necesidades, por favor
póngase en contacto con Adalog en info@adalog.fr.
SPECIAL MODOS
-C Compruebe solo la sintaxis de las reglas. Acepta -d, -f, -l, -v, -x.
-D Genera dependencias. Acepta -o, -p, -r, -s, -w, -x.
-h Imprime un mensaje de ayuda general.
-h gobernar
Describir gobernar.
-h all Describe todas las reglas.
-h comandos | licencia | opciones | versión
Describe todos los comandos, la licencia (GPL), las opciones o el número de versión.
-h lista
Enumere las reglas en un formato adecuado para su uso dentro de GNAT Programming Studio.
-h reglas
Enumere las reglas en un formato normal.
-I Modo interactivo. Acepta todas las opciones.
OPCIONES
-d Habilita el modo de depuración.
-e Trate las advertencias (Buscar) como errores (Verificar)
-E Imprimir solo errores (marcar).
-f presentar
Usa presentar para la especificación de reglas
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | NINGUNO
Elija el formato de salida.
-i Ignore las desactivaciones locales.
-l gobernar...
Procesar con las reglas especificadas; vea abajo.
-o presentar
Enviar salida al especificado presentar.
-p presentar
Especificar un archivo de proyecto en modo ada de emacs (.adp)
-r recursiva
-s Procesar solo las especificaciones de la unidad Ada
-S nivel
Producir estadísticas; nivel es un número entero en el rango 0 .. 4.
-t archivo_rastreo
Envíe un seguimiento al archivo especificado.
-T Informe el tiempo de ejecución de las reglas.
-u Trate todos los parámetros como unidades Ada
-v Habilite el modo detallado.
-w Sobrescribir archivo de salida (funciona con -o)
-x Salir cuando hay un error interno
REGLAS
Las siguientes reglas están disponibles para -l opción:
Asignadores de retorno de función anormal
Array_Declaraciones Barrera_Expresiones
Caracteres Case_Statement
Declaraciones Default_Parameter
Directamente_Acceso_Globals Llamadas_de_inicialización_duplicadas
Entidades Entity_Inside_Exception
Expresiones de propagación de excepciones
Comentarios_del_encabezado_de_referencias_globales
Instancias de inicialización impropia
Parámetros_insuficientes Ocultación_local
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Anidación
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Múltiples_asignaciones
Naming_Convention No_estático
No_Elaboración_Llamadas No_Seleccionado_Nombre
No_Operator_Usage Objeto_Declaraciones
Otras_dependencias Parameter_Aliasing
Parámetros_Declaraciones Potencialmente_Bloqueo_Operaciones
Pragmas Reduable_Scope
Cláusulas_de_representación Tipo_devolución
Side_Effect_Parameters Excepciones_silenciosas
Expresiones_simplificables Declaraciones_simplificables
Declaraciones de comentarios especiales
Estilo Terminating_Tasks
Type_Initial_Values Uncheckable
Unidades Cláusula_Uso_innecesario
Conversión_no_segura_de_llamadas_emparejadas_no_seguras
Uso Use_Clauses
Con_cláusulas
Utilice adactl en línea utilizando los servicios de onworks.net