.NET Code Contracts

1Historical.cs

public static int Divide(int number, int divisor)
{
    if (divisor == 0) throw new Exception();

2New.cs

public static int Divide(int number, int divisor)
{
	Contract.Requires(divisor != 0);

3Divide.cs

public static double Divide(int number, int divisor)
{
	Contract.Requires(divisor > 0);

	return number / divisor;
}

4Divide.cs

Divide(1, 2);
Divide(1, 0);

5Test.cs

 public static void TestCodeContract(int value)
{
	TestLimits(105);
	TestLimits(95);
	TestLimits(115);
}

public static void TestLimits(int i)
{
	 Contract.Requires(i > 100);
	 Contract.Requires(i < 110);

	//Do Something
}

6TestCodeContract.cs

 public static void TestCodeContract(int value)
{
	TestLimits(value); 
}

7TestCodeCOntract2.cs

public static void TestCodeContract(int value)
{
	if(value > 100 && value < 110)
		TestLimits(value); 
}