Code Contracts Extensions

Project Description

The Code Contracts Extensions project adds features to Microsoft's Code Contracts.

The Extensions contain a small bunch of extension methods I created to provide centralized comparison logic for Code Contracts clauses.
They also provide support for object contract validation and lazy contract evaluation.


References

The current Code Contracts Extensions release accompanies the January-February 2010 CoDe Magazine Code Contracts article:
http://www.code-magazine.com/Article.aspx?quickid=1001101

Many of the strategies used in the Code Contracts Extensions are inspired by Microsoft's Enterprise Library Validation Application Block:
http://msdn.microsoft.com/en-us/library/dd140088.aspx

Code Contracts are provided by DevLabs:
http://msdn.microsoft.com/devlabs