Exploring Code Contracts: Taking a look at Object Invariant Conditions

Taking a look at the new Code Contracts library which is out of MS Research and will be part of .Net 4.0/Vs2010. Contracts allow for many different ways to perform language agnostic code validation and in this episode we are going to focus on how to utilize the Object Invariant checking to maintain an objects state.