Tuesday, January 25, 2011

.NET 4.0 (Code Contracts) - 1

Code Contracts

Code Contracts provide a way to specify preconditions, postconditions and object invariants.

Improved Testing
Automatic Testing Tools
Static Verification
Reference Documentation


Click the Project Properties Context Menu

If you don't see Code Contracts, download and install code contracts from the following link

Run the solution

PostCondition Code Contract

Object Invariant

1 comment:

c programming said...

Very useful stuff. Keep it up. Thanks.