Resultados de la búsqueda a petición "code-contracts"
Libros sobre contratos de código en C # 4.0 [cerrado]
Aunque conozco los contratos de código desde hace algún tiempo, como lo he usado un poco en Java, me gustaría comenzar a usarlos en C #, ahora que son parte de C # 4.0. Estoy buscando material de aprendizaje, libros o videos. Aunque los ...
Contratos de código: ¿Cómo lidiar con las interfaces heredadas?
Estoy usando MS Code Contracts y me he encontrado con un problema al usar la herencia de interfaz y los atributos ContractClassFor. Dadas estas interfaces y clases de contrato: [ContractClass(typeof(IOneContract))] interface IOne { ...
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 ...
Contratos de código: invariantes en clase abstracta
He encontrado un problema al usar Invariantes con contratos de código. Quiero definir una Invariante dentro de mi clase abstracta, pero simplemente se ignora. El siguiente código muestra mi interfaz y la clase ...
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 ...
¿Cuál es la mejor alternativa para los contratos de código en Visual Studio 2015?
Estoy buscando validar los parámetros del método en mi código, de la manera más elegante posible. Los contratos de código no parecen funcionar en 2015. ¿Alguien usa alguna alternativa?
.net 4.0 Contratos de código. ¿Cuándo usar? ¿Cuándo son una pérdida de tiempo?
He estado estudiando contratos de código .NET 4.0 y buscando en stackoverflow, así como preguntas relacionadas con esto. Todavía no he encontrado ningún código de muestra que use contratos de código, así que me pregunto ... ¿esto es realmente ...
¿Se garantiza que los contratos de código se evalúen antes de llamar a los constructores encadenados?
Antes de comenzar a usar los Contratos de Código, a veces me encontraba con problemas relacionados con la validación de parámetros cuando utilizaba el encade...
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 ...