ContractVerificationAttribute Classe

Definição

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Instrui ferramentas de análise a assumir que um assembly, tipo ou membro está correto sem executar verificação estática.

public ref class ContractVerificationAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractVerificationAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractVerificationAttribute = class
    inherit Attribute

Public NotInheritable Class ContractVerificationAttribute
Inherits Attribute

Herança

Object

Attribute

ContractVerificationAttribute

Atributos

AttributeUsageAttribute ConditionalAttribute

Comentários

Use ContractVerification(false) para marcar explicitamente um assembly, tipo ou membro como não exigindo verificação. O elemento mais específico encontrado (membro, tipo e assembly) tem precedência. Aplicar esse atributo a uma propriedade, tipo ou assembly tem os seguintes efeitos:

• Quando você a aplica a uma propriedade, ela se aplica ao get acessador e ao set acessador.

• Quando você o aplica a um tipo, ele se aplica a todos os membros do tipo, incluindo tipos aninhados.

• Quando você o aplica a um assembly, ele se aplica a todos os tipos e membros do assembly.

Construtores

ContractVerificationAttribute(Boolean)

Inicializa uma nova instância da classe ContractVerificationAttribute.

Propriedades

TypeId	Quando implementado em uma classe derivada, obtém um identificador exclusivo para este Attribute. (Herdado de Attribute)
Value	Obtém o valor que indica se é necessário verificar o contrato do destino.

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)