C#: кодовые контракты против обычной проверки параметров

Question

Рассмотрим следующие две части кода:

    public static Time Parse(string value)
    {
        string regXExpres = 
           "^([0-9]|[0-1][0-9]|2[0-3]):([0-9]|[0-5][0-9])$|^24:(0|00)$";
        Contract.Requires(value != null);
        Contract.Requires(new Regex(regXExpres).IsMatch(value));
        string[] tokens = value.Split(':');
        int hour = Convert.ToInt32(tokens[0], CultureInfo.InvariantCulture);
        int minute = Convert.ToInt32(tokens[1], CultureInfo.InvariantCulture);
        return new Time(hour, minute);
    }

а также

    public static Time Parse(string value)
    {
        if (value == null)
        {
            throw new ArgumentNullException("value");
        }
        string[] tokens = value.Split(':');
        if (tokens.Length != 2)
        {
            throw new FormatException("value must be h:m");
        }
        int hour = Convert.ToInt32(tokens[0], CultureInfo.InvariantCulture);
        if (!(0 <= hour && hour <= 24))
        {
            throw new FormatException("hour must be between 0 and 24");
        }
        int minute = Convert.ToInt32(tokens[1], CultureInfo.InvariantCulture);
        if (!(0 <= minute && minute <= 59))
        {
            throw new FormatException("minute must be between 0 and 59");
        }
        return new Time(hour, minute);
    }

Я лично предпочитаю первую версию, потому что код намного понятнее и меньше, и Контракты можно легко отключить. Но недостатком является то, что Visual Studio Code Analysis обвиняет меня в том, что я должен проверить значение параметра на ноль, а контракты конструктора не понимают, что регулярное выражение гарантирует, что минута и час находятся в заданных границах.

Поэтому я получаю много неправильных предупреждений и не вижу способа проверить строковые значения с помощью контрактов, не приведя к исключениям FormatExceptions, кроме проверки RegEx.

Любые предложения, как бы вы решили эту и аналогичные ситуации, используя контракты Code?

Answer 1

Для того, чтобы избавиться от предупреждений, вы можете использовать Contract.Assume