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:
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
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…
Read More Code Contracts in Visual Studio 2010