Myślę o rozpoczęciu użytkowaniaUmowy kontraktowe w mojej bazie kodu.

Używam już analizy kodu z włączonymi wszystkimi regułami i celem zero ostrzeżeń.

Jednak podczas używaniaContract.Requires(parameter != null) Otrzymuję ostrzeżenie z analizy kodu, a mianowicie CA1062:

CA1062: Microsoft.Design: W zewnętrznie widocznej metodzie „Foo” sprawdź poprawność parametru „parametr” przed jego użyciem.

To niefortunne, nie chcę wyłączać tej reguły, ponieważ uważam ją za przydatną. Ale nie chcę też tłumić każdego fałszywego wystąpienia.

Czy istnieje rozwiązanie?