Code Contracts: Learning to use Interface Contracts

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 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.