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