ReSharper, неиспользуемые параметры и DbC, утверждает и т. Д.?

Question

Если у меня есть следующие:

void Foo(Bar bar, Baz baz) 
{ 
    // Do something with bar, but not with baz. 
} 

... то ReSharper предупреждает меня "'Базем Parameter никогда не используется." и окрашивает его в серый цвет. Это полезный намек на то, что я могу избавиться от него.

С другой стороны, если у меня есть следующие:

void Foo(Bar bar, Baz baz) 
{ 
    Require.ArgumentNotNull(bar); 
    Require.ArgumentNotNull(baz); 

    // Some code that used to do something with bar and baz, 
    // but has been changed to no longer use baz. 
} 

... то ReSharper думает, что используется «Баз», и не предупреждает меня. Есть ли аннотация ReSharper, которую я могу использовать в ArgumentNotNull, чтобы сообщить ReSharper, что этот метод действительно не «использует» этот параметр и все еще выдаёт подсказку?

Answer 1

Если вы аннотируете метод Require.ArgumentNotNull с помощью атрибута [AssertionMethod] (из библиотеки аннотаций ReSharper), то ReSharper выдаст предупреждение «Параметр используется только при предварительных проверках».

Похоже, это решает вашу проблему.

Примечание: Это применимо к ReSharper 7.0, необходимо проверить, как устаревшая версия справится с этим.