code-contracts

5El calor

2Respuesta

¿Por qué todavía obtengo Contratos de código: asegúrese de que no haya una advertencia?

A continuación se muestra un ejemplo muy simple. Cuando enciendo las advertencias de análisis estático, sigo teniendo CodeContracts advertencia: asegura no probada: Contract.Result() = String.Empty en

c# code-contracts design-by-contract 2010-11-18

---

5El calor

2Respuesta

¿Cómo se afirma en el código algorítmico en .NET?

Actualmente estoy desarrollando un pequeño marco de IA (algoritmos genéticos/redes neuronales) en C#, para un proyecto universitario. Mi primera preocupación es desarrollar un marco reutilizable, por

c# .net algorithm oop code-contracts 2010-11-19

---

8El calor

2Respuesta

¿Cómo puedo deshabilitar por completo los contratos de código?

Actualmente lo tengo configurado como a continuación. Intenté comprobar "Realizar comprobación del contrato en tiempo de ejecución" y luego seleccionar "Ninguno", pero parece innecesario. Si tengo la

visual-studio visual-studio-2010 code-contracts 2010-11-23

---

9El calor

2Respuesta

Microsoft Visual Studio código sin

Esta pregunta desbordamiento de pila: Microsoft Code Contracts and CI build server se pregunta cómo conseguir contratos de trabajo de código en un servidor de compilación sin necesidad de instalar Vis

visual-studio-2010 msbuild teamcity code-contracts 2010-11-27

---

9El calor

1Respuesta

¿Cómo puedo especificar contratos de código para el código de marco existente (BCL)?

Los contratos de código funcionan muy bien hasta que tenga que agregar un bazillion Contract.Assume(...) para los resultados que salen del código de la estructura. Por ejemplo, MemoryStream.ToArray()

c# code-contracts 2010-10-12

---

5El calor

1Respuesta

Contratos de código: ContractClassFor cuando se trata de una clase abstracta genérica?

Entonces, tengo un pequeño problema aquí. Supongamos que tengo: public class Repository<TEntity> where TEntity : class { public abstract void Add(TEntity entity); // ...and so on...

c# .net generics code-contracts 2010-10-17

---

18El calor

2Respuesta

¿Cuándo se deben usar los contratos de código que viene con C# 4.0?

yo estaba pasando por una pregunta sobre el SO que era alrededor de new features of c# 4.0 y la respuesta de Jon Skeet tenían Código función de los contratos de C# 4.0 .. pero realmente no puede enten

c# c#-4.0 code-contracts 2010-12-09

---

5El calor

2Respuesta

Crear contratos de código para una biblioteca heredada

El objetivo final es especificar contratos para una clase que reside en un ensamblaje externo que no tengo control (es decir, no puedo simplemente agregar contratos a esa clase directamente). Lo que h

c# code-contracts 2010-10-22

---

17El calor

2Respuesta

Pros/contras de diferentes métodos para probar las condiciones previas?

De la parte superior de mi cabeza, no puedo pensar en 4 formas de comprobar los argumentos nulos: Debug.Assert(context != null); Contract.Assert(context != null); Contract.Requires(context != null);

c# constraints assert code-contracts preconditions 2010-12-15

---

5El calor

1Respuesta

Error en la reescritura de los contratos de código: pedido de libpaths

Mi solución/proyecto funciona bien con contratos de código desactivados para este proyecto en particular. Cuando enciendo Realizo la comprobación de contrato de tiempo de ejecución en mi proyecto, la

.net msbuild code-contracts ccrewrite 2010-11-11

---