Contract.EnsuresOnThrow 方法

定義

命名空間:

System.Diagnostics.Contracts

組件:

System.Diagnostics.Contracts.dll

根據所提供的例外狀況和條件，針對封入方法或屬性指定後置條件合約。

多載

EnsuresOnThrow<TException>(Boolean)	根據所提供的例外狀況和條件，針對封入方法或屬性指定後置條件合約。
EnsuresOnThrow<TException>(Boolean, String)	針對封入方法或屬性來指定後置條件合約，和當條件是 false 時，根據所提供之例外狀況和條件來顯示的訊息。

EnsuresOnThrow<TException>(Boolean)

來源:

Contracts.cs

根據所提供的例外狀況和條件，針對封入方法或屬性指定後置條件合約。

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)

Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean)

類型參數

TException

例外狀況類型，其會叫用後置條件檢查。

參數

condition

Boolean

要測試的條件運算式。

屬性

ConditionalAttribute

備註

參數condition會指定當封入方法或屬性異常終止且擲回型TException別例外狀況時，預期的true後置條件。

• 這個方法呼叫必須在方法或屬性的開頭，才能進行任何其他程序代碼。

• 此合約會公開給用戶端;因此，它只能參考至少與封入方法一樣可見的成員。

• 您必須使用二進位重寫器來強制執行此後置條件。

EnsuresOnThrow<TException>(Boolean, String)

來源:

Contracts.cs

針對封入方法或屬性來指定後置條件合約，和當條件是 false 時，根據所提供之例外狀況和條件來顯示的訊息。

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string? userMessage) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool * string -> unit (requires 'Exception :> Exception)

Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean, userMessage As String)

類型參數

TException

例外狀況類型，其會叫用後置條件檢查。

參數

condition

Boolean

要測試的條件運算式。

userMessage

String

當運算式是 false 時所顯示的訊息。

屬性

ConditionalAttribute

備註

參數condition會指定當封入方法或屬性異常終止且擲回型TException別例外狀況時，預期的true後置條件。 如果條件為 false，參數message會指定要顯示的訊息。

• 這個方法呼叫必須在方法或屬性的開頭，才能進行任何其他程序代碼。

• 此合約會公開給用戶端;因此，它只能參考至少與封入方法一樣可見的成員。

• 您必須使用二進位重寫器來強制執行此後置條件。

• 如果 userMessage 不是常數位串常值，則工具可能無法瞭解合約。