我可以在框架方法上使用 SuppressMessage 吗？

Question

我想实现 CodeContracts 的以下建议：

CodeContracts: MyModule: Method MyModule.MyClass.MyMethod: 
To mask *all* warnings issued like the precondition add the attribute: 

[SuppressMessage("Microsoft.Contracts", "RequiresAtCall-propertyAccessor != null")] 

to the method 

System.Linq.Expressions.Expression.Property(System.Linq.Expressions.Expression,System.Reflection.MethodInfo)

感觉我应该能够使用带有 Target 属性的 SupressMessage 来实现这一点。但是，因为这是一个框架方法，所以我不确定。

//doesn't work
[module: SuppressMessage("Microsoft.Contracts", "RequiresAtCall-propertyAccessor != null", Scope = "Member", Target = "System.Linq.Expressions.Expression.Property(System.Linq.Expressions.Expression,System.Reflection.MethodInfo)", Justification = "This isn't covered by Linq Contracts yet.")]

如何全局抑制此警告，这样我就不必设定基线或抑制所有调用站点警告？

EDIT: The specific usage that requires this measure is:

void mymethod()
{
    var myObserver = new PropertyObserver<MyViewModel>();
    //this line throws the error, within the n => n.Value expression
    myObserver.RegisterHandler(n => n.Value, OnValueChanged);
}

public class PropertyObserver<TPropertySource> where TPropertySource : INotifyPropertyChanged
{
    public PropertyObserver<TPropertySource> RegisterHandler(
        Expression<Func<TPropertySource, object>> expression,
        Action<TPropertySource> handler)
    {
        //what this does is irrelevant; the violation  occurs in the method call
    }
}

//n => n.Value decompiles to the following
public static MemberExpression Property (Expression expression, MethodInfo   propertyAccessor)
{
    //and this line is the message I want to suppress, but it's in the .NET framework.
    ContractUtils.RequiresNotNull(propertyAccessor, "propertyAccessor");
    ValidateMethodInfo(propertyAccessor);
    return Property (expression, GetProperty(propertyAccessor));
}

Answer 1

经过对 ranomore 的进一步调查，代码合约中似乎存在一个错误。

通过 n => 访问的类n.Value 具有通用的 T Value 属性。如果该类更改为非泛型类（带有object Value），则警告就会消失。 （带有object Value 的泛型类也会给出警告）。

当然，这并没有回答最初的问题，但我认为不可能做到这一点。

Answer 2

1. 将 GlobalSuppressions.cs 添加到项目的根目录。

2. 添加您的[模块...

3. 将单词模块替换为程序集。

那有用吗？

Answer 3

它确实有效。您可以将 SupressMessageAttribute 添加到包含表达式的方法。只是不要使用RequiresAtCall。相反，使用 Requires：

[SuppressMessage("Microsoft.Contracts", "Requires",
                 Justification = "Bug in static checker")]
public void Override(AutoMapping<Bookings> mapping)
{
    Contract.Assume(mapping != null);

    mapping.Id(x => x.Id);
}

明显的缺点是您必须在代码中添加这些...