¿Puedo usar contratos de código .NET 4 y seguir siendo compatible con .NET 3.5?

Question

.NET 4 introdujo Contratos de código como una nueva característica. Me gustaría utilizar CC, pero proporciono archivos que aún se pueden ejecutar en 3.5 SP1. ¿Es eso posible? ¿Solo puedo usar partes de la nueva funcionalidad? Al parecer, es posible que CC solo haga comprobaciones estáticas sin ser incluido en los archivos binarios, ¿es correcto?

Soy consciente de que CC estaba disponible para 3.5 como módulo separado, ¿es esta una solución viable en caso de que no pueda usar la versión 4 de CC? ¿Hay alguna diferencia en el conjunto de características?

Answer 1

Me gustaría usar CC, pero proporciono los archivos que todavía se pueden ejecutar en 3.5 SP1. ¿Es eso posible?

No puede usar .NET 4.0 CC pero puede usar Microsoft.Contracts.dll que es el ensamblado de 3.5 CC.

Al parecer, es posible tener CC sólo los controles estáticos sin ser incluidos en los ficheros binarios, es que correcta?

Sí. La edición premium incluye el verificador estático, pero necesita VS2008 Team System o VS2010 Premium/Ultimate para usar Code Contracts Premium Edition.

estoy consciente de CC estaba disponible para 3.5 como módulo separado, se trata de una solución factible en caso de que no pueda usar la versión 4 de CC?

Sí, todavía está disponible. Obtenlo de http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx

Answer 2

Sí, puede usar Contratos de código con .NET 3.5 (pero es prudente desarrollarlo con Visual Studio 2010 para que pueda obtener soporte para herramientas). Simplemente descargue el MSI desde el Code Contracts web site, instale y copie los archivos DLL desde C:\Program Files (x86)\Microsoft\Contracts\Contracts\v3.5 a su solución y haga referencia explícitamente al Microsoft.Contracts.dll en todos los proyectos que lo utilicen.

Si usted está limitado a una versión anterior de Visual Studio de 2010, o una versión de 2010 que no tiene el apoyo Código de contrato, puede ejecutar ccrewrite.exe, ccrefgen.exe y ccdocgen.exe (ubicado en C:\Program Files (x86)\Microsoft\Contracts\Bin) desde la línea de comandos como post build event.