При совместном использовании анализа кода и контрактов кода я получаю много предупреждений, таких как
CA1062: Microsoft.Design: во внешне видимом методе 'Foo.Bar( Log)», проверьте параметр «log» перед его использованием.
В Foo.Bar у меня есть контракт, который проверяет log.
public Bar(Log log)
{
Contract.Requires(log != null);
log.Lines.Add(...);
// ...
}
Есть ли способ заставить FxCop понимать кодовые контракты?
Нет, я не думаю, что это возможно в текущей сборке, поскольку код, сгенерированный переписчиком контрактов, не создает стандартный шаблон, который ищет FxCop.
Обычно я отключаю это конкретное правило FxCop при использовании кодовых контрактов. Я считаю, что статический верификатор более чем компенсирует потерю этого правила, поскольку он будет кричать об отсутствии проверки гораздо агрессивнее, чем FxCop. Я бы предложил тот же подход, который решит эту проблему для вас.
Да, как указано в моем ответе здесь, начиная с версии 4.5.2 фреймворк (возможно, 4.5) можно информировать анализ кода о принудительном исполнении контрактов кода. Метод расширения и класс атрибута маркера должны быть определены следующим образом:
public static class ContractExtensions {
/// <summary>Throws <c>ContractException{name}</c> if <c>value</c> is null.</summary>
/// <param name="value">Value to be tested.</param>
/// <param name="name">Name of the parameter being tested, for use in the exception thrown.</param>
[SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "value")]
[SuppressMessage("Microsoft.Usage", "CA1801:ReviewUnusedParameters", MessageId = "name")]
[ContractAbbreviator] // Requires Assemble Mode = Standard Contract Requires
public static void ContractedNotNull<T>([ValidatedNotNull]this T value, string name) where T : class {
Contract.Requires(value != null,name);
}
}
/// <summary>Decorator for an incoming parameter that is contractually enforced as NotNull.</summary>
[AttributeUsage(AttributeTargets.Parameter, AllowMultiple = false)]
public sealed class ValidatedNotNullAttribute : global::System.Attribute {}
Дополнительные подробности в моем другом ответе.
ContractedNotNull) и подавляет предупреждение там.
- person BartoszKP; 14.09.2015
Укажите исключение ArgumentNullException следующим образом:
public Bar(Log log)
{
Contract.Requires<ArgumentNullException>(log != null);
log.Lines.Add(...);
// ...
}
Fxcop ожидает, что выдаст исключение ArgumentNullException...
