code-contracts

8El calor

2Respuesta

Contratos de código: agradable, al límite, pero no está listo para el horario de máxima audiencia.

Me quedé realmente cautivado por los contratos de código introducidos en .NET 4 (aunque con la ayuda de DevLabs). Pero una letra pequeña me refrescó un poco. Esto es lo que dice: Actualmente no hay so

7El calor

2Respuesta

Generar contratos para objetos REST

Soy nuevo en REST y parece que debería ser bastante simple. En una aplicación .NET, puedo crear una referencia a un servicio WCF y los contratos para todos los tipos disponibles se generarán para mí.

5El calor

1Respuesta

.NET 4 Contratos de código: "require unproven: source! = Null"

Acabo de empezar a usar contratos de código en mi proyecto. Sin embargo, tengo un problema con la implementación de mi repositorio, que consulta mi base de datos utilizando Entity Framework. que tiene

5El calor

2Respuesta

¿Cómo decir los contratos de código que un delegado especificado como argumento es puro?

Considere el siguiente código: int SomeField; void Foo([Pure] Func<int, object> getData) { Contract.Requires(getData != null); Contract.Requires(getData(this.SomeField) != null); } me s

8El calor

1Respuesta

¿Cómo uso los contratos de código en .NET 4.0 sin hacer que mi código se vea desordenado?

Empecé a usar Contratos de código y he descubierto que dificulta detectar inmediatamente las 'agallas' de un método. tomar esto (muy simple) ejemplo: public static void UserAddNew(string domain, strin

5El calor

2Respuesta

excepción de atributo condicional con el Código de Contratos

me estoy haciendo una excepción cuando se utiliza contratos de código en el siguiente código: public void Debug( dynamic message1, dynamic message2 = null, dynamic message3 = null,

5El calor

1Respuesta

Contratos de código: IEnumerator <T> .GetEnumerator() raro contrato heredado?

Estoy usando Code Contracts junto con el complemento Code Contracts Editor Extensions VS2010. Tengo una clase que implementa la interfaz IEnumerable<T>, y he implementado un bloque iterador para el mé

6El calor

2Respuesta

¿Por qué no se prueba esta llamada Contract.Ensure basada en cadenas?

Tengo el siguiente código en mi aplicación .Net 4: static void Main(string[] args) { Func(); } static string S = "1"; static void Func() { Contract.Ensures(S != Contract.OldValue(S));

6El calor

1Respuesta

¿Se deberían usar contratos de código para la seguridad?

¿Hay alguna razón por la cual no usaría Contratos de código para hacer cumplir las reglas comerciales? Imagine que tiene una clase User que representa un usuario único de un sistema y define las accio

28El calor

3Respuesta

Contratos de código - Suponer vs Requiere

¿Cuál es la diferencia entre estas dos afirmaciones? Contract.Requires(string.IsNullOrWhiteSpace(userName)); Contract.Assume(string.IsNullOrWhiteSpace(userName));