Code Contracts indicate the expected input states under which the method guarantees to operate correctly.
Posted by: EggHeadCafe.com New Articles,
on 27 Aug 2011 |
View original | Bookmarked: 0 time(s)
How to ensure your method guarantees to operate correctly under defined expected input states with Code Contracts.
Contracts act as checked documentation of your external and internal APIs to be shipped. The code contracts are used to improve testing via runtime-checking, enable static contract verification. read more
By Cosmos Mysore