Looking for .net Answers? Try Ask4KnowledgeBase
Looking for .net Keywords? Try Ask4Keywords

.NET FrameworkКодовые контракты


замечания

Кодовые контракты позволяют компилировать или анализировать временные условия методов и инвариантных условий для объектов. Эти условия могут использоваться для обеспечения того, чтобы вызывающие и возвращаемые значения соответствовали действительным состояниям для обработки приложений. Другие виды использования кодовых контрактов включают в себя создание документации.

Кодовые контракты Связанные примеры