Channel 9 gör en snabb demonstration av kommande/existerande(med nedladdning) funktionalitet för att lägga på kod-kontrakt med hjälp av pre- och post-conditions.

Dessa delar kommer att ingå i .NET 4.0 men finns redan nu att ladda ned till Visual Studio
Se filmen på:
http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/


"Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts.

The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site. They will be part of the .Net framework 4.0!!!"

Mycket intressant, detta har jag inte sett sedan jag pluggade Eiffel för en herrans massa år sedan...