PureAttribute Classe

Definição

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Indica que um tipo ou método é puro, ou seja, não faz qualquer alteração de estado visível.

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

Herança

Object

Attribute

PureAttribute

Atributos

AttributeUsageAttribute ConditionalAttribute

Comentários

Métodos e tipos marcados com esse atributo podem ser usados em chamadas para System.Diagnostics.Contracts.Contract métodos. Métodos puros não fazem alterações de estado visíveis. Esse atributo não é imposto pelas ferramentas de análise atuais; você deverá usar esse atributo somente se tiver certeza de que os métodos são puros.

Construtores

PureAttribute()

Inicializa uma nova instância da classe PureAttribute.

Propriedades

TypeId

Quando implementado em uma classe derivada, obtém um identificador exclusivo para este Attribute. (Herdado de Attribute)

Métodos

Equals(Object)	Retorna um valor que indica se essa instância é igual a um objeto especificado. (Herdado de Attribute)
GetHashCode()	Retorna o código hash para a instância. (Herdado de Attribute)
GetType()	Obtém o Type da instância atual. (Herdado de Object)
IsDefaultAttribute()	Quando substituído em uma classe derivada, indica se o valor dessa instância é o valor padrão para a classe derivada. (Herdado de Attribute)
Match(Object)	Quando substituído em uma classe derivada, retorna um valor que indica se essa instância é igual a um objeto especificado. (Herdado de Attribute)
MemberwiseClone()	Cria uma cópia superficial do Object atual. (Herdado de Object)
ToString()	Retorna uma cadeia de caracteres que representa o objeto atual. (Herdado de Object)