Code Contracts Extensions (CoDe Magazine article)

Rating: No reviews yet
Downloads: 491
Released: Dec 16, 2009
Updated: Jan 11, 2010 by DevInstinct
Dev status: Stable Help Icon

Recommended Download

Source Code Full Code Sample
source code, 128K, uploaded Dec 17, 2009 - 451 downloads

Other Available Downloads

Source Code Code Sample w/o Pex
source code, 44K, uploaded Dec 17, 2009 - 40 downloads

Release Notes

This first release provides the support code for the related Code Contracts article in the January-February 2010 issue of CoDe Magazine.
It introduces Code Contracts and the Extensions in an example using the Entity Framework and Pex.
http://www.code-magazine.com/Article.aspx?quickid=1001101

The solution is VS2008, but can be converted and used as-is with VS2010 Beta 2.
Units tests were generated by Pex.

The code has been tested with the following versions:
  • Code Contracts 1.2.21023.14
  • Pex 0.19.41110.1
Reminder
You need to install Code Contracts and Pex separately from VS2008 & VS2010. They are available on Microsoft DevLabs at http://msdn.microsoft.com/devlabs
The sample also requires SQL Express (or better) and the AdventureWorksLT2008 database from http://www.codeplex.com/MSFTDBProdSamples

Note
If you want to download the Code Contracts Extensions only, you can do it there: http://ccextensions.codeplex.com/SourceControl/ListDownloadableCommits.aspx

Reviews for this release

No reviews yet for this release.