ContractVerificationAttribute ContractVerificationAttribute ContractVerificationAttribute ContractVerificationAttribute Class

Определение

Указывает, что средствам анализа следует принимать правильность сборки, типа или члена без выполнения статической проверки.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
Наследование
ContractVerificationAttributeContractVerificationAttributeContractVerificationAttributeContractVerificationAttribute
Атрибуты

Комментарии

Используйте 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(Boolean) ContractVerificationAttribute(Boolean) ContractVerificationAttribute(Boolean)

Инициализирует новый экземпляр класса ContractVerificationAttribute.Initializes a new instance of the ContractVerificationAttribute class.

Свойства

TypeId TypeId TypeId TypeId

При реализации в производном классе возвращает уникальный идентификатор для этого Attribute.When implemented in a derived class, gets a unique identifier for this Attribute.

(Inherited from Attribute)
Value Value Value Value

Получает значение, определяющее, следует ли проверять контракт целевого объекта.Gets the value that indicates whether to verify the contract of the target.

Методы

Equals(Object) Equals(Object) Equals(Object) Equals(Object)

Возвращает значение, показывающее, равен ли экземпляр указанному объекту.Returns a value that indicates whether this instance is equal to a specified object.

(Inherited from Attribute)
GetHashCode() GetHashCode() GetHashCode() GetHashCode()

Возвращает хэш-код данного экземпляра.Returns the hash code for this instance.

(Inherited from Attribute)
GetType() GetType() GetType() GetType()

Возвращает объект Type для текущего экземпляра.Gets the Type of the current instance.

(Inherited from Object)
IsDefaultAttribute() IsDefaultAttribute() IsDefaultAttribute() IsDefaultAttribute()

При переопределении в производном классе указывает, является ли значение этого экземпляра значением по умолчанию для производного класса.When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.

(Inherited from Attribute)
Match(Object) Match(Object) Match(Object) Match(Object)

При переопределении в производном классе возвращает значение, указывающее, является ли этот экземпляр равным заданному объекту.When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.

(Inherited from Attribute)
MemberwiseClone() MemberwiseClone() MemberwiseClone() MemberwiseClone()

Создает неполную копию текущего объекта Object.Creates a shallow copy of the current Object.

(Inherited from Object)
ToString() ToString() ToString() ToString()

Возвращает строку, представляющую текущий объект.Returns a string that represents the current object.

(Inherited from Object)

Явные реализации интерфейса

_Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) _Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) _Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) _Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr)

Сопоставляет набор имен соответствующему набору идентификаторов диспетчеризации.Maps a set of names to a corresponding set of dispatch identifiers.

(Inherited from Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

Возвращает сведения о типе объекта, которые можно использовать для получения сведений о типе интерфейса.Retrieves the type information for an object, which can be used to get the type information for an interface.

(Inherited from Attribute)
_Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32)

Возвращает количество предоставляемых объектом интерфейсов для доступа к сведениям о типе (0 или 1).Retrieves the number of type information interfaces that an object provides (either 0 or 1).

(Inherited from Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

Предоставляет доступ к открытым свойствам и методам объекта.Provides access to properties and methods exposed by an object.

(Inherited from Attribute)

Применяется к