Contract doesn't work

Question

I am stuck on a problem with System.Diagnostics.Contracts.

If I use Contract.Requires(condition), then all works as expected. But I need a custom Exception, so I tried Contract.Requires<ToShortException>(condition).

When condition was false, I expected a ToShortException but I got nothing. In the debugger I can see, that this line was ignored.

ToShortException is a public class which implements Exception and has 3 public constructors.

Has anyone an idea what I am doing wrong?

The Exception class:

public class ToShortException : Exception
{
    public ToShortException()
    {
    }

    public ToShortException(string message) : base(message)
    {
    }

    public ToShortException(string message, Exception inner) : base(message, inner)
    {

    }
}

Method of a class:

    public IDictionary<string, string> getIncident(string name)
    {
        Contract.Requires(!string.IsNullOrWhiteSpace(name)); //works fine
        Contract.Requires<ToShortException>(name.Length == 7); //got not checked

        return _original.getIncident(name);
    }

Is your question possibly related to [this](https://stackoverflow.com/questions/14991647/throwing-an-exception-vs-contract-requirest)? — vonludi, Dec 07 '17 at 10:36
I think not, but `if-then-throw` was a alternative. But the whole project works fine with `Contracts` (except for this line). — akop, Dec 07 '17 at 10:45

score 1 · Accepted Answer · answered Dec 07 '17 at 11:12

1

I found the solution. "Project Settings -> Code Contracts -> Assembly Mode" has to be "Standard Contract Requires".

The default-value was "Custom Parameter Validation".

answered Dec 07 '17 at 11:12

akop

5,981
6
24
51

Contract doesn't work

1 Answers1