Contract.Requires メソッド

定義

名前空間:
System.Diagnostics.Contracts
アセンブリ:
mscorlib.dll, System.Diagnostics.Contracts.dll
アセンブリ:
mscorlib.dll
アセンブリ:
netstandard.dll

外側のメソッドまたはプロパティの前提条件コントラクトを指定します。

オーバーロード

名前 説明
Requires(Boolean)

外側のメソッドまたはプロパティの前提条件コントラクトを指定します。
Requires(Boolean, String)

外側のメソッドまたはプロパティの前提条件コントラクトを指定し、コントラクトの条件が失敗した場合にメッセージを表示します。
Requires<TException>(Boolean)

外側のメソッドまたはプロパティの前提条件コントラクトを指定し、コントラクトの条件が失敗した場合に例外をスローします。
Requires<TException>(Boolean, String)

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

Requires(Boolean)

外側のメソッドまたはプロパティの前提条件コントラクトを指定します。

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)

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

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)

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

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

テストする条件式。

注釈

Important

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

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

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

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

適用対象

Requires<TException>(Boolean, String)

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

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場合に表示するメッセージ。

注釈

  • Important

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

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

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

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

適用対象