Code Contracts for your Interface

So by now, you have probably heard a lot about “code contracts”, a new feature in .NET 4.0 that allows you to decorate your methods and properties with things like pre- and post conditions. I’ve seen them mentioned a lot and I’ve seen quite a few basic demos that explain the different types of contracts ...