CC Предложив Резервируемой обеспечивает

Question

У меня есть кусок кода, который выглядит немного как это:

public TReturn SubRegion(TParam foo) 
{ 
    Contract.Requires(foo!= null); 
    Contract.Ensures(Contract.Result<TReturn>() != null); 

    if (!CheckStuff(foo)) 
     foo.Blah(); 
    return OtherStuff(foo); 
} 

CC дает мне предупреждение:

Предупреждение 301 CodeContracts: Рассмотрите возможность добавления договора постусловия. Обеспечивает (Contract.Result()! = Null); предоставить дополнительную документацию библиотечным клиентам

Это, очевидно, полностью избыточно! У меня есть несколько таких избыточных предупреждений, и это становится проблемой (реальные предупреждения зарываются в поток избыточных предложений).

Поэтому у меня есть два вопроса:

1) Могу ли я что-то отсутствую, что означает, что это не лишняя рекомендация? В этом случае, что мне нужно сделать, чтобы исправить это предупреждение?

2) В качестве альтернативы, если это просто причуда CCCheck и не может быть исправлена, как я могу скрыть или подавить это предупреждение?

N.b. На всякий случай, если вы думаете, что в моем примере отсутствует что-то важное, полный код - это метод SubRegionhere.

Answer 1

Что касается 2: documentation довольно хорошо, посмотрите на 6.6.10 Фильтрация Предупреждающие сообщения:

Поручить статический контракт проверки не испускают особый класс предупреждений для метода (тип, сборка), аннотировать метод (тип, сборка) с атрибутом:

[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Contracts", warningFamily)] 

, где warningFamily является одним из: Requires, Ensures, Invariant, NonNull, ArrayCreation, ArrayLowerBound, ArrayUpperBound, DivByZero, MinValueNegation.

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

[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Contracts", warningFamily-ILOffset-MethodILOffset)] 

где warningFamily находится в выше, и ILOffset и MethodILOffset используются статической контракта проверки, чтобы определить точку программы предупреждения относится. Смещение может быть получено из статической проверки контрактов на , обеспечивающее включение -outputwarnmasks в записи «Пользовательские настройки» в панели VS. Проверьте окно сборки вывода для необходимой информации .