Czy można dokonać analizy kodu, aby zrozumieć, jakie są kontrakty kodowe?

Question

Podczas korzystania Code Analysis i umów kod w połączeniu, dostaję dużo ostrzeżeń jak

CA1062: Microsoft.Design: W widocznym z zewnątrz metodą „Foo.Bar (log)”, walidacji parametru „log” przed użyciem .

W Foo.Bar, mam umowę, która potwierdza log.

public Bar(Log log) 
{ 
    Contract.Requires(log != null); 
    log.Lines.Add(...); 
    // ... 
} 

Czy istnieje sposób, aby FxCop zrozumiał umowy na kod?

Answer 1

Nie Nie sądzę, że jest to możliwe w obecnej wersji, ponieważ kod generowany przez przebudowującego kontrakty nie generuje standardowego wzorca, którego szuka FxCop.

Zazwyczaj jednak wyłączam tę konkretną regułę FxCop podczas korzystania z kontraktów kodu. Uważam, że weryfikator statyczny bardziej niż rekompensuje utratę tej reguły, ponieważ będzie krzyczeć o braku sprawdzenia znacznie agresywniej niż FxCop. Sugerowałbym to samo podejście, które naprawi ten problem.

Answer 2

określić wyjątek ArgumentNullException takiego:

public Bar(Log log) 
{ 
    Contract.Requires<ArgumentNullException>(log != null); 
    log.Lines.Add(...); 
    // ... 
} 

FxCop spodziewa się, aby rzuca wyjątek ArgumentNullException ...

Answer 3

Tak, as noted in my answer here, od wersji 4.5.2 ram (ewentualnie 4.5) możliwe jest informowanie o analizie Code of the Code Code, która jest egzekwowana. Metoda rozszerzenia i klasa atrybutu znacznika muszą być zdefiniowane następująco:

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 {} 

Dodatkowe informacje znajdują się w mojej drugiej odpowiedzi.