ContractOptionAttribute クラス

定義

名前空間:

System.Diagnostics.Contracts

アセンブリ:

System.Diagnostics.Contracts.dll

ソース:

Contracts.cs

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

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

継承

Object

Attribute

ContractOptionAttribute

属性

AttributeUsageAttribute ConditionalAttribute

注釈

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

カテゴリ	設定	値/効果
コントラクト (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)