What are code contracts?
Code contracts help you to express the code assumptions and statements stating the behavior of your code in a language-neutral way. The contracts are included in the form of pre-conditions, post-conditions and object-invariants. The contracts help you to improve-testing by enabling run-time checking, static contract verification, and documentation generation.
The System.Diagnostics.Contracts namespace contains static classes that are used to express contracts in your code.
The System.Diagnostics.Contracts namespace contains static classes that are used to express contracts in your code.
What are code contracts?
![What are code contracts?]()
Reviewed by Anonymous
on
Saturday, May 18, 2013
Rating:
No comments: