code-contracts

9El calor

1Respuesta

¿Contratos de código para mono?

¿Soporta mono Code Contracts? Es decir. si construyo una biblioteca de clases, ¿los usuarios mono pueden usar mi ensamblaje? Si no, ¿hay alguna biblioteca alternativa? Preferiblemente admitiendo el an

.net mono code-contracts 2011-06-26

---

6El calor

4Respuesta

¿Es posible especificar contratos de código para garantizar que el método no cambie el estado del objeto

Digamos que obtuve una propiedad booleana IsValid en mi objeto. Me gustaría crear un método y asegurarme de que IsValid no se cambia después de llamarlo, ya sea verdadero o falso antes de la llamada.

c# code-contracts 2011-12-04

---

21El calor

2Respuesta

. Contratos de código .Net: ¿dónde obtener más información?

Recientemente escuché algunos comentarios en mi oficina acerca de .Net "Contracts", sin embargo, cuando pregunté a algunos de mis compañeros de trabajo, ninguno de ellos podría explicarme para qué era

c# asp.net .net code-contracts 2011-12-09

---

7El calor

1Respuesta

Contratos de código + Castillo de arena: ¿hay alguna forma de personalizar la sección de excepciones?

estoy usando Code Contracts ver: 1.4.40602.0 he copiado el contenido necesario y transforma los archivos de castillos de arena da salida a las excepciones basadas en mis requisitos del contrato Ejempl

c# documentation code-contracts sandcastle xml-documentation 2011-12-13

---

6El calor

2Respuesta

Code Contracts: Asegura no probados y no probados Requiere

No estoy seguro de si estoy haciendo algo mal aquí o si necesita ser arreglado ... que tienen una clase contenedora personalizada diccionario y aquí es un fragmento del código que es necesario. public

c# code-contracts idictionary 2011-09-14

---

11El calor

3Respuesta

¿Los contratos de código no detectan la relación obvia entre Nullable <T> .HasValue y null?

Estoy experimentando con la aplicación de Contratos de Código a mi código y he topado con un problema desconcertante. Este código no está cumpliendo con el contrato, pero a menos que esté siendo muy e

c# code-contracts static-code-analysis 2011-07-27

---

7El calor

1Respuesta

¿Cómo hacer que los contratos de código funcionen con la deserialización de contratos de datos?

He escrito un ContractInvariantMethod para una clase de contrato de datos, y todo funciona muy bien en el lado del cliente, sin embargo, cuando un objeto de este tipo se envía a mi servicio y el Datae

.net wcf datacontract code-contracts 2011-08-07

---

7El calor

1Respuesta

Hacer Contract.Assert una excepción en lugar de mostrar un cuadro de diálogo

Si estoy usando el nuevo Código contratos Contract.Assert método, es posible que sea una excepción en lugar de mostrar un cuadro de diálogo? Quiero hacer esto cuando ejecute pruebas unitarias en la má

c# assert code-contracts 2011-06-24

---

6El calor

1Respuesta

¿Por qué los contratos de código muestran "contrato mal formado. Encontrado requiere después de la asignación" en el método con clave de parámetros?

He estado solucionando este error durante horas y no puedo entender por qué sucede esto. Consideremos el siguiente código: using System; using System.Diagnostics.Contracts; using System.Linq.Express

c# code-contracts 2011-06-30

---

9El calor

2Respuesta

¿Debo activar el control en tiempo de ejecución de los contratos de código para .NET 4.0 en versiones de lanzamiento?

Suponiendo todo el nuevo código .NET 4.0 Veo que existe la opción de activarlos. Sin embargo, no veo cuál es la mejor práctica? ¿Es la mejor práctica que una vez que se realiza la comprobación estátic

c# .net-4.0 code-contracts 2011-11-28

---