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.
.NET, article, C++, code contracts, sharparena Hits for this post: 14766 .
I am please to announce the launch of Sharparena.com, a developer community focused on the .NET framework and the # languages, C#, F# and J#.
This is an English site where you can ask questions about C#, F#, J# and the .NET framework in general, publish articles and stay up to date with news about the development on the .NET framework.
Here are some links:
On the main site you’ll find a series of FAQs about using the site. Consider reading the following for registering and publishing:
See you there!
community, forum, sharparena, site Hits for this post: 8167 .