ContractOptionAttribute 클래스

정의

네임스페이스:

System.Diagnostics.Contracts

어셈블리:

System.Diagnostics.Contracts.dll

Source:

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

설명

다음 표에서는 현재 지원되는 옵션을 보여줍니다.

범주	설정	값/효과
계약	상속	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)