PureAttribute Класс

Определение

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

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

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

public ref class PureAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Delegate | System.AttributeTargets.Event | System.AttributeTargets.Method | System.AttributeTargets.Parameter | System.AttributeTargets.Property, AllowMultiple=false, Inherited=true)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class PureAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Delegate | System.AttributeTargets.Event | System.AttributeTargets.Method | System.AttributeTargets.Parameter | System.AttributeTargets.Property, AllowMultiple=false, Inherited=true)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type PureAttribute = class
    inherit Attribute

Public NotInheritable Class PureAttribute
Inherits Attribute

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

Object

Attribute

PureAttribute

Атрибуты

AttributeUsageAttribute ConditionalAttribute

Комментарии

Методы и типы, помеченные этим атрибутом, можно использовать в вызовах System.Diagnostics.Contracts.Contract методов. Чистые методы не вносят видимых изменений состояния. Этот атрибут не применяется текущими средствами анализа; Этот атрибут следует использовать только в том случае, если вы уверены, что методы являются чистыми.

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

PureAttribute()

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

Свойства

TypeId

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

Методы

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