Freigeben über


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.