Resultados de la búsqueda a petición "code-contracts"
Contratos de Código .Net - ¿Dónde obtener más información? [cerrado
He escuchado recientemente una discusión en mi oficina sobre los "Contratos" .Net, sin embargo, cuando pregunté a algunos de mis compañeros de trabajo, ninguno de ellos podía explicarme fácilmente para qué servían, o para qué servían. Alguien ...
a excepción @ .NET detectada es inesperadamente nula
Vea a continuación una explicación de lo que está sucediendo Tengo un problema realmente extraño en el que la excepción detectada es nula. El código usa MEF y se esfuerza por informar errores de composición. Usando el depurador puedo ver la ...
Contratos de código: ¿Por qué algunos invariantes no se consideran fuera de la clase?
Considere este tipo inmutable: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(Path != null); } public Settings(string path) { Contract.Requires(path ...
Utilidad de System.Diagnostics.Contracts en cuestión
He estado jugando con la nueva clase System.Diagnostics.Contracts porque al principio parecía muy útil. Métodos estáticos para verificar argumentos entrantes, valores de retorno, etc. Era una interfaz limpia y podía reemplazar muchas ...
Código de contratos. ¿Cómo suprimir las advertencias sobre el código generado?
¿Cómo puedo desactivar las comprobaciones estáticas en mi código Linq2Sql?
¿Cómo incluyo ensambles de contrato en el nupkg automáticamente?
Acabo de comenzar a usar nuget para crear algunos paquetes para una biblioteca interna en nuestra empresa. Esta biblioteca se compone de muchos conjuntos, y muchos de ellos tienen conjuntos de referencia de contrato generados a partir ...
Code Contract: ccrewrite salió con el código -1?
Soy nuevo en los contratos de código. Descargué la última compilación del proyecto de contrato de código (1.4.40314.1) y comencé a implementarlo en mi proyecto. Cuando habilité 'Runtume Checking' a través de la pestaña de contratos de código en ...
Diseño por contratos y constructores.
Estoy implementando mi propia ArrayList para fines escolares, pero para darle un poco de sabor estoy tratando de usar los Contratos de Código C # 4.0. Todo estuvo bien hasta que necesité agregar contratos a los constructores. ¿Debo agregar ...
Los contratos de código para .NET 3.5 arruinan el depurador de VS10
Recientemente migré muchas pruebas de precondición manual y lanzamiento de excepciones con contratos de código. En lugar de actualizar a .NET 4, he estado usando elMicrosoft.Contracts.dll ensamblado para poder seguir usando .NET 3.5 un poco más ...
CodeContracts: la condición booleana se evalúa como un valor constante, ¿por qué?
Recibo esta advertencia pero no puedo resolver el problema ... CodeContracts: advertencia: la condición booleana d1.Count! = D2.Count siempre se evalúa como un valor constante. Si aparece (o su negación) en el código fuente, es posible que tenga ...