次の方法で共有


ContractOptionAttribute クラス

定義

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

public ref class ContractOptionAttribute sealed : Attribute
[System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractOptionAttribute : Attribute
[<System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractOptionAttribute = class
    inherit Attribute
Public NotInheritable Class ContractOptionAttribute
Inherits Attribute
継承
ContractOptionAttribute
属性

注釈

次の表は、現在サポートされているオプションを示しています。

カテゴリ 設定 値/効果
コントラクト (contract) 継承 true コントラクトの継承を有効にする場合。 false を選択してオフにします。 既定値は、true です。
ランタイム チェック true 実行時チェックをオンにする場合は 。 false を選択してオフにします。 既定値は、true です。

次の例に示すように、この属性を使用できます。

アセンブリ全体の実行時チェックをオフにするには:

[assembly:ContractOption("runtime", "checking", false)]  

特定の種類の実行時コントラクト チェックをオンにするには:

[ContractOption("runtime", "checking", true)]  
class TypeWithRuntimeChecking {  

    ...  

特定のメソッドの実行時チェックをオフにするには:

// Turn off all contract inheritance from interface IList<T>  
[ContractOption("contract", "inheritance", false)]  
class MyConcurrentList<T> : IList<T> {  
   ...  
}  

[ContractOption("runtime", "checking", false)]  
public override MyMethod(int x) {  
   // no inherited contracts checked at runtime,  
   // no invariants checked at runtime.  
   ...  
}  

       [ContractOption("runtime", "checking", false)]  
       public void MethodWithoutRuntimeChecking(...) {  
          ...  
       }  
   }  

コンストラクター

ContractOptionAttribute(String, String, Boolean)

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

ContractOptionAttribute(String, String, String)

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

プロパティ

Category

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

Enabled

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

Setting

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

TypeId

派生クラスで実装されると、この Attribute の一意の識別子を取得します。

(継承元 Attribute)
Value

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

メソッド

Equals(Object)

このインスタンスが、指定されたオブジェクトと等価であるかどうかを示す値を返します。

(継承元 Attribute)
GetHashCode()

このインスタンスのハッシュ コードを返します。

(継承元 Attribute)
GetType()

現在のインスタンスの Type を取得します。

(継承元 Object)
IsDefaultAttribute()

派生クラスでオーバーライドされるとき、このインスタンスの値が派生クラスの既定値であるかどうかを示します。

(継承元 Attribute)
Match(Object)

派生クラス内でオーバーライドされたときに、指定したオブジェクトとこのインスタンスが等しいかどうかを示す値を返します。

(継承元 Attribute)
MemberwiseClone()

現在の Object の簡易コピーを作成します。

(継承元 Object)
ToString()

現在のオブジェクトを表す文字列を返します。

(継承元 Object)

明示的なインターフェイスの実装

_Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr)

一連の名前を対応する一連のディスパッチ識別子に割り当てます。

(継承元 Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

オブジェクトの型情報を取得します。この情報はインターフェイスの型情報の取得に使用できます。

(継承元 Attribute)
_Attribute.GetTypeInfoCount(UInt32)

オブジェクトが提供する型情報インターフェイスの数 (0 または 1) を取得します。

(継承元 Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

オブジェクトによって公開されたプロパティおよびメソッドへのアクセスを提供します。

(継承元 Attribute)

適用対象