ContractVerificationAttribute 클래스

정의

네임스페이스:

System.Diagnostics.Contracts

어셈블리:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

분석 도구가 정적 확인을 수행하지 않고도 어셈블리, 형식 또는 멤버의 정확성을 가정하도록 지시합니다.

public ref class ContractVerificationAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractVerificationAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractVerificationAttribute = class
    inherit Attribute

Public NotInheritable Class ContractVerificationAttribute
Inherits Attribute

상속

Object

Attribute

ContractVerificationAttribute

특성

AttributeUsageAttribute ConditionalAttribute

설명

를 사용하여 ContractVerification(false) 어셈블리, 형식 또는 멤버를 확인이 필요하지 않은 것으로 명시적으로 표시합니다. 찾은 가장 구체적인 요소(멤버, 형식 및 어셈블리)가 우선합니다. 속성, 형식 또는 어셈블리에 이 특성을 적용하면 다음과 같은 효과가 있습니다.

• 속성에 적용하면 접근자와 접근자 모두 get 에 set 적용됩니다.

• 형식에 적용하면 중첩된 형식을 포함하여 형식의 모든 멤버에 적용됩니다.

• 어셈블리에 적용하면 어셈블리의 모든 형식 및 멤버에 적용됩니다.

생성자

ContractVerificationAttribute(Boolean)

ContractVerificationAttribute 클래스의 새 인스턴스를 초기화합니다.

속성

TypeId	파생 클래스에서 구현된 경우 이 Attribute에 대한 고유 식별자를 가져옵니다. (다음에서 상속됨 Attribute)
Value	대상의 계약을 확인할지 여부를 나타내는 값을 가져옵니다.

메서드

Equals(Object)	이 인스턴스가 지정된 개체와 같은지를 나타내는 값을 반환합니다. (다음에서 상속됨 Attribute)
GetHashCode()	이 인스턴스의 해시 코드를 반환합니다. (다음에서 상속됨 Attribute)
GetType()	현재 인스턴스의 Type을 가져옵니다. (다음에서 상속됨 Object)
IsDefaultAttribute()	파생 클래스에서 재정의된 경우 이 인스턴스 값이 파생 클래스에 대한 기본값인지 여부를 표시합니다. (다음에서 상속됨 Attribute)
Match(Object)	파생 클래스에서 재정의된 경우 이 인스턴스가 지정된 개체와 같은지 여부를 나타내는 값을 반환합니다. (다음에서 상속됨 Attribute)
MemberwiseClone()	현재 Object의 단순 복사본을 만듭니다. (다음에서 상속됨 Object)
ToString()	현재 개체를 나타내는 문자열을 반환합니다. (다음에서 상속됨 Object)