Resultados de la búsqueda a petición "code-contracts"
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 { ...
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 ...
¿Estoy implementando este simple contrato incorrectamente?
Este es mi código: public class RegularPolygon { public int VertexCount; public double SideLength; public RegularPolygon(int vertexCount, double sideLength) { Contract.Requires(vertexCount >= 3); VertexCount = vertexCount; SideLength ...
Microsoft Code Contracts y el servidor de compilación de CI
Estamos migrando a .NET 4 y estamos muy interesados en implementar nuevas capacidades de diseño por contrato. Tal como lo conocemosCódigo de contrato [http://research.microsoft.com/en-us/projects/contracts/]el motor requiere la instalación ...
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 ...
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 ...
Cómo se configura Pex para respetar los contratos de código?
Dado el siguiente código de ejemplo, ¿cómo puedo configurar Pex para respetar mis contratos de código? public static IEnumerable<User> Administrators(this UserGroup userGroup) { Contract.Requires(userGroup != null); ...
¿Qué tan maduro es el marco de contratos de código de Microsoft?
Microsoft ha lanzado recientemente un lanzamiento de su Contratos de código [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx] framework en DevLabs con una licencia comercial. Estamos interesados en usarlos en nuestro ...
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 ...