ContractVerificationAttribute Класс

Определение

Пространство имен:
System.Diagnostics.Contracts
Сборки:
mscorlib.dll, System.Diagnostics.Contracts.dll
Сборки:
netstandard.dll, System.Diagnostics.Contracts.dll
Сборка:
System.Diagnostics.Contracts.dll
Сборка:
mscorlib.dll
Сборка:
netstandard.dll
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
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)

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

Имя Описание
_Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr)

Сопоставляет набор имен соответствующему набору идентификаторов диспетчеризации.

(Унаследовано от Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

Извлекает сведения о типе объекта, который можно использовать для получения сведений о типе для интерфейса.

(Унаследовано от Attribute)
_Attribute.GetTypeInfoCount(UInt32)

Возвращает количество предоставляемых объектом интерфейсов для доступа к сведениям о типе (0 или 1).

(Унаследовано от Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

Предоставляет доступ к свойствам и методам, предоставляемым объектом.

(Унаследовано от Attribute)

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