ContractReferenceAssemblyAttribute Класс

Определение

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

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

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

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

Комментарии

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

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

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

ContractReferenceAssemblyAttribute()

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

Свойства

TypeId

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

Методы

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