System.Diagnostics.Contracts Naamruimte

Bevat statische methoden voor het weergeven van programmacontracten, zoals voorwaarden, postconditions en object-invarianten.

Definieert afkortingen die u kunt gebruiken in plaats van de volledige contractsyntaxis.

Maakt het instellen van factoring van verouderde if-then-throw code mogelijk in afzonderlijke methoden voor hergebruik en biedt volledige controle over gegenereerde uitzonderingen en argumenten.

Hiermee geeft u op dat een afzonderlijk type de codecontracten voor dit type bevat.

Hiermee geeft u op dat een klasse een contract voor een type is.

Biedt methoden en gegevens voor de ContractFailed gebeurtenis.

Markeert een methode als de invariante methode voor een klasse.

Hiermee kunt u opties voor contracten en hulpprogramma's instellen bij assembly, type of methodegranulariteit.

Hiermee geeft u op dat een veld kan worden gebruikt in methodecontracten wanneer het veld minder zichtbaarheid heeft dan de methode.

Hiermee geeft u op dat een assembly een referentieassembly is die contracten bevat.

Identificeert een lid dat geen runtimegedrag heeft.

Instrueert analysehulpprogramma's om uit te gaan van de juistheid van een assembly, type of lid zonder statische verificatie uit te voeren.

Geeft aan dat een type of methode puur is, dat wil gezegd dat er geen zichtbare statuswijzigingen worden aangebracht.

Hiermee geeft u het type contract op dat is mislukt.