小编Sta*_*son的帖子

在组合使用代码分析和代码合同时,我会收到很多警告

CA1062:Microsoft.Design:在外部可见方法'Foo.Bar(Log)'中,在使用之前验证参数'log'.

在Foo.Bar,我有一份验证的合同log.

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

有没有办法让FxCop理解代码合约？