Posso usare SuppressMessage su un metodo framework?

Question

Vorrei implementare il seguente suggerimento di 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) 

Ci si sente come dovrei essere in grado di utilizzare SupressMessage con l'attributo di destinazione per rendere questo accada. Tuttavia, poiché questo è un metodo di Framework, non sono sicuro.

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

Come faccio a sopprimere a livello globale questo avvertimento, in modo da non dover basale o sopprimere tutte le avvertenze 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

Dopo ulteriori indagini con il ranomoro, sembra esserci un errore nei Contratti di codice.

La classe a cui si accede tramite n => n.Value ha una proprietà generica T Value. Se la classe viene modificata in una classe non generica (con object Value), l'avviso scompare. (Una classe generica con object Value fornisce anche l'avviso).

Naturalmente, questo non risponde alla domanda originale, ma non credo sia possibile farlo.

Answer 2

dare uno sguardo alla scheda Costruisci delle vostre proprietà del progetto. C'è un campo "Elimina avvisi".

/nowarn (C# Compiler Options)

Answer 3

1. Aggiungi GlobalSuppressions.cs alla radice del progetto.

2. Aggiungi la tua [modulo ...

3. Sostituire il modulo di parola con il montaggio.

Funziona?

Answer 4

In realtà funziona. È possibile aggiungere un SupressMessageAttribute al metodo che contiene l'espressione. Basta non usare RequiresAtCall. Invece, utilizzare 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); 
} 

Lo svantaggio evidente è che si dovrà gesso il codice con questi ...