Using contract abbreviator methods

Abbreviator methods are a great addition to the features of code contracts. They allow us to create a single abbreviator method that contains often used or grouped code contracts. This means that we can simplify our code and make it more readable.

Getting ready

We will create two methods with the same code contract requirements. We will then simplify the methods under contract by implementing an abbreviator method to contain the code contracts.

How to do it…

1. Before you go on, ensure that you have added the code contracts using statement to the top of your Recipes.cs class file:

   using System.Diagnostics.Contracts;

2. Consider the following methods before you add them. We have two methods here, and each method requires that the parameter passed to it is not equal to zero and that the result is also not zero. The implementation within each method is different, but the code contracts applied are identical. To avoid a situation where code contracts are unnecessarily...