共用方式為


Contract.EnsuresOnThrow 方法

定義

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

多載

EnsuresOnThrow<TException>(Boolean)

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

EnsuresOnThrow<TException>(Boolean, String)

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

EnsuresOnThrow<TException>(Boolean)

來源:
Contracts.cs
來源:
Contracts.cs
來源:
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

要測試的條件運算式。

屬性

備註

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

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

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

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

適用於

EnsuresOnThrow<TException>(Boolean, String)

來源:
Contracts.cs
來源:
Contracts.cs
來源:
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")]
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 時所顯示的訊息。

屬性

備註

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

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

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

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

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

適用於