Code Contracts: Hiding ContractException

added by gpeipman
5/5/2010 2:30:54 AM

0 Kicks, 102 Views

It’s time to move on and improve my randomizer I wrote for an example of static checking of code contracts. In this posting I will modify contracts and give some explanations about pre-conditions and post-conditions. Also I will show you how to avoid ContractExceptions and how to replace them with your own exceptions.