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

A period of stability

Rocky says In both those cases there was a 5-6 year window when the platforms were slow-changing, the dev tools were mature, and disru...