Code Contracts trying to get build errors instead of warnings

Question

I'm trying to get VS2010 Ultimate with Code Contracts to generate Errors instead of Warnings.

I have this simple test program:

using System.Diagnostics.Contracts;

namespace MyError
{
  public class Program 
  {
     static void Main(string[] args)
     {
         Program prog = new Program();
         prog.Log(null);
     }

     public void Log(string msg)
     {
         Contract.Requires(msg != null);
     }
  }
}

It correctly determines there is a violation of the contract:

C:\...\Program.cs(10,13): warning : CodeContracts: requires is false: msg != null

In my csproj file there is this property field for Debug:

TreatWarningsAsErrors>true

Is there something else I have to set in the project settings to turn these into errors?

What's the reason for trying to enforce this, if I might ask? — koenmetsu, Dec 20 '10 at 16:11
i imagine its to make people write code that doesn't break the contracts. — John Nicholas, Jun 25 '11 at 11:17

score 2 · Answer 1 · answered Jun 02 '11 at 15:36

2

It looks like at this point Microsoft has elected not to make this possible, but they are considering it for the future: http://connect.microsoft.com/VisualStudio/feedback/details/646880/code-contracts-dont-listen-to-treat-warnings-as-errors-setting

answered Jun 02 '11 at 15:36

Curtis P

351
3
4

That link is now dead, unfortunately. – Igor Brejc Nov 14 '15 at 08:11

score 1 · Answer 2 · edited Aug 01 '16 at 14:34

1

The problem is that the code contracts use a rewriter. they show as warnings because they are only calculated after the build completes.

Well i don't really know how it works, but unless you built code contracts into the compiler i do not see how they could be anything but warnings / messages.

edited Aug 01 '16 at 14:34

sashoalm

75,001
122
434
781

answered Jun 25 '11 at 11:16

John Nicholas

4,778
4
31
50

Code Contracts trying to get build errors instead of warnings

2 Answers2