Wie 'maskiert' Behauptungen in MS-Code finden Contracts

Question

ich von CodeContracts in meiner Fehlerliste die folgende Meldung Ebene Eintrag haben:

CodeContracts: 410 Behauptungen überprüft: 404 korrekt (6 maskiert)

ich kann nicht herausfinden:

1. Welche maskierte Behauptungen sind
2. Wie die 6 zu finden, dass es erwähnt
3. Ob oder nicht sollte ich über sie besorgt sein

Sorry für die nicht-Code veröffentlichen ... Ich habe keine Ahnung, wie diese in einer kleinen Probe neu erstellen :)

Vielen Dank

Answer 1

Es ist einfach, in Ihren Projekteigenschaften> Code Contracts> Statische Prüfung> setzen Sie die Warnung auf "hi".

Jetzt ccCheck machte mehr Warnung.

Tschüss.

Answer 2

Diese scheinen Behauptungen sein, die aufgrund ihrer Aufnahme in die "Baseline" -Datei maskiert sind. Aus der Dokumentation (Hervorhebung von mir):

6.6.8 Baseline

eine vorhandene Codebasis auf einen Punkt bringen, wo die verier nur ein paar Warnungen aussendet ist dicult und zeitaufwendig, da es zahlreiche Verträge erfordert die Zugabe . Um die Verwendung von Verträgen für vorhandene Codebasen zu vereinfachen und Warnungen zu fokussieren, die durch neue Code- oder Codeänderungen eingeführt werden, kann die Baseline-Funktionalität verwendet werden.

Um die Baseline-Funktionalität zu verwenden, aktivieren Sie das Kontrollkästchen Baseline und geben Sie einen Dateinamen zum Speichern der Baseline ein. Der Pfad ist relativ zum Projektausgabeverzeichnis. Wenn die Analyse ausgeführt wird und die Baseline-Datei nicht existiert, wird die Baseline erstellt. Während dieses Laufs werden alle Warnungen in der Ausgabe angezeigt und in der Baseline-Datei als XML gespeichert.

Wenn die Analyse ausgeführt wird und die Baseline-Datei vorhanden ist, fungiert die Baseline als Filter und Warnungen, die bereits in der Baseline gefunden wurden, werden nicht erneut angezeigt. Neue Warnungen werden angezeigt und in einer Datei mit der Bezeichnung <baseline>.new gespeichert, wobei <baseline> der Dateiname der Baseline-Datei ist. Da die Dateien als XML-Text gespeichert sind, können Sie sie bearbeiten und der Baseline zusätzliche Fehler hinzufügen. Das Format hängt nicht von der Methodenreihenfolge ab, und zusätzliche XML-Tags zum Gruppieren können frei eingeführt werden.

Ich fragte mich auch über die "maskierten" Nachrichten; Ich habe die Option "Baseline" deaktiviert und sie erschienen nicht mehr. Die Antwort auf Ihre zweite Frage scheint daher das Kontrollkästchen "Baseline" zu deaktivieren.

Ob Sie sich darüber Sorgen machen sollten, würde ich sagen, ja, Sie sollten.