Code Contracts Episodes

# 175 Code Contracts: Learning to use Interface Contracts

5/19/2010

Level: Intermediate

Author: Derik Whittaker

Tags: Dot Net Code Contracts

Views: (583) Watched: (2743)

n 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 this episode on the feature of adding contracts to interfaces via buddy classes. This is a powerful feature as it allows us to inherit our contracts from interfaces.
Check out other Episdoes on Contracts here

# 123 Exploring Code Contracts: Taking a look at Object Invariant Conditions

7/2/2009

Level: Intermediate

Author: Derik Whittaker

Tags: Dot Net Code Contracts

Views: (1079) Watched: (1805)

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

# 118 Exploring Code Contracts: Taking a look at Pre/Post Conditions

6/16/2009

Level: Intermediate

Author: Derik Whittaker

Tags: Dot Net Code Contracts

Views: (787) Watched: (1904)

In this episode we are going to take 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 setup pre and post condition validation.