ContractVerificationAttribute Sınıf

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kodlar:

netstandard.dll, System.Diagnostics.Contracts.dll

Kaynak:

Contracts.cs

Analiz araçlarına, statik doğrulama gerçekleştirmeden bir derlemenin, türün veya üyenin doğruluğunu varsaymalarını bildirir.

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

Devralma

Object

Attribute

ContractVerificationAttribute

Öznitelikler

AttributeUsageAttribute ConditionalAttribute

Açıklamalar

Derlemeyi, türü veya üyeyi doğrulama gerektirmediği için açıkça işaretlemek için kullanın ContractVerification(false) . Bulunan en özel öğe (üye, tür ve sonra derleme) önceliklidir. Bu özniteliğin bir özelliğe, türe veya derlemeye uygulanması aşağıdaki etkilere sahiptir:

• Bir özelliğe uyguladığınızda, hem erişimci hem get de set erişimci için geçerlidir.

• Bir türe uyguladığınızda, iç içe türler de dahil olmak üzere türün tüm üyeleri için geçerlidir.

• Bunu bir derlemeye uyguladığınızda, derlemenin tüm türlerine ve üyelerine uygulanır.

Oluşturucular

Name	Description
ContractVerificationAttribute(Boolean)	ContractVerificationAttribute sınıfının yeni bir örneğini başlatır.

Özellikler

Name	Description
TypeId	Türetilmiş bir sınıfta uygulandığında, bu Attributeiçin benzersiz bir tanımlayıcı alır. (Devralındığı yer: Attribute)
Value	Hedefin sözleşmesini doğrulayıp doğrulamayacağını belirten değeri alır.

Yöntemler

Name	Description
Equals(Object)	Bu örneğin belirtilen bir nesneye eşit olup olmadığını gösteren bir değer döndürür. (Devralındığı yer: Attribute)
GetHashCode()	Bu örneğin karma kodunu döndürür. (Devralındığı yer: Attribute)
GetType()	Geçerli örneğin Type alır. (Devralındığı yer: Object)
IsDefaultAttribute()	Türetilmiş bir sınıfta geçersiz kılındığında, bu örneğin değerinin türetilmiş sınıf için varsayılan değer olup olmadığını gösterir. (Devralındığı yer: Attribute)
Match(Object)	Türetilmiş bir sınıfta geçersiz kılındığında, bu örneğin belirtilen bir nesneye eşit olup olmadığını gösteren bir değer döndürür. (Devralındığı yer: Attribute)
MemberwiseClone()	Geçerli Objectbasit bir kopyasını oluşturur. (Devralındığı yer: Object)
ToString()	Geçerli nesneyi temsil eden bir dize döndürür. (Devralındığı yer: Object)