%archive_title% | Marius Bancila's Blog

May 31, 2009 1 comment

Code Contracts in Visual Studio 2010

Visual Studio 2010 has support for code contracts that allow to express pre-, post-conditions and invariants to your .NET code. Let’ say you want to create a function to return a random value in a range. This could look like it:

    class Program
    {
        Random rng = new Random();

        public int GetRandom(int min, int max)
        {
            return rng.Next(min, max);
        }

        static void Main(string[] args)
        {
            Program p = new Program();
            int n1 = p.GetRandom(10, 20);
            int n2 = p.GetRandom(10, 10);
        }
    }

class Program

{

Random rng = new Random();

public int GetRandom(int min, int max)

{

return rng.Next(min, max);

}

static void Main(string[] args)

{

Program p = new Program();

int n1 = p.GetRandom(10, 20);

int n2 = p.GetRandom(10, 10);

}

However, at a rough analysis one can find two problems: Second call to…