ContractInvariantMethodAttribute Sınıf

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kodlar:

netstandard.dll, System.Diagnostics.Contracts.dll

Kaynak:

Contracts.cs

Bir yöntemi bir sınıfın sabit yöntemi olarak işaretler.

public ref class ContractInvariantMethodAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractInvariantMethodAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false, Inherited=false)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractInvariantMethodAttribute = class
    inherit Attribute

Public NotInheritable Class ContractInvariantMethodAttribute
Inherits Attribute

Devralma

Object

Attribute

ContractInvariantMethodAttribute

Öznitelikler

AttributeUsageAttribute ConditionalAttribute

Açıklamalar

Sabit yöntem herhangi bir ada sahip olabilir, ancak döndürmeli void ve parametre almamalıdır. yöntemi için önerilen ad: ObjectInvariant. Sabit yöntemin gövdesi yalnızca yönteme Contract.Invariant yapılan bir veya daha fazla çağrıdan oluşmalıdır. Bir tür, ortak veya özel olabilecek birden fazla sözleşme sabit yöntemine sahip olabilir.

Oluşturucular

Name	Description
ContractInvariantMethodAttribute()	ContractInvariantMethodAttribute 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)

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)