ContractPublicPropertyNameAttribute Класс

Определение

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

System.Diagnostics.Contracts

Сборки:

netstandard.dll, 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)