# 172 - Code Contracts: Validating state with Assert, Assume, ForAll, Exists


4/29/2010
Level: Beginner
Tags: Dot Net Refactoring
Comments: (1)
Author:
Derik Whittaker


In this episode we are going to take 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.
Click here to Watch this Episode

Download (17.27 MB) (7:28) (1440x900)
Download (10.91 MB) (7:28) (960x600)

Links/Resources:


Comments: (1)

kennettan said....

Oakley Sunglasses outlet, enjoy <a href="http://www.knockoffoakleys.co.uk/"><strong>Cheap Oakley Sunglasses</strong></a> at our oakley online store with big discount,fast shipping and no sale tax. Buy Fake Oakley Sunglasses in <a href="http://www.fakeoakleysreplicas.net/"><strong>fake oakleys</strong></a> Shop.Fake Oakley Sunglasses store supplies large selection of cheap oakley sunglasses to you, all <a href="http://www.fakeoakleysbiz.com/"><strong>foakleys</strong></a> sale with good quality and low price. Welcome To Order them.
http://www.fakeoakleysbiz.com/
http://www.fakeoakleysreplicas.net/
http://www.knockoffoakleys.co.uk/


7/5/2014 2:54:12 AM


Name: *
Email (not displayed): *
Url:
Comments: *



So, you Human...?