Contract.Requires メソッド

定義

名前空間:

System.Diagnostics.Contracts

アセンブリ:

System.Diagnostics.Contracts.dll

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

オーバーロード

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

Requires(Boolean)

ソース:

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

テストする条件式。

属性

ConditionalAttribute

注釈

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

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

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

Requires(Boolean, String)

ソース:

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")>]
static member Requires : bool * string -> unit

Public Shared Sub Requires (condition As Boolean, userMessage As String)

パラメーター

condition

Boolean

テストする条件式。

userMessage

String

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

属性

ConditionalAttribute

注釈

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

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

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

Requires<TException>(Boolean)

ソース:

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

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

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;

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) スローする場合は、 メソッドの代わりにこのメソッドを使用します。