Code Contracts: Validating state with Assert, Assume, ForAll, Exists

added by dwhittaker
5/6/2010 1:32:32 PM


Taking a look at how to utilize some additional features in the Code Contracts library to validate the state of our application. We are going to focus our efforts here to learn how to use Assert and Assume to validate a given value in our code. We will also learn how to use ForAll and Exists, which can be used to validate content inside of an array or a collection.