ContractVerificationAttribute 클래스

정의

분석 도구가 정적 확인을 수행하지 않고도 어셈블리, 형식 또는 멤버의 정확성을 가정하도록 지시합니다.Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

public ref class ContractVerificationAttribute sealed : Attribute
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)]
public sealed class ContractVerificationAttribute : Attribute
type ContractVerificationAttribute = class
    inherit Attribute
Public NotInheritable Class ContractVerificationAttribute
Inherits Attribute
상속
ContractVerificationAttribute
특성

설명

ContractVerification(false)를 사용 하 여 어셈블리, 형식 또는 멤버에 확인을 요구 하지 않는 것으로 명시적으로 표시 합니다.Use ContractVerification(false) to explicitly mark an assembly, type, or member as not requiring verification. 가장 구체적인 요소 (멤버, 형식 및 다음 어셈블리)가 우선 적용 됩니다.The most specific element found (member, type, and then assembly) takes precedence. 속성, 형식 또는 어셈블리에이 특성을 적용 하면 다음과 같은 같은 효과가 있습니다.Applying this attribute to a property, type, or assembly has the following effects:

  • 속성에 적용 하는 경우 get 접근자와 set 접근자 모두에 적용 됩니다.When you apply it to a property, it applies to both the get accessor and the set accessor.

  • 형식에 적용 하는 경우 중첩 된 형식을 포함 하 여 형식의 모든 멤버에 적용 됩니다.When you apply it to a type, it applies to all members of the type, including nested types.

  • 어셈블리에 적용 하는 경우 모든 형식 및 어셈블리의 멤버에 적용 됩니다.When you apply it to an assembly, it applies to all types and members of the assembly.

생성자

ContractVerificationAttribute(Boolean)

ContractVerificationAttribute 클래스의 새 인스턴스를 초기화합니다.Initializes a new instance of the ContractVerificationAttribute class.

속성

TypeId

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

(다음에서 상속됨 Attribute)
Value

대상의 계약을 확인할 지 여부를 나타내는 값을 가져옵니다.Gets the value that indicates whether to verify the contract of the target.

메서드

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)

적용 대상