System.Diagnostics.Contracts Obor názvů

Obsahuje statické třídy pro reprezentaci kontraktů programu, jako jsou předběžné podmínky, postpodmínky a invarianty.

Třídy

Contract	Obsahuje statické metody pro reprezentaci kontraktů programu, jako jsou předběžné podmínky, podmínky a invarianty objektů.
ContractAbbreviatorAttribute	Definuje zkratky, které můžete použít místo úplné syntaxe kontraktu.
ContractArgumentValidatorAttribute	Umožňuje faktoring starší verze if-then-throw kódu do samostatných metod pro opakované použití a poskytuje úplnou kontrolu nad vyvolaných výjimkami a argumenty.
ContractClassAttribute	Určuje, že samostatný typ obsahuje kontrakty kódu pro tento typ.
ContractClassForAttribute	Určuje, že třída je kontraktem pro typ.
ContractFailedEventArgs	Poskytuje metody a data pro ContractFailed událost.
ContractInvariantMethodAttribute	Označí metodu jako invariantní metodu pro třídu.
ContractOptionAttribute	Umožňuje nastavit kontrakt a možnosti nástrojů na úrovni sestavení, typu nebo členitosti metody.
ContractPublicPropertyNameAttribute	Určuje, že pole lze použít ve kontraktech metod, pokud je pole méně viditelné než metoda.
ContractReferenceAssemblyAttribute	Určuje, že sestavení je referenční sestavení, které obsahuje kontrakty.
ContractRuntimeIgnoredAttribute	Identifikuje člena, který nemá chování za běhu.
ContractVerificationAttribute	Dává analytickým nástrojům pokyn, aby převzaly správnost sestavení, typu nebo členu bez statického ověření.
PureAttribute	Označuje, že typ nebo metoda jsou čisté, to znamená, že neprovádí žádné viditelné změny stavu.

Výčty

ContractFailureKind

Určuje typ kontraktu, který selhal.