ContractOptionAttribute Sınıf

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kod:

System.Diagnostics.Contracts.dll

Kaynak:

Contracts.cs

Derleme, tür veya yöntem ayrıntı düzeyinde sözleşme ve araç seçeneklerini ayarlamanıza olanak tanır.

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

Devralma

Object

Attribute

ContractOptionAttribute

Öznitelikler

AttributeUsageAttribute ConditionalAttribute

Açıklamalar

Aşağıdaki tabloda şu anda desteklenen seçenekler gösterilmektedir.

Kategori	Ayar	Değer/efekt
Sözleşme	devralma	true sözleşme devralmayı açmak için; false seçeneğini seçin. Varsayılan değer: true.
çalışma zamanı	denetleme	true çalışma zamanı denetimini açmak için; false seçeneğini seçin. Varsayılan değer: true.

Aşağıdaki örneklerde gösterildiği gibi bu özniteliği kullanabilirsiniz.

Derlemenin tamamı için çalışma zamanı denetimini kapatmak için:

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

Belirli bir tür için çalışma zamanı sözleşme denetimini açmak için:

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

    ...  

Belirli bir yöntem için çalışma zamanı denetimini kapatmak için:

// 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(...) {  
          ...  
       }  
   }  

Oluşturucular

ContractOptionAttribute(String, String, Boolean)	Sağlanan kategoriyi ContractOptionAttribute , ayarı ve etkinleştirme/devre dışı bırakma değerini kullanarak sınıfın yeni bir örneğini başlatır.
ContractOptionAttribute(String, String, String)	Sağlanan kategoriyi, ayarı ve değeri kullanarak sınıfın yeni bir örneğini ContractOptionAttribute başlatır.

Özellikler

Category	Seçeneğin kategorisini alır.
Enabled	Bir seçeneğin etkinleştirilip etkinleştirilmediğini belirler.
Setting	Seçeneğin ayarını alır.
TypeId	Türetilmiş bir sınıfta uygulandığında, bu Attributeiçin benzersiz bir tanımlayıcı alır. (Devralındığı yer: Attribute)
Value	Seçeneğin değerini alır.

Yöntemler

Equals(Object)	Bu örneğin belirtilen bir nesneye eşit olup olmadığını gösteren bir değeri döndürür. (Devralındığı yer: Attribute)
GetHashCode()	Bu örneğe ilişkin karma kodu döndürür. (Devralındığı yer: Attribute)
GetType()	Type Geçerli örneğini 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ı belirten bir değer döndürür. (Devralındığı yer: Attribute)
MemberwiseClone()	Geçerli Objectöğesinin sığ bir kopyasını oluşturur. (Devralındığı yer: Object)
ToString()	Geçerli nesneyi temsil eden dizeyi döndürür. (Devralındığı yer: Object)