System.Diagnostics.Contracts Obor názvů

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

Definuje zkratky, které můžete použít místo úplné syntaxe kontraktu.

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.

Určuje, že samostatný typ obsahuje kontrakty kódu pro tento typ.

Určuje, že třída je kontraktem pro typ.

Poskytuje metody a data pro ContractFailed událost.

Označí metodu jako invariantní metodu pro třídu.

Umožňuje nastavit kontrakt a možnosti nástrojů na úrovni sestavení, typu nebo členitosti metody.

Určuje, že pole lze použít ve kontraktech metod, pokud je pole méně viditelné než metoda.

Určuje, že sestavení je referenční sestavení, které obsahuje kontrakty.

Identifikuje člena, který nemá chování za běhu.

Dává analytickým nástrojům pokyn, aby převzaly správnost sestavení, typu nebo členu bez statického ověření.

Označuje, že typ nebo metoda jsou čisté, to znamená, že neprovádí žádné viditelné změny stavu.

Určuje typ kontraktu, který selhal.