tags:

views:

311

answers:

2
+4  Q: 

Code Contract's properties in Visual Studio 2010 Pro RC

So it seems there should be a "Code Contracts" tab in Visual Studio 2010's properties. I can't find it anywhere. Maybe it's a problem with my Visual Studio installation? I am running the RC version.

This is what I have:

alt text

Anyone knows what might be wrong? Maybe I am looking in the wrong place?

Thanks

+4  A: 

You have to download and install code contracts first. Even then, you'll only get run-time checking of contracts. Static checking requires the premium edition of visual studio.

Wim Coenen  2010-02-15 00:18:51
+2  A: 

Have you actually installed the Code Contracts stuff from DevLabs?

LukeH  2010-02-15 00:19:39
Ah, I assumed it came with VS 2010? It even has the System.Diagnostics.Contracts namespace and so loaded into VS.
devoured elysium  2010-02-15 00:34:04
My understanding is that although `System.Diagnostics.Contracts` is included in .NET 4 you also need the separate install to get the tools and the VS integration.
LukeH  2010-02-15 00:39:02

related questions

Displaying Flash content in a C# WinForms application
How to get the value of built, encoded ViewState?
Unhandled Exception Handler in .NET 1.1
How do I connect to a database and loop over a recordset in C#?
How do I most elegantly express left join with aggregate SQL as LINQ query
Get a new object instance from a Type in C#
.NET Testing Framework Advice
Automatically update version number
What is the difference between an int and an Integer in Java/C#?
How to write to Web.Config in Medium Trust ?
WinForms ComboBox data binding gotcha
How do you sort a C# dictionary by value?
Adding Scripting functionality to .NET applications
Floating Point Number parsing: Is there a Catch All algorithm?
How do I print an HTML document from a web service?
Decoding T-SQL CAST in C#/VB.net
Anatomy of a "Memory Leak"
How do I get a distinct, ordered list of names from a DataTable using Linq
Reliable Timer in a Console Application
How do I fill a DataSet or a DataTable from a LINQ query resultset ?
What's the difference between Math.Floor() and Math.Truncate() in .NET?
How do I calculate relative time?
How do I calculate someone's age in C#?
Are there any conversion tools for porting Visual J# code to C#?
When setting a form's opacity should I use a decimal or double?