¿Puedo usar SuppressMessage en un método de framework?

Question

me gustaría poner en práctica la siguiente sugerencia de 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) 

Se siente como que debería ser capaz de utilizar SupressMessage con el atributo de destino para que esto suceda. Sin embargo, como este es un método Framework, no estoy seguro.

//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.")] 

¿Cómo puedo suprimir esta advertencia a nivel mundial, por lo que no tienen a la línea base o suprimir todas las advertencias callsite?

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

Después de algunas investigaciones más con ranomore, parece que hay un error en los Contratos de Código.

La clase a la que se accede a través de n => n.Value tiene una propiedad genérica T Value. Si la clase se cambia a una clase no genérica (con object Value), la advertencia desaparece. (Una clase genérica con object Value también da la advertencia).

Por supuesto, esto no responde a la pregunta original, pero no creo que sea posible hacerlo.

Answer 2

Eche un vistazo a la pestaña Construir de las propiedades de su proyecto. Hay un campo "Suprimir advertencias".

/nowarn (C# Compiler Options)

Answer 3

1. Añadir GlobalSuppressions.cs a raíz del proyecto.

2. Haz tu [... módulo de

3. sustituir el módulo de palabra con el montaje.

¿Eso funciona?

Answer 4

Realmente funciona. Puede agregar SupressMessageAttribute al método que contiene la expresión. Simplemente no use RequiresAtCall. En su lugar, utilice 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); 
} 

La desventaja obvia es que usted tendrá que revoque su código con estos ...