エクスポート (0) 印刷
すべて展開
情報
要求されたトピックは次のとおりです。しかし、このトピックはこのライブラリには含まれていません。

ContractInvariantMethodAttribute クラス

2013/12/12

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

System.Object
  System.Attribute
    System.Diagnostics.Contracts.ContractInvariantMethodAttribute

Namespace:  System.Diagnostics.Contracts
アセンブリ:  mscorlib (mscorlib.dll 内)

[AttributeUsageAttribute(AttributeTargets.Method, AllowMultiple = false, Inherited = false)]
[ConditionalAttribute("CONTRACTS_FULL")]
public sealed class ContractInvariantMethodAttribute : Attribute

ContractInvariantMethodAttribute 型で公開されるメンバーは以下のとおりです。

  名前説明
パブリック メソッドContractInvariantMethodAttributeContractInvariantMethodAttribute クラスの新しいインスタンスを初期化します。
このページのトップへ

  名前説明
パブリック メソッドEqualsインフラストラクチャ。 対象のインスタンスが、指定したオブジェクトに等しいかどうかを示す値を返します。 (Attribute から継承されます。)
プロテクト メソッドFinalizeObject がガベージ コレクションで再利用される前に、Object がリソースを解放して他のクリーンアップ操作を実行できるようにします。 (Object から継承されます。)
パブリック メソッドGetHashCodeこのインスタンスのハッシュ コードを返します。 (Attribute から継承されます。)
パブリック メソッドGetType現在のインスタンスの Type を取得します。 (Object から継承されます。)
パブリック メソッドMatch派生クラス内でオーバーライドされたときに、指定したオブジェクトとこのインスタンスが等しいかどうかを示す値を返します。 (Attribute から継承されます。)
プロテクト メソッドMemberwiseClone現在の Object の簡易コピーを作成します。 (Object から継承されます。)
パブリック メソッドToString現在のオブジェクトを表す文字列を返します。 (Object から継承されます。)
このページのトップへ

インバリアント メソッドは、任意の名前を持つことができますが、void を返す必要があり、パラメーターは一切受け取りません。メソッドの候補名は ObjectInvariant です。インバリアント メソッドの本体は、1 つまたは複数の Contract.Invariant メソッドの呼び出しのみで構成されている必要があります。型は、パブリックまたはプライベートの複数のコントラクト インバリアント メソッドを持つことができます。

Windows Phone OS

サポート: 8.0

この型のすべてのパブリック static (Visual Basic では Shared) メンバーは、スレッド セーフです。インスタンス メンバーの場合は、スレッド セーフであるとは限りません。

表示:
© 2014 Microsoft