System.Diagnostics.Contracts Namespace

Enthält statische Methoden zum Darstellen von Programmverträgen, z. B. Vorbedingungen, Nachbedingungen und Objektinvarianten.

Definiert Abkürzungen, die Sie anstelle der vollständigen Vertragssyntax verwenden können.

Aktiviert die Verarbeitung von Legacy if-then-throw-Code in separate Methoden zur Wiederverwendung und stellt die vollständige Kontrolle über ausgelösten Ausnahmen und Argumenten bereit.

Gibt an, dass ein separater Typ die Codeverträge für diesen Typ enthält.

Gibt an, dass eine Klasse einen Vertrag für einen Typ darstellt.

Stellt Methoden und Daten für das ContractFailed-Ereignis bereit.

Kennzeichnet eine Methode als invariante Methode für eine Klasse.

Ermöglicht es Ihnen, Vertrags- und Tool-Optionen in der Assembly, am Typ oder Methodengranularität festzulegen.

Gibt an, dass ein Feld in den Methodenverträgen verwendet werden kann, wenn das Feld eine geringere Sichtbarkeit aufweist als die Methode.

Gibt an, dass eine Assembly eine Verweisassembly mit Verträgen ist.

Gibt einen Member an, der kein Laufzeitverhalten aufweist.

Weist die Analysetools an, die Richtigkeit einer Assembly, eines Typs oder Members ohne statische Überprüfung anzunehmen.

Gibt an, dass ein Typ bzw. eine Methode rein ist, d. h. er bzw. sie nimmt keine sichtbaren Zustandsänderungen vor.

Gibt den Typ des fehlgeschlagenen Vertrags an.