ContractOptionAttribute ContractOptionAttribute ContractOptionAttribute ContractOptionAttribute Class

Definizione

Consente di impostare il contratto e le opzioni dello strumento con granularità a livello di assembly, tipo o metodo.Enables you to set contract and tool options at assembly, type, or method granularity.

public ref class ContractOptionAttribute sealed : Attribute
[System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractOptionAttribute : Attribute
type ContractOptionAttribute = class
    inherit Attribute
Public NotInheritable Class ContractOptionAttribute
Inherits Attribute
Ereditarietà
ContractOptionAttributeContractOptionAttributeContractOptionAttributeContractOptionAttribute
Attributi

Commenti

Nella tabella seguente vengono elencate le opzioni attualmente supportate.The following table shows the currently supported options.

CategoryCategory ImpostazioneSetting Valore/effettoValue/effect
contrattocontract ereditarietàinheritance true per abilitare l'ereditarietà del contratto; false per disabilitarla.true to turn contract inheritance on; false to turn it off. Il valore predefinito è true.The default is true.
runtimeruntime controllochecking true per abilitare il controllo runtime; false per disabilitarlo.true to turn run-time checking on; false to turn it off. Il valore predefinito è true.The default is true.

È possibile utilizzare questo attributo come illustrato negli esempi seguenti.You can use this attribute as illustrated in the following examples.

Per disabilitare il controllo runtime per l'intero assembly:To turn off run-time checking for the entire assembly:

[assembly:ContractOption("runtime", "checking", false)]  

Per abilitare il controllo runtime del contratto per un tipo specifico:To turn run-time contract checking on for a specific type:

   [ContractOption("runtime", "checking", true)]  
   class TypeWithRuntimeChecking {  

       ...  

Per disabilitare il controllo runtime per un metodo specifico:To turn run-time checking off for a specific method:

// Turn off all contract inheritance from interface IList<T>  
[ContractOption("contract", "inheritance", false)]  
class MyConcurrentList<T> : IList<T> {  
   ...  
}  

[ContractOption("runtime", "checking", false)]  
public override MyMethod(int x) {  
   // no inherited contracts checked at runtime,  
   // no invariants checked at runtime.  
   ...  
}  

       [ContractOption("runtime", "checking", false)]  
       public void MethodWithoutRuntimeChecking(...) {  
          ...  
       }  
   }  

Costruttori

ContractOptionAttribute(String, String, Boolean) ContractOptionAttribute(String, String, Boolean) ContractOptionAttribute(String, String, Boolean) ContractOptionAttribute(String, String, Boolean)

Inizializza una nuova istanza della classe ContractOptionAttribute utilizzando la categoria, l'impostazione e il valore abilita/disabilita forniti.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and enable/disable value.

ContractOptionAttribute(String, String, String) ContractOptionAttribute(String, String, String) ContractOptionAttribute(String, String, String) ContractOptionAttribute(String, String, String)

Inizializza una nuova istanza della classe ContractOptionAttribute utilizzando la categoria, l'impostazione e il valore forniti.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and value.

Proprietà

Category Category Category Category

Ottiene la categoria dell'opzione.Gets the category of the option.

Enabled Enabled Enabled Enabled

Determina se un'opzione è abilitata.Determines if an option is enabled.

Setting Setting Setting Setting

Ottiene l'impostazione per l'opzione.Gets the setting for the option.

TypeId TypeId TypeId TypeId

Quando è implementata in una classe derivata, ottiene un identificatore univoco della classe Attribute.When implemented in a derived class, gets a unique identifier for this Attribute.

(Inherited from Attribute)
Value Value Value Value

Ottiene il valore per l'opzione.Gets the value for the option.

Metodi

Equals(Object) Equals(Object) Equals(Object) Equals(Object)

Restituisce un valore che indica se questa istanza è uguale a un oggetto specificato.Returns a value that indicates whether this instance is equal to a specified object.

(Inherited from Attribute)
GetHashCode() GetHashCode() GetHashCode() GetHashCode()

Restituisce il codice hash per l'istanza.Returns the hash code for this instance.

(Inherited from Attribute)
GetType() GetType() GetType() GetType()

Ottiene l'oggetto Type dell'istanza corrente.Gets the Type of the current instance.

(Inherited from Object)
IsDefaultAttribute() IsDefaultAttribute() IsDefaultAttribute() IsDefaultAttribute()

In caso di override in una classe derivata, indica se il valore di questa istanza è il valore predefinito per la classe derivata.When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.

(Inherited from Attribute)
Match(Object) Match(Object) Match(Object) Match(Object)

Quando è sottoposto a override in una classe derivata, restituisce un valore che indica se questa istanza equivale a un oggetto specificato.When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.

(Inherited from Attribute)
MemberwiseClone() MemberwiseClone() MemberwiseClone() MemberwiseClone()

Crea una copia superficiale dell'oggetto Object corrente.Creates a shallow copy of the current Object.

(Inherited from Object)
ToString() ToString() ToString() ToString()

Restituisce una stringa che rappresenta l'oggetto corrente.Returns a string that represents the current object.

(Inherited from Object)

Implementazioni dell'interfaccia esplicita

_Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) _Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) _Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) _Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr)

Esegue il mapping di un set di nomi a un set corrispondente di ID dispatch.Maps a set of names to a corresponding set of dispatch identifiers.

(Inherited from Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

Recupera le informazioni sul tipo relative a un oggetto, che possono essere usate per ottenere informazioni sul tipo relative a un'interfaccia.Retrieves the type information for an object, which can be used to get the type information for an interface.

(Inherited from Attribute)
_Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32)

Recupera il numero delle interfacce di informazioni sul tipo fornite da un oggetto (0 o 1).Retrieves the number of type information interfaces that an object provides (either 0 or 1).

(Inherited from Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

Fornisce l'accesso a proprietà e metodi esposti da un oggetto.Provides access to properties and methods exposed by an object.

(Inherited from Attribute)

Si applica a