System.Diagnostics.Contracts Obor názvů
Důležité
Některé informace platí pro předběžně vydaný produkt, který se může zásadně změnit, než ho výrobce nebo autor vydá. Microsoft neposkytuje žádné záruky, výslovné ani předpokládané, týkající se zde uváděných informací.
Obsahuje statické třídy pro reprezentaci programových kontraktů, jako jsou předpoklady, postconditions a invarianty.
Třídy
| Name | Description |
|---|---|
| Contract |
Obsahuje statické metody pro reprezentaci programových kontraktů, jako jsou předpoklady, postconditions a invarianty objektů. |
| ContractAbbreviatorAttribute |
Definuje zkratky, které můžete použít místo úplné syntaxe kontraktu. |
| ContractArgumentValidatorAttribute |
Umožňuje faktoring starších verzí |
| ContractClassAttribute |
Určuje, že samostatný typ obsahuje kontrakty kódu pro tento typ. |
| ContractClassForAttribute |
Určuje, že třída je kontrakt pro typ. |
| ContractFailedEventArgs |
Poskytuje metody a data události ContractFailed . |
| ContractInvariantMethodAttribute |
Označí metodu jako invariantní metodu pro třídu. |
| ContractOptionAttribute |
Umožňuje nastavit možnosti kontraktu a nástroje při členitosti sestavení, typu nebo metody. |
| ContractPublicPropertyNameAttribute |
Určuje, že pole lze použít v kontraktech metod, pokud pole má menší viditelnost než metoda. |
| ContractReferenceAssemblyAttribute |
Určuje, že sestavení je referenční sestavení, které obsahuje kontrakty. |
| ContractRuntimeIgnoredAttribute |
Identifikuje člena, který nemá žádné chování za běhu. |
| ContractVerificationAttribute |
Dává analytickým nástrojům pokyn, aby bez statického ověření předpokládal správnost sestavení, typu nebo člena. |
| PureAttribute |
Označuje, že typ nebo metoda je čistý, to znamená, že neprovádí žádné viditelné změny stavu. |
Výčty
| Name | Description |
|---|---|
| ContractFailureKind |
Určuje typ kontraktu, který selhal. |
