ContractReferenceAssemblyAttribute Класс

Определение

Пространство имен:

System.Diagnostics.Contracts

Сборки:

netstandard.dll, System.Diagnostics.Contracts.dll

Исходный код:

Contracts.cs

Указывает, что сборка является эталонной сборкой, содержащей контракты.

public ref class ContractReferenceAssemblyAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly)]
public sealed class ContractReferenceAssemblyAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly)>]
type ContractReferenceAssemblyAttribute = class
    inherit Attribute

Public NotInheritable Class ContractReferenceAssemblyAttribute
Inherits Attribute

Наследование

Object

Attribute

ContractReferenceAssemblyAttribute

Атрибуты

AttributeUsageAttribute

Комментарии

Эталонная сборка контракта называется сборкой.Contracts.dll, где сборка — имя сборки , из которой были извлечены контракты. Эталонная сборка контракта содержит общедоступный видимый интерфейс сборки и его контрактов, но не содержит кода. Ссылочные сборки контракта используются анализатором среды выполнения для наследования контрактов между сборками, а также во время статической проверки для обнаружения контрактов на методы и типы из сборок за пределами сборки, которая находится под анализом.

Дополнительные сведения об использовании атрибутов см. в разделе "Атрибуты".

Конструкторы

Имя	Описание
ContractReferenceAssemblyAttribute()	Инициализирует новый экземпляр класса ContractReferenceAssemblyAttribute.

Свойства

Имя	Описание
TypeId	При реализации в производном классе получает уникальный идентификатор для этого Attribute. (Унаследовано от Attribute)

Методы

Имя	Описание
Equals(Object)	Возвращает значение, указывающее, равен ли этот экземпляр указанному объекту. (Унаследовано от Attribute)
GetHashCode()	Возвращает хэш-код для этого экземпляра. (Унаследовано от Attribute)
GetType()	Возвращает Type текущего экземпляра. (Унаследовано от Object)
IsDefaultAttribute()	При переопределении в производном классе указывает, является ли значение этого экземпляра значением по умолчанию для производного класса. (Унаследовано от Attribute)
Match(Object)	При переопределении в производном классе возвращает значение, указывающее, равен ли этот экземпляр указанному объекту. (Унаследовано от Attribute)
MemberwiseClone()	Создает неглубокую копию текущей Object. (Унаследовано от Object)
ToString()	Возвращает строку, представляющую текущий объект. (Унаследовано от Object)