CC Vorschlagen Redundante Sorgt

Question

Ich habe ein Stück Code, die ein wenig wie folgt aussieht:

public TReturn SubRegion(TParam foo) 
{ 
    Contract.Requires(foo!= null); 
    Contract.Ensures(Contract.Result<TReturn>() != null); 

    if (!CheckStuff(foo)) 
     foo.Blah(); 
    return OtherStuff(foo); 
} 

CC gibt mir eine Warnung:

Warning 301 CodeContracts: Betrachten Sie die Nachbedingung Vertrag hinzufügen. Stellt sicher (Contract.Result()! = Null); um den Bibliothekskunden eine zusätzliche Dokumentation zu liefern

Das ist offensichtlich völlig redundant! Ich habe mehrere solche redundanten Warnungen und es wird ein Problem (echte Warnungen werden in einem Strom von redundanten Vorschlägen begraben).

So habe ich zwei Fragen:

1) Bin ich etwas fehlt, was bedeutet, das ist nicht eine redundante Empfehlung? In welchem ​​Fall muss ich diese Warnung beheben?

2) Alternativ, wenn dies nur eine Frage von CCCheck ist und nicht behoben werden kann, wie kann ich diese Warnung verstecken oder unterdrücken?

N.b. Nur für den Fall, dass Sie meinen, dass in meinem Beispiel etwas Wichtiges fehlt, ist der vollständige Code die Subregion Methode here.

Answer 1

Zu 2: Die documentation ist ziemlich gut, einen Blick auf 6.6.10 Filtering Warnmeldungen:

die statische Vertragsprüfung anzuweisen, nicht eine bestimmte Klasse von Warnungen für ein Verfahren zu emittieren (a-Typ, eine Baugruppe), mit Anmerkungen versehen, das Verfahren (der Typ, die assembly) mit dem Attribut:

[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Contracts", warningFamily)] 

warningFamily wo eines von: Requires, Ensures, Invariant, NonNull, ArrayCreation, ArrayLowerBound, ArrayUpperBound, DivByZero, MinValueNegation.

Bei Bedarf kann die statische Vertragsprüfung auch eine einzelne Warnmeldung (anstelle einer ganzen Familie) filtern. Um dies zu tun Sie eine Methode mit dem Attribute mit Anmerkungen versehen können

[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Contracts", warningFamily-ILOffset-MethodILOffset)] 

wo warningFamily ist als oben und ILOffset und MethodILOffset durch den statischen checker Vertrag verwendet werden, um den Programmpunkt zu bestimmen, die Warnung bezieht sich auf. Die Offsets können vom statischen Kontraktprüfer unter abgerufen werden, indem Sie den Schalter -outputwarnmasks im Bereich "Benutzerdefinierte Optionen" in im VS-Bereich bereitstellen. Überprüfen Sie das Build-Ausgabefenster auf die notwendigen Informationen.