пятница, 28 августа 2009 г.

Code Contracts - декларативное описание параметров вызова для методов .Net

"Contracts allow you to express preconditions, postconditions and object invariants in your code for runtime
checking, static analysis, and documentation. This document covers how to author them in your code, and
contains guidelines for using them e ectively with the provided tools.
All of the contract methods are static methods de ned in the Contract class which appears in the
System.Diagnostics .Contracts namespace."
Кажется, это уже было в Smalltalk. Теперь вот возвращается :-)


http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx

http://research.microsoft.com/en-us/projects/contracts/userdoc.pdf

Code Contracts обещают встроить в C# 4.0 и MSVS 2010. Сейчас доступен в виде библиотеки

Комментариев нет: