ContractRuntimeIgnoredAttribute Classe

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Identifica un membro che non presenta un comportamento in fase di esecuzione.

public ref class ContractRuntimeIgnoredAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Method | System.AttributeTargets.Property, AllowMultiple=false, Inherited=true)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractRuntimeIgnoredAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Method | System.AttributeTargets.Property, AllowMultiple=false, Inherited=true)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractRuntimeIgnoredAttribute = class
    inherit Attribute

Public NotInheritable Class ContractRuntimeIgnoredAttribute
Inherits Attribute

Ereditarietà

Object

Attribute

ContractRuntimeIgnoredAttribute

Attributi

AttributeUsageAttribute ConditionalAttribute

Commenti

I metodi e le proprietà contrassegnati con questo attributo possono essere usati all'interno delle chiamate ai System.Diagnostics.Contracts.Contract metodi, ma non hanno alcun comportamento di runtime.

Costruttori

ContractRuntimeIgnoredAttribute()

Inizializza una nuova istanza della classe ContractRuntimeIgnoredAttribute.

Proprietà

TypeId

Quando è implementata in una classe derivata, ottiene un identificatore univoco della classe Attribute. (Ereditato da Attribute)

Metodi

Equals(Object)	Restituisce un valore che indica se questa istanza è uguale a un oggetto specificato. (Ereditato da Attribute)
GetHashCode()	Restituisce il codice hash per l'istanza. (Ereditato da Attribute)
GetType()	Ottiene l'oggetto Type dell'istanza corrente. (Ereditato da Object)
IsDefaultAttribute()	In caso di override in una classe derivata, indica se il valore di questa istanza è il valore predefinito per la classe derivata. (Ereditato da Attribute)
Match(Object)	Quando è sottoposto a override in una classe derivata, restituisce un valore che indica se questa istanza equivale a un oggetto specificato. (Ereditato da Attribute)
MemberwiseClone()	Crea una copia superficiale dell'oggetto Object corrente. (Ereditato da Object)
ToString()	Restituisce una stringa che rappresenta l'oggetto corrente. (Ereditato da Object)