Parece haber cierta confusión acerca de si Code Contracts está o no incluido en el marco que viene con beta 2 de VS2010, o incluso en VS2010. La publicación Code Contracts forum (y, especialmente, this) tiene varias menciones de esto sin respuestas hasta el momento.
No creo que Code Contracts esté bajo el encabezado de análisis de código estático. Creo que el análisis de código estático se refiere a otras herramientas de análisis de código como FxCop.
He intentado usar Contract.Requires en VS2010 beta 2 ultimate edition, pero tengo el mismo comportamiento que usted. Si observa las propiedades del proyecto en la pestaña Análisis de Código, puede habilitar el análisis de código, pero esto no se relaciona con los Contratos de Código.
De acuerdo con el comentario de Melitta (a partir de las bibliotecas de clases Equipo Base) sobre el artículo de conexión Make data contract static checking available in Professional Edition:
... pero la restricción a la herramienta de análisis estático es sinónimo de este próximo lanzamiento. Mantiene constante la historia del análisis de código, ya que las herramientas de análisis estático requieren VSTS.
Esto sugiere que tendrá (tendrá que tener la versión del sistema del equipo para obtener la versión en tiempo de compilación de Contratos de código.
¿Ya hay una "edición de equipo" en vs2010? La matriz de características no lo muestra. –
Creo que las versiones de Team System se convierten en la versión definitiva de 2010 (http://www.microsoft.com/visualstudio/en-gb/products/msdn/default.mspx#roadmap) – adrianbanks