코드 분석에서 코드 계약을 이해할 수 있습니까? Microsoft.Design : 코드 분석과 함께 코드 계약을 사용하여

Question

, 나는

CA1062 같은 경고를 많이 얻을 외부에서 볼 수있는 방법 'Foo.Bar (로그인)'에서 사용하기 전에 '로그인'매개 변수의 유효성을 검사 .

Foo.Bar에서 log의 유효성을 검사하는 계약이 있습니다.

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

FxCop이 코드 계약을 이해할 수있는 방법이 있습니까?

Answer 1

아니요 계약서 작성자가 생성 한 코드가 FxCop이 찾고있는 표준 패턴을 생성하지 않기 때문에 현재 빌드에서는 가능하지 않다고 생각합니다.

일반적으로 코드 계약을 사용할 때이 특정 FxCop 규칙을 사용하지 않지만. 정적 검증자는 FxCop보다 훨씬 적극적으로 점검하지 않는 것에 대해 큰 소리로 외칠 것입니다. 나는 당신을 위해이 문제를 해결할 동일한 접근을 제안 할 것이다.

Answer 2

이 같은 경우 ArgumentNullException 예외 지정 체계 버전 4.5.2로,

가

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

의 FxCop가에 기대하는 경우 ArgumentNullException 예외가 발생 ...

Answer 3

예 as noted in my answer here을 (아마도 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 {} 

추가 세부 사항은 다른 대답입니다.