System.Diagnostics.Contracts Namnområde

Innehåller statiska metoder för att representera programkontrakt, till exempel förhandsvillkor, postkonditioner och objektvarianter.

Definierar förkortningar som du kan använda i stället för den fullständiga kontraktssyntaxen.

Aktiverar factoring av äldre if-then-throw kod i separata metoder för återanvändning och ger fullständig kontroll över undantag och argument som genereras.

Anger att en separat typ innehåller kodkontrakten för den här typen.

Anger att en klass är ett kontrakt för en typ.

Tillhandahåller metoder och data för ContractFailed händelsen.

Markerar en metod som den invarianta metoden för en klass.

Gör att du kan ange kontrakt- och verktygsalternativ vid sammansättning, typ eller metodkornighet.

Anger att ett fält kan användas i metodkontrakt när fältet har mindre synlighet än metoden.

Anger att en sammansättning är en referenssammansättning som innehåller kontrakt.

Identifierar en medlem som inte har något körningsbeteende.

Instruerar analysverktygen att anta korrektheten hos en sammansättning, typ eller medlem utan att utföra statisk verifiering.

Anger att en typ eller metod är ren, det vill säga att den inte gör några synliga tillståndsändringar.

Anger vilken typ av kontrakt som misslyckades.