ContractPublicPropertyNameAttribute Класс

Определение

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

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

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

Contracts.cs

Указывает, что поле может использоваться в контрактах методов, если видимость поля меньше, чем видимость метода.

public ref class ContractPublicPropertyNameAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Field)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractPublicPropertyNameAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Field)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractPublicPropertyNameAttribute = class
    inherit Attribute

Public NotInheritable Class ContractPublicPropertyNameAttribute
Inherits Attribute

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

Object

Attribute

ContractPublicPropertyNameAttribute

Атрибуты

AttributeUsageAttribute ConditionalAttribute

Комментарии

При применении атрибута ContractPublicPropertyNameAttribute к полю это поле можно использовать в контрактах кода для метода, если поле имеет меньшую видимость, чем метод . Должно быть видимое свойство, эквивалентное значению поля. Например, этот атрибут можно использовать, если метод является открытым, но поле является закрытым.

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

ContractPublicPropertyNameAttribute(String)

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

Свойства

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

Методы

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