System.Diagnostics.Contracts Przestrzeń nazw
Ważne
Niektóre informacje odnoszą się do produktu w wersji wstępnej, który może zostać znacząco zmodyfikowany przed wydaniem. Firma Microsoft nie udziela żadnych gwarancji, jawnych lub domniemanych, w odniesieniu do informacji podanych w tym miejscu.
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 |
| 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. |
