ContractOptionAttribute 클래스

정의

어셈블리, 형식 또는 메서드의 세분화 정도로 계약 및 도구 옵션을 설정할 수 있습니다.Enables you to set contract and tool options at assembly, type, or method granularity.

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
type ContractOptionAttribute = class
    inherit Attribute
Public NotInheritable Class ContractOptionAttribute
Inherits Attribute
상속
ContractOptionAttribute
특성

설명

다음 표에서 현재 지원 되는 옵션을 보여 줍니다.The following table shows the currently supported options.

범주Category 설정Setting 값/효과Value/effect
계약(contract)contract 상속inheritance 계약 상속을 설정 하려면 true 합니다. 이 기능을 해제 하려면 false 합니다.true to turn contract inheritance on; false to turn it off. 기본값은 true입니다.The default is true.
런타임runtime 검사checking 런타임 검사를 설정 하려면 true 합니다. 이 기능을 해제 하려면 false 합니다.true to turn run-time checking on; false to turn it off. 기본값은 true입니다.The default is true.

다음 예제와 같이이 특성을 사용할 수 있습니다.You can use this attribute as illustrated in the following examples.

런타임 전체 어셈블리에 대 한 검사를 끄려면:To turn off run-time checking for the entire assembly:

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

켜려면 런타임 계약 확인을 특정 형식에 대 한To turn run-time contract checking on for a specific type:

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

런타임 검사 사용 하지 않으려면 특정 메서드에 대:To turn run-time checking off for a specific method:

// 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 클래스의 새 인스턴스를 초기화합니다.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and enable/disable value.

ContractOptionAttribute(String, String, String)

제공된 범주, 설정 및 값을 사용하여 ContractOptionAttribute 클래스의 새 인스턴스를 초기화합니다.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and value.

속성

Category

옵션의 범주를 가져옵니다.Gets the category of the option.

Enabled

옵션을 사용할 수 있는지 확인 합니다.Determines if an option is enabled.

Setting

옵션에 대 한 설정을 가져옵니다.Gets the setting for the option.

TypeId

파생 클래스에서 구현될 때 이 Attribute의 고유 식별자를 가져옵니다.When implemented in a derived class, gets a unique identifier for this Attribute.

(다음에서 상속됨 Attribute)
Value

옵션 값을 가져옵니다.Gets the value for the option.

메서드

Equals(Object)

이 인스턴스가 지정된 개체와 같은지를 나타내는 값을 반환합니다.Returns a value that indicates whether this instance is equal to a specified object.

(다음에서 상속됨 Attribute)
GetHashCode()

이 인스턴스의 해시 코드를 반환합니다.Returns the hash code for this instance.

(다음에서 상속됨 Attribute)
GetType()

현재 인스턴스의 Type을 가져옵니다.Gets the Type of the current instance.

(다음에서 상속됨 Object)
IsDefaultAttribute()

파생 클래스에서 재정의된 경우 이 인스턴스 값이 파생 클래스에 대한 기본값인지 여부를 표시합니다.When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.

(다음에서 상속됨 Attribute)
Match(Object)

파생된 클래스에서 재정의할 경우,이 인스턴스가 지정된 된 개체와 같은지 여부를 나타내는 값을 반환 합니다.When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.

(다음에서 상속됨 Attribute)
MemberwiseClone()

현재 Object의 단순 복사본을 만듭니다.Creates a shallow copy of the current Object.

(다음에서 상속됨 Object)
ToString()

현재 개체를 나타내는 string을 반환합니다.Returns a string that represents the current object.

(다음에서 상속됨 Object)

명시적 인터페이스 구현

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

이름 집합을 해당하는 디스패치 식별자 집합에 매핑합니다.Maps a set of names to a corresponding set of dispatch identifiers.

(다음에서 상속됨 Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

인터페이스의 형식 정보를 가져오는 데 사용할 수 있는 개체의 형식 정보를 검색합니다.Retrieves the type information for an object, which can be used to get the type information for an interface.

(다음에서 상속됨 Attribute)
_Attribute.GetTypeInfoCount(UInt32)

개체에서 제공하는 형식 정보 인터페이스의 수를 검색합니다(0 또는 1).Retrieves the number of type information interfaces that an object provides (either 0 or 1).

(다음에서 상속됨 Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

개체에서 노출하는 메서드와 속성에 대한 액세스를 제공합니다.Provides access to properties and methods exposed by an object.

(다음에서 상속됨 Attribute)

적용 대상