System.Diagnostics.Contracts

実行前の状態、実行後の状態、オブジェクトの不変部分などのプログラムコントラクトを表す静的メソッドを格納します。

条件をチェックし、その条件が false の場合は、アナライザーに設定されたエスカレーションポリシーに従います。

テストする条件式。

条件をチェックし、その条件が false の場合は、アナライザーによって設定されたエスカレーションポリシーに従い、指定されたメッセージを表示します。

テストする条件式。条件が一致しない場合に表示するメッセージ。

常に true であるとは静的に証明されない場合でも、指定した条件が true であると想定するようコード分析ツールに指示します。

true に想定する条件式。

常に true であるとは静的に証明されない場合でも、条件が true であると想定するようコード分析ツールに指示し、想定が失敗した場合はメッセージを表示します。

true に想定する条件式。想定が失敗した場合にポストするメッセージ。

コントラクトが失敗すると発生します。

メソッドのコントラクトに if-then-throw の形式で実行前の状態のみが含まれる場合に、コントラクトセクションの終わりをマークします。

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

テストする条件式。式には、、およびの各値を使用できます。

指定された終了条件の実行後の状態のコントラクトと、条件が false の場合に表示するメッセージを指定します。

テストする条件式。式にはおよびの各値を使用できます。式が true でない場合に表示するメッセージ。

指定された例外および条件に基づいて、外側のメソッドまたはプロパティに実行後の状態のコントラクトを指定します。

テストする条件式。実行後の状態のチェックを起動する例外の種類。

指定された例外および条件に基づいて、実行後の状態のコントラクトと、外側のメソッドまたはプロパティの条件が false の場合に表示するメッセージを指定します。

テストする条件式。式が false の場合に表示するメッセージ。実行後の状態のチェックを起動する例外の種類。

ある要素のコレクション内の要素が関数内に存在するかどうかを判断します。

内の型の任意の要素に対して、が true を返す場合にのみ true。に渡される型の要素が含まれているコレクション。内の要素を評価する関数。に格納されている型。 or is null.

ある整数範囲内のすべての整数について指定したテストが true かどうかを判定します。

から - 1 の範囲の任意の整数に対して、が true を返す場合は true。に渡す最初の整数。に渡す最後の整数より 1 だけ大きい数。指定した範囲内の任意の整数値を評価する関数。 is null. is less than .

コレクション内のすべての要素が関数内に存在するかどうかを判断します。

内の型のすべての要素に対して、が true を返す場合にのみ true。に渡される型の要素が含まれているコレクション。内のすべての要素の存在を評価する関数。に格納されている型。 or is null.

指定した範囲内のすべての整数について特定の状態が有効かどうかを判定します。

から - 1 の範囲のすべての整数に対して、が true を返す場合は true。に渡す最初の整数。に渡す最後の整数より 1 だけ大きい数。指定された範囲の整数の存在を評価する関数。 is null. is less than .

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

テストする条件式。

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

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

メソッドまたはプロパティの開始時の値を表します。

メソッドまたはプロパティの開始時のフィールドまたはパラメーターの値。表す値 (フィールドまたはパラメーター)。値の型。

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

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

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

テストする条件式。

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

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

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

テストする条件式。条件が false の場合に表示するメッセージ。条件が false の場合にスローする例外。

メソッドまたはプロパティの戻り値を表します。

外側のメソッドまたはプロパティの戻り値。外側のメソッドまたはプロパティの戻り値の型。

メソッドから戻るときの out パラメーターの最後の (出力) 値を表します。

out パラメーターの出力値。 out パラメーター。 out パラメーターの型。

完全なコントラクトの構文の代わりに使用できる省略を定義します。

クラスの新しいインスタンスを初期化します。

再利用できるように異なるメソッドへのレガシ if-then-throw コードのファクタリングを有効にし、スローされる例外と引数のフルコントロールを提供します。

クラスの新しいインスタンスを初期化します。

この型のコードコントラクトが別の型に格納されていることを指定します。

