Dieser Artikel wurde manuell übersetzt. Bewegen Sie den Mauszeiger über die Sätze im Artikel, um den Originaltext anzuzeigen. |
Übersetzung
Original
|
System.Diagnostics.Contracts-Namespace
Enthält statische Klassen zum Darstellen von Programmverträgen, z. B. Vorbedingungen, Nachbedingungen und Invarianten.
| Klasse | Beschreibung | |
|---|---|---|
|
Contract | Enthält statische Methoden zum Darstellen von Programmverträgen, z. B. Vorbedingungen, Nachbedingungen und Objektinvarianten. |
|
|
ContractClassAttribute | Gibt an, dass ein separater Typ die Codeverträge für diesen Typ enthält. |
|
|
ContractClassForAttribute | Gibt an, dass eine Klasse ein Vertrag für einen Typ ist. |
|
|
ContractFailedEventArgs | Stellt Methoden und Daten für das Contract.ContractFailed-Ereignis bereit. |
|
|
ContractInvariantMethodAttribute | Markiert eine Methode als invariante Methode für eine Klasse. |
|
|
ContractPublicPropertyNameAttribute | Gibt an, dass ein Feld in Methodenverträgen verwendet werden kann, wenn die Sichtbarkeit des Felds geringer ist als die der Methode. |
|
|
ContractReferenceAssemblyAttribute | Gibt an, dass eine Assembly eine Verweisassembly ist, die Verträge enthält. |
|
|
ContractRuntimeIgnoredAttribute | Identifiziert einen Member ohne Laufzeitverhalten. |
|
|
ContractVerificationAttribute | Weist Analysetools an, die Korrektheit einer Assembly, eines Typs oder eines Members ohne statische Überprüfung anzunehmen. |
|
|
PureAttribute | Gibt an, dass ein Typ oder eine Methode rein ist, d. h., keine sichtbaren Zustandsänderungen vornimmt. |
| Enumeration | Beschreibung | |
|---|---|---|
|
ContractFailureKind | Gibt den Typ des fehlgeschlagenen Vertrags an. |
Community-Inhalt
Hinzufügen
