¿Dónde está Code Contracts en Visual Studio 2010?
Si has instalado ya Visual Studio 2010, observarás que al crear un nuevo proyecto y seleccionar las propiedades del proyecto, no verás ninguna solapa de Code Contracts.
La pregunta es… ¿dónde está Code Contracts en Visual Studio 2010?.
La respuesta es muy sencilla.
Visual Studio 2010 instala las clases de Code Contracts, pero no las herramientas.
Si quieres acceder a la solapa de Code Contracts en tu proyecto, tendrás que instalarte antes las tools o herramientas de Code Contracts.
Estas herramientas se instalarán en Visual Studio 2008 y Visual Studio 2010 indistintamente.
Recuerda que hay dos paquetes diferentes, la versión estándar y la
versión premium.
La versión estándar está pensada para las versiones Express de Visual
Studio, mientras que la versión premium está pensada para el resto de
versiones de Visual Studio.
La última versión que existe de Code Contracts por el momento es la
v1.2.30312.0. La instalación tardará unos minutos tras lo cual, podremos
localizar en la ventana de propiedades de un proyecto ahora sí, la
solapa de Code Contracts.
La página de descarga de las tools o herramientas de Code Contracts la encontrarás en este enlace.
Más información sobre Code Contracts en Microsoft Research.
3 Responsesso far
Muy oportuno, Jorge. Se ha hablado bastante de esto, y además, el hecho de que sean independientes del lenguaje les da un valor añadido.
Saludos
No me termina de convencer que instale las clases y no las herramientas.
Cuando haya un update de las clases, como se va a gestionar el tema? Por lo que tengo entendido en el framework 4.0, las clases de contracts van dentro de mscorlib… Debemos usar las de mscorlib o hacer referencia al assembly que se instala con Code Contracts?
En realidad, tal y como se indica en la página que referencias:
Code Contracts Standard Edition: This version installs if you have any edition of Visual Studio [[[other than the Express Edition]]]. It includes the stand-alone contract library, the binary rewriter (for runtime checking), the reference assembly generator, and a set of reference assemblies for the .NET Framework.
Es decir, no hay code contracts tools para las versiones Express, aparentemente?