visual studio tutorial - Standard precondition in Code Contracts - microsoft studio - microsoft visual

using System.Diagnostics.Contracts;

public int DivideNumbers(int numerator, int denominator)
{
    Contract.Requires(denominator != 0);

    return numerator / denominator;
}

click below button to copy the code. By Visual studio tutorial team