System.Diagnostics.Contracts Namespace

Enthält statische Klassen zum Darstellen von Programmkonstrukten, z. B. Vorbedingungen, Nachbedingungen und Invarianten.

Klassen

Contract	Enthält statische Methoden zum Darstellen von Programmverträgen, z. B. Vorbedingungen, Nachbedingungen und Objektinvarianten.
ContractAbbreviatorAttribute	Definiert Abkürzungen, die Sie anstelle der vollständigen Vertragssyntax verwenden können.
ContractArgumentValidatorAttribute	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.
ContractClassAttribute	Gibt an, dass ein separater Typ die Codeverträge für diesen Typ enthält.
ContractClassForAttribute	Gibt an, dass eine Klasse einen Vertrag für einen Typ darstellt.
ContractFailedEventArgs	Stellt Methoden und Daten für das ContractFailed-Ereignis bereit.
ContractInvariantMethodAttribute	Kennzeichnet eine Methode als invariante Methode für eine Klasse.
ContractOptionAttribute	Ermöglicht es Ihnen, Vertrags- und Tool-Optionen in der Assembly, am Typ oder Methodengranularität festzulegen.
ContractPublicPropertyNameAttribute	Gibt an, dass ein Feld in den Methodenverträgen verwendet werden kann, wenn das Feld eine geringere Sichtbarkeit aufweist als die Methode.
ContractReferenceAssemblyAttribute	Gibt an, dass eine Assembly eine Verweisassembly mit Verträgen ist.
ContractRuntimeIgnoredAttribute	Gibt einen Member an, der kein Laufzeitverhalten aufweist.
ContractVerificationAttribute	Weist die Analysetools an, die Richtigkeit einer Assembly, eines Typs oder Members ohne statische Überprüfung anzunehmen.
PureAttribute	Gibt an, dass ein Typ bzw. eine Methode rein ist, d. h. er bzw. sie nimmt keine sichtbaren Zustandsänderungen vor.

Enumerationen

ContractFailureKind

Gibt den Typ des fehlgeschlagenen Vertrags an.