Udostępnij za pośrednictwem


System.Diagnostics.Contracts Przestrzeń nazw

Zawiera klasy statyczne do reprezentowania kontraktów programu, takich jak warunki wstępne, terminy końcowe i niezmienne.

Klasy

Contract

Zawiera metody statyczne reprezentujące kontrakty programu, takie jak warunki wstępne, terminy końcowe i niezmienne obiekty.

ContractAbbreviatorAttribute

Definiuje skróty, których można użyć zamiast pełnej składni kontraktu.

ContractArgumentValidatorAttribute

Umożliwia uwzględnianie starszego if-then-throw kodu w oddzielne metody ponownego użycia i zapewnia pełną kontrolę nad zgłoszonymi wyjątkami i argumentami.

ContractClassAttribute

Określa, że oddzielny typ zawiera kontrakty kodu dla tego typu.

ContractClassForAttribute

Określa, że klasa jest kontraktem typu.

ContractFailedEventArgs

Udostępnia metody i dane dla ContractFailed zdarzenia.

ContractInvariantMethodAttribute

Oznacza metodę jako niezmienną metodę klasy.

ContractOptionAttribute

Umożliwia ustawianie opcji kontraktu i narzędzi na poziomie szczegółowości zestawu, typu lub metody.

ContractPublicPropertyNameAttribute

Określa, że pole może być używane w kontraktach metod, gdy pole ma mniejszy wgląd niż metoda.

ContractReferenceAssemblyAttribute

Określa, że zestaw jest zestawem odniesienia zawierającym kontrakty.

ContractRuntimeIgnoredAttribute

Identyfikuje członka, który nie ma zachowania w czasie wykonywania.

ContractVerificationAttribute

Instruuje narzędzia do analizy, aby zakładały poprawność zestawu, typu lub elementu członkowskiego bez przeprowadzania weryfikacji statycznej.

PureAttribute

Wskazuje, że typ lub metoda jest czysta, czyli nie wprowadza żadnych widocznych zmian stanu.

Wyliczenia

ContractFailureKind

Określa typ kontraktu, który zakończył się niepowodzeniem.