Могу ли я использовать SuppressMessage для метода фреймворка? - PullRequest
5 голосов
/ 23 декабря 2011

Я хотел бы реализовать следующее предложение от 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)

Такое чувство, что я должен иметь возможность использовать SupressMessage с атрибутом Target, чтобы это произошло. Однако, поскольку это метод Framework , я не уверен.

//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));
}

Ответы [ 4 ]

3 голосов
/ 13 января 2012

После еще одного исследования с ranomore, похоже, есть ошибка в Code Contracts.

Класс, доступ к которому осуществляется через n => n.Value, имеет общее свойство T Value.Если класс изменяется на неуниверсальный класс (с object Value), предупреждение исчезает.(Универсальный класс с object Value также выдает предупреждение).

Конечно, это не отвечает на первоначальный вопрос, но я не думаю, что это возможно сделать.

0 голосов
/ 21 февраля 2013

Это на самом деле работает.Вы можете добавить 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);
}

Очевидным недостатком является то, что вам придется наложить свой код с этими ...

0 голосов
/ 07 января 2012
  1. Добавьте GlobalSuppressions.cs в корневой каталог проекта.

  2. Добавьте ваш [модуль ...

  3. Замените словесный модуль сборкой.

Это работает?

0 голосов
/ 23 декабря 2011

Взгляните на вкладку Build свойств вашего проекта.Есть поле «Подавить предупреждения».

/ nowarn (параметры компилятора C #)

...