クラスの新しいインスタンスを初期化します。

この型のコードコントラクトを格納する型。

この型のコードコントラクトを格納する型を取得します。

この型のコードコントラクトを格納する型。

クラスが型のコントラクトであることを指定します。

現在のクラスがコントラクトである型を使用して、クラスの新しいインスタンスを初期化します。

現在のクラスがコントラクトである型。

このコードコントラクトが適用される型を取得します。

このコードコントラクトが適用される型。

イベントのメソッドおよびデータを提供します。

イベントにデータを提供します。

失敗したコントラクトを指定する列挙値の 1 つ。イベントに関するメッセージ。イベントの条件。イベントの原因になる例外。

コントラクトのエラーの条件を取得します。

エラーの条件。

失敗したコントラクトの型を取得します。

失敗したコントラクトの型を指定する列挙値の 1 つ。

イベントが処理されたかどうかを示します。

イベントが処理済みである場合は true。それ以外の場合は false。

イベントを説明するメッセージを取得します。

イベントを説明するメッセージ。

イベントの原因となった元の例外を取得します。

イベントの原因になる例外。

プロパティを true に設定します。

コードのコントラクトのエスカレーションポリシーを適用するかどうかを示します。

エスカレーションポリシーを適用する場合は true。それ以外の場合は false。既定値は、false です。

失敗したコントラクトの型を指定します。

コントラクトが失敗しました。

メソッドをクラスのインバリアントなメソッドとしてマークします。

クラスの新しいインスタンスを初期化します。

アセンブリ、型、またはメソッドの粒度でコントラクトおよびツールのオプションを設定できるようにします。

指定したカテゴリ、設定、および有効/無効値を使用して、クラスの新しいインスタンスを初期化します。

設定するオプションのためのカテゴリ。オプションの設定。オプションを有効にする場合は true。オプションを無効にする場合は false。

指定したカテゴリ、設定、および値を使用して、クラスの新しいインスタンスを初期化します。

設定するオプションのカテゴリ。オプションの設定。設定の値。

オプションのカテゴリを取得します。

オプションのカテゴリ。

オプションが有効かどうかを判断します。

オプションが有効になっている場合は true。それ以外の場合は false。

オプションの設定を取得します。

オプションの設定。

オプションの値を取得します。

オプションの値。

フィールドの可視性がメソッドよりも低い場合に、フィールドをメソッドコントラクトで使用できることを指定します。

クラスの新しいインスタンスを初期化します。

フィールドに適用されるプロパティの名前。

フィールドに適用されるプロパティ名を取得します。

フィールドに適用されたプロパティ名。

アセンブリがコントラクトを含む参照アセンブリであることを指定します。

クラスの新しいインスタンスを初期化します。

実行時の動作がないメンバーを識別します。

クラスの新しいインスタンスを初期化します。

静的な検証を実行せずにアセンブリ、型、およびメンバーの正確さを想定するよう分析ツールに指示します。

クラスの新しいインスタンスを初期化します。

検証を要求する場合は true。それ以外の場合は false。

ターゲットのコントラクトを検証するかどうかを示す値を取得します。

検証が必要な場合は true。それ以外の場合は false。

型またはメソッドが純粋、つまり、可視的な状態の変更が行われないことを示します。

クラスの新しいインスタンスを初期化します。

バイナリリライターがコントラクトエラーの処理に使用するメソッドを提供します。

バイナリリライターが既定のエラー動作をアクティブにするために使用します。

イベントが処理されて、エラーが発生しない場合は null 参照 (Visual Basic の場合は Nothing)。それ以外の場合はローカライズされたエラーメッセージが返されます。エラーの種類を指定する列挙値の 1 つ。追加のユーザー情報。エラーの原因となった条件の説明。現在の例外を発生させた内部例外。が有効な値ではありません。

既定のエラー動作を発生させます。

エラーの種類を指定する列挙値の 1 つ。表示するメッセージ。追加のユーザー情報。エラーの原因となった条件の説明。現在の例外を発生させた内部例外。