次の方法で共有


Contract.Requires メソッド

定義

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定します。

オーバーロード

Requires(Boolean)

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定します。

Requires(Boolean, String)

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合はメッセージを表示します。

Requires<TException>(Boolean)

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合は例外をスローします。

Requires<TException>(Boolean, String)

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合は指定されたメッセージで例外をスローします。

Requires(Boolean)

ソース:
Contracts.cs
ソース:
Contracts.cs
ソース:
Contracts.cs

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定します。

public:
 static void Requires(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool -> unit
Public Shared Sub Requires (condition As Boolean)

パラメーター

condition
Boolean

テストする条件式。

属性

注釈

  • このメソッド呼び出しは、他のコードの前に、メソッドまたはプロパティの先頭にある必要があります。

  • このコントラクトはクライアントに公開されます。したがって、少なくとも外側のメソッドと同じくらい見えるメンバーのみを参照する必要があります。

  • 下位互換性によって特定の例外が Contract.Requires<TException>(Boolean) スローされない場合は、 メソッドの代わりにこのメソッドを使用します。

適用対象

Requires(Boolean, String)

ソース:
Contracts.cs
ソース:
Contracts.cs
ソース:
Contracts.cs

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合はメッセージを表示します。

public:
 static void Requires(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string? userMessage);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool * string -> unit
Public Shared Sub Requires (condition As Boolean, userMessage As String)

パラメーター

condition
Boolean

テストする条件式。

userMessage
String

条件が false の場合に表示するメッセージ。

属性

注釈

  • このメソッド呼び出しは、他のコードの前に、メソッドまたはプロパティの先頭にある必要があります。

  • このコントラクトはクライアントに公開されます。したがって、少なくとも外側のメソッドと同じくらい見えるメンバーのみを参照する必要があります。

  • 下位互換性によって特定の例外が Contract.Requires<TException>(Boolean, String) スローされない場合は、 メソッドの代わりにこのメソッドを使用します。

適用対象

Requires<TException>(Boolean)

ソース:
Contracts.cs
ソース:
Contracts.cs
ソース:
Contracts.cs

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合は例外をスローします。

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition);
public static void Requires<TException> (bool condition) where TException : Exception;
static member Requires : bool -> unit (requires 'Exception :> Exception)
Public Shared Sub Requires(Of TException As Exception) (condition As Boolean)

型パラメーター

TException

条件が false の場合にスローする例外。

パラメーター

condition
Boolean

テストする条件式。

注釈

重要

メソッドを使用 Requires するには、実行時チェックを有効にする必要があります。 実行時チェックがオフの場合、プロセスは終了します。 ランタイム チェック用のツールを取得するには、「Visual Studio Marketplace の コード コントラクト 」を参照してください。

  • このメソッド呼び出しは、他のコードの前に、メソッドまたはプロパティの先頭にある必要があります。

  • このコントラクトはクライアントに公開されます。したがって、少なくとも外側のメソッドと同じくらい見えるメンバーのみを参照する必要があります。

  • 前提条件が失敗した場合に例外を Contract.Requires(Boolean) スローする場合は、 メソッドの代わりにこのメソッドを使用します。

適用対象

Requires<TException>(Boolean, String)

ソース:
Contracts.cs
ソース:
Contracts.cs
ソース:
Contracts.cs

外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合は指定されたメッセージで例外をスローします。

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition, System::String ^ userMessage);
public static void Requires<TException> (bool condition, string userMessage) where TException : Exception;
public static void Requires<TException> (bool condition, string? userMessage) where TException : Exception;
static member Requires : bool * string -> unit (requires 'Exception :> Exception)
Public Shared Sub Requires(Of TException As Exception) (condition As Boolean, userMessage As String)

型パラメーター

TException

条件が false の場合にスローする例外。

パラメーター

condition
Boolean

テストする条件式。

userMessage
String

条件が false の場合に表示するメッセージ。

注釈

  • 重要

    メソッドを使用 Requires するには、実行時チェックを有効にする必要があります。 実行時チェックがオフの場合、プロセスは終了します。 ランタイム チェック用のツールを取得するには、「Visual Studio Marketplace の コード コントラクト 」を参照してください。

    このメソッド呼び出しは、他のコードの前に、メソッドまたはプロパティの先頭にある必要があります。

  • このコントラクトはクライアントに公開されます。したがって、少なくとも外側のメソッドと同じくらい見えるメンバーのみを参照する必要があります。

  • 前提条件が失敗した場合に例外を Contract.Requires(Boolean, String) スローする場合は、 メソッドの代わりにこのメソッドを使用します。

適用対象