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.