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

継承

Object

Attribute

ContractOptionAttribute

属性

AttributeUsageAttribute ConditionalAttribute

注釈

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

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

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

[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(...) {
          ...
       }
   }