Sdílet prostřednictvím


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.