{"id":1893,"date":"2009-03-04T15:03:00","date_gmt":"2009-03-04T15:03:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/dotnet\/2009\/03\/04\/preview-of-code-contract-tools-now-available\/"},"modified":"2021-10-04T15:44:51","modified_gmt":"2021-10-04T22:44:51","slug":"preview-of-code-contract-tools-now-available","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/dotnet\/preview-of-code-contract-tools-now-available\/","title":{"rendered":"Preview of Code Contract Tools Now Available"},"content":{"rendered":"

We’ve mentioned Code Contracts over on the <\/span>BCL Blog<\/span><\/a> a few times now, but never yet on the CLR Blog.  <\/span>Basically, Code Contracts are a way to add preconditions, post-conditions, and object invariants to your code.  <\/span>The goal is to help you catch developer errors earlier in the cycle.  <\/span>In my <\/span>Introduction to Code Contracts<\/span><\/a> post, I gave an overview of what had been included in the .NET Framework 4.0 CTP.  <\/span>I also mentioned that the tools to enable runtime checking and static analysis were not included in the .NET Framework 4.0 CTP.<\/span><\/p>\n

On Monday, we released a preview version of the Code Contracts tools on the <\/span>DevLabs<\/span><\/a> site.  <\/span>DevLabs is a site for getting preview releases of innovative new projects for developers out to the community.  <\/span>You can read more about it on <\/span>Soma’s introductory blog post<\/span><\/a>.  <\/span>The specific Code Contracts page on DevLabs can be found <\/span>here<\/span><\/a>.<\/span><\/p>\n

The tools include a binary rewriter to enable runtime checking, a static checker, a new project pane for VS projects, and an updated copy of the Code Contract library that was shipped in the aforementioned CTP.  <\/span>For more details on what these are, you can check out the <\/span>Code Contracts page<\/span><\/a>, which includes an overview, a video on how to get started, an FAQ, and other useful information.  <\/span>You can also check out the <\/span>documentation<\/span><\/a> (PDF), or get an overview in <\/span>Soma’s recent post on Code Contracts<\/span><\/a>.<\/span><\/p>\n

This current release is targeted at Visual Studio 2008 Team System and can be used for commercial development.  <\/span>The academic release that can be used for non-commercial use on any Visual Studio 2008 edition except Express can still be found on the <\/span> <\/span>Contracts page<\/span><\/span><\/a> on the Microsoft Research site.<\/span><\/p>\n

This release also comes with more ways to provide feedback and get answers.  <\/span>In my introductory post on the BCL Blog, I mentioned the Code Contracts thread on the Pex forum.  <\/span>Now Code Contracts has its own <\/span>forum<\/span><\/a>.  <\/span>So please go try out these new tools and tell us what you think.<\/span><\/p>\n

Thanks,
Melitta Andersen
Program Manager, CLR<\/span><\/p>\n

<\/span> <\/p><\/p>\n","protected":false},"excerpt":{"rendered":"

We’ve mentioned Code Contracts over on the BCL Blog a few times now, but never yet on the CLR Blog.  Basically, Code Contracts are a way to add preconditions, post-conditions, and object invariants to your code.  The goal is to help you catch developer errors earlier in the cycle.  In my Introduction to Code Contracts […]<\/p>\n","protected":false},"author":342,"featured_media":58792,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[685],"tags":[],"class_list":["post-1893","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-dotnet"],"acf":[],"blog_post_summary":"

We’ve mentioned Code Contracts over on the BCL Blog a few times now, but never yet on the CLR Blog.  Basically, Code Contracts are a way to add preconditions, post-conditions, and object invariants to your code.  The goal is to help you catch developer errors earlier in the cycle.  In my Introduction to Code Contracts […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/posts\/1893","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/users\/342"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/comments?post=1893"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/posts\/1893\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/media\/58792"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/media?parent=1893"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/categories?post=1893"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/dotnet\/wp-json\/wp\/v2\/tags?post=1893"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}