Released: Code Contracts VS2012 Editor Extensions

Code Contracts is an experimental project from Microsoft Research which provides a language-agnostic way to express coding assumptions in .NET programs, thus allowing for improved testability, static verification at compile time and automatic API documentation. If you participated in my session about Code Contracts last week, then you already know that.

At my session, I said that Microsoft has not yet released the Code Contracts Editor Extensions for VS2012. Well that, my friends, has changed… Microsoft has just released the Code Contracts Editor Extensions for VS2012! This extension allows you display Code Contracts in code, Intellisense and in Metadata files, including inherited contracts and more.

Go ahead and try it out.