ContractFailureKind 列舉
定義
重要
部分資訊涉及發行前產品,在發行之前可能會有大幅修改。 Microsoft 對此處提供的資訊,不做任何明確或隱含的瑕疵擔保。
指定失敗的合約類型。
public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind =
Public Enum ContractFailureKind
- 繼承
欄位
Assert | 4 | Assert 合約失敗。 |
Assume | 5 | Assume 合約失敗。 |
Invariant | 3 | Invariant 合約失敗。 |
Postcondition | 1 | Ensures 合約失敗。 |
PostconditionOnException | 2 | EnsuresOnThrow 合約失敗。 |
Precondition | 0 | Requires 合約失敗。 |
備註
ContractFailureKind 列舉型別是由 System.Diagnostics.Contracts.ContractFailedEventArgs 類別所使用。
適用於
意見反應
https://aka.ms/ContentUserFeedback。
即將登場:在 2024 年,我們將逐步淘汰 GitHub 問題作為內容的意見反應機制,並將它取代為新的意見反應系統。 如需詳細資訊,請參閱:提交並檢視相關的意見反應