Jun
09
In a recent post I wrote about Code Contracts in .NET. Now you can find a more detailed article on this topic at sharparena.com. In this article I’m providing more information and examples on:
- pre-conditions
- post-conditions
- object invariants
- asserts and assumptions
- quantifiers
In additions, you should check the official user documentation, which can be found here.
no comment untill now