code-contracts

14El calor

6Respuesta

Estoy buscando una biblioteca o código fuente que proporcione métodos de protección, como la comprobación de argumentos nulos. Obviamente, esto es bastante simple de construir, pero me pregunto si ya

27El calor

1Respuesta

¿Por qué ccrewrite.exe no hace nada desde la línea de comandos?

Tengo contratos de código funcionando bien desde Visual Studio 2010, pero no puedo obtener ccrewrite.exe para hacer algo útil desde la línea de comandos. He aquí una aplicación de ejemplo: using Syste

25El calor

3Respuesta

¿Cuán libre puedo estar en el código en un objeto invariante?

Estoy tratando de demostrar invariantes en Contratos de código, y pensé que daría un ejemplo de una lista ordenada de cadenas. Mantiene una matriz internamente, con espacio adicional para adiciones, e

32El calor

2Respuesta

¿Debería el verificador estático de contratos de código ser capaz de verificar el límite aritmético?

(también posted on the MSDN forum - pero que no recibe mucho tráfico, por lo que yo puedo ver.) He estado tratando de proporcionar un ejemplo de Assert y Assume. Aquí está el código que tengo: public

43El calor

4Respuesta

¿Cuán maduro es el marco de Microsoft Code Contracts?

Microsoft ha publicado recientemente su versión Code Contracts en DevLabs con una licencia comercial. Estamos interesados en usarlos en nuestro proyecto (principalmente C#, algunos C++/CLI) para ree

7El calor

5Respuesta

Error en iteradores con contratos de código?

El siguiente código falla en la condición previa. ¿Es esto un error en los contratos de código? static class Program { static void Main() { foreach (var s in Test(3)) { C

7El calor

2Respuesta

¿Se pueden usar los contratos de código de Microsoft con un sitio web ASP.NET?

Actualmente estoy usando Microsoft Code Contracts en una aplicación ASP.NET MVC sin ningún problema, pero parece que no puedo ejecutarlo bastante en un sitio web básico de ASP.NET. No estoy del todo s