Contract.Ensures в течение OverflowException

Question

У меня есть простой метод, который возвращает экспоненциальное значение из заданного числа:

public int Exp(int num) 
    { 
     return Convert.ToInt32(System.Math.Exp(num)); 
    } 

При запуске PEX я получаю OverflowException в поле Описание/Exception для некоторого большого числа: 1969057606.

Как создать состояние почты с помощью Contract.Ensure()? я попытался следующий, но это не делает ничего:

Contract.Ensures(Contract.Result<int>() < 2147483647); 

// This is because the max value an int variable can hold is 2147483647 

Answer 1

Contract.Ensures используется утверждать что-то о состоянии своего класса после того, как функция выполняется, или, в данном случае, результат функции независимо из чего был вход. Вам необходимо добавить контракт. Соответствует e^num < = int.MaxValue, например.

Contract.Requires<ArgumentOutOfRangeException>(num <= Math.Floor(Math.Log(int.MaxValue))) 

Хотя вы, вероятно, захотите вывести вычисление максимального значения в константу.

public static readonly int MAX_EXPONENT = Math.Floor(Math.Log(int.MaxValue)); 
... 
Contract.Requires<ArgumentOutOfRangeException>(num <= MAX_EXPONENT)