Este es el comando cccheck 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
cccheck: realiza la verificación de contratos de código estático para ensamblajes CLR.
SINOPSIS
cccheque --assembly = [opciones]
DESCRIPCIÓN
Realice la verificación de contratos de código estático para encontrar errores e incoherencias entre el código
y especificación. Esto incluye análisis de enteros no nulos.
El ensamblaje debe haber sido construido con el símbolo CONTRACTS_FULL definido, de lo contrario el
El compilador habrá eliminado las llamadas a los métodos contract.
Actualmente, solo se admiten los métodos Contract.Assume () y Contract.Assert (). Solo no
Se admite el análisis nulo, los análisis consecutivos están en desarrollo. Un mensaje de error
se mostrará si cccheck no puede procesar todos o algunos de los métodos especificados
el montaje.
CONFIGURACIÓN OPCIONES
--montaje
El montaje para realizar la verificación estática.
--depurar
Muestra información de depuración sobre el proceso de prueba de las afirmaciones. Muestra cuatro
capas de abstracción, capa sin procesar, capa de pila, capa de pila y sustituida
nivel de expresión.
--method =
Cadena para encontrar el método. Filtra todos los métodos en ensamblaje donde el nombre del método tiene
este parámetro como una subcadena.
--ayuda Mostrar ayuda para cccheck, enumerando las opciones de configuración.
EJEMPLOS
Suponga que tiene un método:
Método vacío () {
objeto x = nulo;
int y = 1;
si (y% 2 == 1)
x = nuevo objeto ();
más
x = nueva cadena ();
Contract.Assert (x! = Null); }
Después de la verificación, la herramienta tendrá resultados en el siguiente formato: "Afirmación
en: [Subrutina: Cuadra ordenador personal ]:
es (verdadero | falso | no probado | inalcanzable) ". (PC es un contador de programa)
Utilice cccheck en línea utilizando los servicios de onworks.net
