ContractFailureKind 列舉
定義
重要
部分資訊涉及發行前產品，在發行之前可能會有大幅修改。 Microsoft 對此處提供的資訊，不做任何明確或隱含的瑕疵擔保。
指定失敗的合約類型。
public enum class ContractFailureKindpublic enum ContractFailureKindtype ContractFailureKind = Public Enum ContractFailureKind- 繼承
欄位
| 名稱 | 值 | Description |
|---|---|---|
| Precondition | 0 | 合約 Requires 失敗了。 |
| Postcondition | 1 | 合約 Ensures 失敗了。 |
| PostconditionOnException | 2 | 合約 EnsuresOnThrow 失敗了。 |
| Invariant | 3 | 合約 Invariant 失敗了。 |
| Assert | 4 | 合約 Assert 失敗了。 |
| Assume | 5 | 合約 Assume 失敗了。 |
備註
ContractFailureKind 列舉是由 System.Diagnostics.Contracts.ContractFailedEventArgs 類別使用。
